Changes between Version 3 and Version 4 of Tutorial


Ignore:
Timestamp:
16 Sep 2014, 17:40:38 (5 years ago)
Author:
François Dupressoir
Comment:

Adding link and description to full APPA 14

Legend:

Unmodified
Added
Removed
Modified
  • Tutorial

    v3 v4  
    22
    33This page links to tutorial material for !EasyCrypt.
     4
     5* [https://www.easycrypt.info/downloads/tutorial/tutorial-cac.pdf Computer-Aided Cryptography: Some tools and applications] is the online version of our APPA 2014 invited paper. Our goal in this document was to demonstrate the variety of applications of formal methods and programming language techniques in cryptography, from an example !EasyCrypt proof to an application of formal methods to the analysis of DH-style cryptographic assumptions in the Generic Group Model. It is accompanied by proof scripts (to come soon).
    46
    57* [https://www.easycrypt.info/downloads/tutorial/tutorial-prg.pdf EasyCrypt: A Tutorial]