Changes between Version 4 and Version 5 of CoursePisa2014


Ignore:
Timestamp:
3 Jun 2014, 17:29:13 (3 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CoursePisa2014

    v4 v5  
    1 [[PageOutline(1-3)]]
     1[[PageOutline(1-2)]]
    22= Program =
    33== Week 1 ([attachment:week1.pdf]): Gilles Barthe ==
     4An overview of computer-aided cryptography, discussing cryptographic proofs, giving an overview of [wiki:WikiStart EasyCrypt]'s foundations and of a related tool: ZooCrypt.
    45
    56== Week 2 ([attachment:week2.pdf]): François Dupressoir ==
     7A tutorial-based course on using [wiki:WikiStart EasyCrypt] to construct basic proofs.
    68=== June 3rd ===
    79 9:00 - 11:00:: Introduction and Lecture 1: Functional Programs, Ambient Logic and Interactive Proofs.