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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:00
Intro & industry perspective on cryptoDSW at Vertex WS216
Chair(s): Andrew Appel Princeton
09:00
15m
Day opening
Introduction to DeepSpec
DSW
Lennart Beringer Princeton University, Adam Chlipala Massachusetts Institute of Technology, USA
09:15
45m
Talk
Building Faith in Experts: Applying Formal Verification to Cryptography
DSW