- 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 / centaur-tabs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ema2159/centaur-tabs
Emacs plugin aiming to become an aesthetic, modern looking tabs plugin
License: GNU General Public License v3.0