Thanh-Toan Nguyen's repositories
AChecker
AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.
algorithms
The All ▲lgorithms documentation website.
Awesome-Reasoning-Foundation-Models
✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models
cairo-fuzzer
Cairo/Starknet smart contract fuzzer
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
llvm-rust
A customized Rust bindings for LLVM
smart-contract-best-practices
A guide to smart contract security best practices
SolidiFI-benchmark
Repository of benchmarks to evaluate Solidity Smart contract analysis tools
infer
A static analyzer for Java, C, C++, and Objective-C
ityfuzz
Blazing Fast Hybrid Fuzzer for Smart Contracts
reentrancy-attacks
A chronological and (hopefully) complete list of reentrancy attacks to date.
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
sedeve-kit
Specification-Driven Development Kit, In Spec We Trust
smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
Smartian-Artifact
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
starknet_in_rust
A Rust implementation of Starknet execution logic
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
verifast
Research prototype tool for modular formal verification of C and Java programs