https://github.com/EasyCrypt/easycrypt
Tip revision: a79f9aeb6de046ca12210d26317fab59c175d0dd authored by Pierre-Yves Strub on 08 July 2014, 09:43:21 UTC
Fix bug w.r.t. _tools presence detection.
Fix bug w.r.t. _tools presence detection.
Tip revision: a79f9ae
references.bib
@inproceedings{Bellare:1993,
author={Bellare, Mihir and Rogaway, Phillip},
title = {Random oracles are practical: a paradigm for designing efficient protocols},
booktitle = {Proceedings of the 1st ACM conference on Computer and communications security},
series = {CCS'93},
year = {1993},
isbn = {0-89791-629-8},
location = {Fairfax, Virginia, USA},
pages = {62--73},
numpages = {12},
url = {http://doi.acm.org/10.1145/168588.168596},
doi = {10.1145/168588.168596},
acmid = {168596},
publisher = {ACM},
address = {New York, NY, USA},
}
@article{Goldwasser:1984,
Author = {Goldwasser, Shafi and Micali, Silvio},
Journal = {J. Comput. Syst. Sci.},
Number = {2},
Pages = {270-299},
Title = {Probabilistic encryption},
Volume = {28},
Year = {1984}}