Formally Verified Cryptographic Web Applications in WebAssembly.
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
VenueA*SP
Year2019
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/ProtzenkoBMB19 ↗
Browse the full SP paper archive.