16:47EverCrypt: A Fast, Verified, Cross-Platform Cryptographic ProviderIEEE Symposium on Security and Privacy483 viewsView & Download
31:24051 Fregata: Faster Homomorphic Evaluation of AES via TFHE w/Benqiang WeiFHE_org267 viewsView & Download
51:52Developing High-Performance Mechanically-Verified Cryptographic CodeIACR296 viewsView & Download
11:19Pegasus: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic EncryptionIEEE Symposium on Security and Privacy527 viewsView & Download
33:12Verified Software Toolchains: Fiat-Cryptography - Adam ChlipalaINI Seminar Room 291 viewsView & Download