Changes between Version 27 and Version 28 of WikiStart


Ignore:
Timestamp:
29 May 2014, 14:46:43 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

Acknowledgments moved

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v27 v28  
    7575  includes an experimental mechanism to generate !EasyCrypt
    7676  proofs of security of analyzed schemes.
    77 
    78 
    79 
    80 == Acknowledgments ==
    81 The research is partially funded by ONR Grant N000141210914, Spanish project TIN2009-14599 DESAFIOS 10, and Madrid Regional project S2009TIC-1465 PROMETIDOS.