fuyu0425 (Yu-Fu Fu) · GitHub

fuyu0425/README.org

Research Projects

autofz: Automated Fuzzer Composition at Runtime (SEC23)
Coq Cryptoline
- Certified Verification for Algebraic Abstraction (CAV23)
- CoqCryptoLine: A Verified Model Checker with Certified Results (CAV23)
CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver (CAV21)
Signed Cryptographic Program Verification with Typed CryptoLine (CCS19)

Tools

Hacks

Pinned Loading

fmlab-iis/gcc2cryptoline fmlab-iis/gcc2cryptoline Public

A tool translating GIMPLE to Cryptoline

C 7 1
sslab-gatech/autofz sslab-gatech/autofz Public

autofz: Automated Fuzzer Composition at Runtime

C 84 13
fmlab-iis/coq-qfbv fmlab-iis/coq-qfbv Public

Coq 7 3
firefox-tweaks firefox-tweaks Public

My FireFox Tweaks

JavaScript 13 2
keepass-cli-rs keepass-cli-rs Public

KeePass client written in Rust with Emacs integration

Emacs Lisp 12
maskedemail-rs maskedemail-rs Public

Fastmail MaskedEmail CLI with Emacs Integration

Rust 1