- 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)
fuyu0425 / honggfuzz Goto Github PK
View Code? Open in Web Editor NEWThis project forked from google/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
Home Page: https://honggfuzz.dev
License: Apache License 2.0