wiki:CoursePisa2014

Program

Week 1 (week1.pdf): Gilles Barthe

An overview of computer-aided cryptography, discussing cryptographic proofs, giving an overview of EasyCrypt's foundations and of a related tool: ZooCrypt?.

Week 2 (week2.pdf): François Dupressoir

A tutorial-based course on using EasyCrypt to construct basic proofs.

June 3rd

9:00 - 11:00
Introduction and Lecture 1: Functional Programs, Ambient Logic and Interactive Proofs.

We went over Lecture 1 and some of the exercises in ambient_logic_clean.ec.

June 4th

9:00 - 11:00
I expect to go over Lectures 2 and 3 and some of the exercises in distributions_clean.ec and conseq_clean.ec.

June 5th

9:00 - 11:00
We will most likely go over Lecture 4: Proving Programs, and maybe touch Lecture 5: Transforming Programs.

June 6th

9:00 - 11:00
We will discuss or finish Lecture 5: Transforming Programs and try to skim over Lecture 6: Structuring Proofs and Lecture 7: Advanced Tactics. However, priority will be given to discussing exercises on Lectures 1 through 5.
Last modified 3 years ago Last modified on 3 Jun 2014, 17:29:13

Attachments (10)