https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: a79f9aeb6de046ca12210d26317fab59c175d0dd authored by Pierre-Yves Strub on 08 July 2014, 09:43:21 UTC
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}}
back to top