Workshop on Formal Methods for Cryptographic Proofs
12th NASA Formal Methods Symposium (NFM 2020)
Location: Virtual Date: May 15, 2020, 9:15 AM - 3:30 PM Pacific Time Program: Workshop program for 05/15
COVID-19 AND ONLINE PARTICIPATION UPDATE:
NFM 2020 and this workshop are now fully virtual events. You must register for access!
Recent and emerging cryptographic proof techniques allow proofs of sufficiently complicated properties that it has become desirable to formally verify that the proofs indeed prove what they intend. This is an exciting new application area for verification. This workshop brings together practitioners from formal methods and cryptography, exploring opportunities and challenges at the intersection of formal methods and cryptographic proofs.