Changes between Version 34 and Version 35 of SchoolUMD2015


Ignore:
Timestamp:
6 Jun 2015, 15:07:21 (2 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SchoolUMD2015

    v34 v35  
    6969}}}
    7070
    71 Material:
     71== Material ==
    7272- [attachment:lecture1.pdf Slides] for Lecture 1.
    7373- !EasyCrypt tutorial: [attachment:tutorials-day-1.tgz exercises], a [attachment:BR93_erased.ec cleaner version] of BR93, and a [attachment:BR93_filled.ec version] with proofs filled in
     
    7676- [attachment:PCR-proof-scripts.tar.gz Scripts] for proofs of Stoughton's lecture
    7777
    78 Contributed Talks:
    79 - René Peralta on "Small Circuits for Cryptographic Applications": [#SmallCircuitsforCryptographicApplications abstract], René´s [http://cs-www.cs.yale.edu/homes/peralta/CircuitStuff/CMT.html circuits page].
     78== Contributed Talks ==
     79- René Peralta on [#SmallCircuitsforCryptographicApplications Small Circuits for Cryptographic Applications (abstract)]. You can also have a look at René's [http://cs-www.cs.yale.edu/homes/peralta/CircuitStuff/CMT.html circuits page].
    8080
    8181= Confirmed Speakers =
     
    120120
    121121== Small Circuits for Cryptographic Applications ==
    122 Rene Peralta, NIST
     122
     123[[http://csrc.nist.gov/staff/rolodex/peralta_rene.html|René Peralta]],
     124[[http://www.nist.gov/|NIST]]
    123125
    124126Consider the function