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

Program

All times listed here are Pacific Time.

Session 1

• Opening Remarks
  Guha Jayachandran, Onai
  Time: 9:15am
• Project Everest: Provably Correct, Safe and Secure Implementations of TLS and QUIC
  Antoine Delignat-Lavaud, Microsoft Research
  Time: 9:30am
• Idris 2: Quantitative Types for Protocols
  Edwin Brady, University of St. Andrews
  Time: 10:00am
• Towards Formalization of EPID-based Remote Attestation in Intel SGX
  Muhammad Usama Sardar, TU Dresden
  Time: 10:30am
• Making Creation of Verified Cryptographic Proofs More Accessible
  Soham Chowdhury, Onai
  Time: 11:00am - 11:15am

Lunch: 11:15am - 12:55pm

Session 2

• Mining Requirements from Cyber-Physical System Models
  Jyotirmoy V. Deshmukh, University of Southern California
  Time: 1:00pm
• Bulletproofs: Short proofs for confidential transactions and more!
  Benedikt Bunz, Stanford University
  Time: 1:30pm
• The Industry Landscape Today Around Audits and Security Checks
  Brianna Montgomery, ConsenSys
  Time: 2:00pm
• Transparent SNARKs from DARK Compilers
  Ben Fisch, Stanford University
  Time: 2:30pm
• Verifying Elections: A Brief Overview of End-to-End Verification and Risk-Limiting Audits
  Ben Adida, VotingWorks
  Time: 3:00pm - 3:30pm