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!

PROGRAM:

Workshop program for 05/15

Summary:

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.

Links:

Contact:

fmcp@onai.com

Registration:

Please fill out this form, and the main NFM registration form as well

NFM Main Registration: [Registration Home Page]