cxzhang93

Pinned Repositories

AESJupyterNotebook
This is to serve as a learning companion for pupil to study AES algorithm as part of cryptography
Language:Jupyter Notebook01
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Language:Python00
credit-card-advisor
Language:Python00
hello-dapp
MVP (Minimal Viable Preparation) for modern dApp developers
Language:TypeScript00
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Language:C#00
awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Language:Python612103
InvCon
Language:Python63
se_neo_app
neoBooking app for Software Engineering Course
Language:JavaScript00
CE6127-T1
Language:C#00

cxzhang93's Repositories

cxzhang93/hello-dapp
MVP (Minimal Viable Preparation) for modern dApp developers
Language:TypeScript
cxzhang93/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Language:C#
cxzhang93/awesome-buggy-erc20-tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
cxzhang93/AESJupyterNotebook
This is to serve as a learning companion for pupil to study AES algorithm as part of cryptography
Language:Jupyter Notebook1
cxzhang93/credit-card-advisor
Language:Python