Publications

(2021). CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver. CAV'21.

PDF Coq-QFBV

(2019). Signed Cryptographic Program Verification with Typed CryptoLine. CCS'19.

PDF Slides DOI CryptoLine GCC2CryptoLine