Lists (20)
blockchain protocol
1 repository
blockchain-rust
1 repository
compiler
2 repositories
contract audit reports
3 repositories
ethereum-rust
33 repositories
formal verification
41 repositories
functional programming
2 repositories
fuzz
8 repositories
Latex/Beamer
3 repositories
papers
2 repositories
runtime verification
12 repositories
rust-development
11 repositories
samrt contract verification
15 repositories
smart contract analysis
18 repositories
smart contract CTF
1 repository
solana
1 repository
solidity contracts
1 repository
temporal properties
21 repositories
ZK
10 repositories
ZK EVM
2 repositories
Starred repositories
21
stars
written in C
Clear filter
Course materials for Modern Binary Exploitation by RPISEC
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
eBPF implementation that runs on top of Windows
How to write a very simple JIT compiler
aflgo / aflgo
Forked from mirrorer/aflDirected Greybox Fuzzing with AFL
The efficient SMT-based context-bounded model checker (ESBMC)
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
StateAFL: A Greybox Fuzzer for Stateful Network Servers
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
elManto / DDFuzz
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
MONA - a decision procedure for monadic second-order logic on finite strings and trees
An LLM-based fuzzing framework for C compilers testing.
Camera Ready copy of FuzzSlice v1 code for ICSE
Translating WebAssembly into the most simple LLVM IR.