28:49USENIX Security '17 - Vale: Verifying High-Performance Cryptographic Assembly CodeUSENIX717 viewsView & Download
28:40USENIX Security '17 - Phoenix: Rebirth of a Cryptographic Password-Hardening ServiceUSENIX695 viewsView & Download
13:14USENIX Security '24 - ElectionGuard: a Cryptographic Toolkit to Enable Verifiable ElectionsUSENIX233 viewsView & Download
51:52Developing High-Performance Mechanically-Verified Cryptographic CodeIACR296 viewsView & Download
12:29USENIX Security '20 - VoteAgain: A scalable coercion-resistant voting systemUSENIX475 viewsView & Download
11:33USENIX Security '20 - Horizontal Privilege Escalation in Trusted ApplicationsUSENIX310 viewsView & Download
19:24USENIX Security '19 - IODINE: Verifying Constant-Time Execution of HardwareUSENIX293 viewsView & Download
13:27USENIX Security '24 - SWOOSH: Efficient Lattice-Based Non-Interactive Key ExchangeUSENIX187 viewsView & Download
26:59USENIX Security '15 - Verified Correctness and Security of OpenSSL HMACUSENIX134 viewsView & Download
21:55USENIX Security '16 - The Cut-and-Choose Game and Its Application to Cryptographic ProtocolsUSENIX201 viewsView & Download
11:44USENIX Security '22 - Provably-Safe Multilingual Software Sandboxing using WebAssemblyUSENIX627 viewsView & Download
12:34USENIX Security '23 - Formal Analysis and Patching of BLE-SC PairingUSENIX409 viewsView & Download
26:27USENIX Security '17 - Constant-Time Callees with Variable-Time CallersUSENIX338 viewsView & Download
13:04USENIX Security '21 - Where's Crypto?: Automated Identification and Classification of Proprietary...USENIX381 viewsView & Download
14:12USENIX Security '23 - Content-Type: multipart/oracle - Tapping into Format Oracles in Email...USENIX57 viewsView & Download
29:27USENIX Security '16 - überSpark: Enforcing Verifiable Object Abstractions for Automated...USENIX103 viewsView & Download
11:17USENIX Security '23 - Cryptographic Deniability: A Multi-perspective Study of User Perceptions...USENIX124 viewsView & Download
