Publications

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

PDF Slides DOI CryptoLine GCC2CryptoLine