Write a Blog >>
Thu 22 Jun 2017 09:00 - 09:15 at Vertex WS216 - Intro & industry perspective on crypto Chair(s): Andrew Appel

Welcome to the workshop! We’ll start with a brief overview of the DeepSpec project and our goals for the day.

Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00: Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew AppelPrinceton
09:00 - 09:15
Day opening
Introduction to DeepSpec
Lennart BeringerPrinceton University, Adam ChlipalaMassachusetts Institute of Technology, USA
09:15 - 10:00
Building Faith in Experts: Applying Formal Verification to Cryptography