Changes between Version 5 and Version 6 of SchoolUPen2013


Ignore:
Timestamp:
29 Aug 2013, 16:16:24 (6 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolUPen2013

    v5 v6  
    1717  Introductory Lectures
    1818  * [raw-attachment:lecture1.pdf Principles of Computer-Aided Cryptographic Proofs]
    19   * [raw-attachment:lecture2.pdf Interactive Proofs in !EasyCrypt: Tacticals]
     19  * [raw-attachment:lecture2.pdf Interactive Proofs in EasyCrypt: Tacticals]
    2020  * [raw-attachment:lecture3.pdf Probabilistic Relational Hoare Logic]
    2121 13:30 - 16:30::
     
    5656  ITLL - NRL Panel !EasyCrypt 0.2 feedback and opinions
    5757  * Catherine Meadows (NRL),
    58   * Aaron Jaggard (NRL), Jonathan Herzog (MITLL),
     58  * Aaron Jaggard (NRL),
     59  * Jonathan Herzog (MITLL),
    5960  * Alley Stoughton (MITLL) ([raw-attachment:panel-stoughton.pdf pdf]), and
    6061  * Jonathan Katz (U. of Maryland)