1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
@article{Shoup04,
author = {Victor Shoup},
title = {Sequences of games: a tool for taming complexity in security
proofs},
journal = {IACR Cryptology ePrint Archive},
volume = 2004,
year = 2004,
pages = 332,
ee = {http://eprint.iacr.org/2004/332},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{BartheGHB11,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Sylvain Heraud and
Santiago Zanella B{\'e}guelin},
title = {Computer-Aided Security Proofs for the Working Cryptographer},
booktitle = {CRYPTO},
year = {2011},
pages = {71-90},
ee = {http://dx.doi.org/10.1007/978-3-642-22792-9_5},
crossref = {DBLP:conf/crypto/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/crypto/2011,
editor = {Phillip Rogaway},
title = {Advances in Cryptology - CRYPTO 2011 - 31st Annual Cryptology
Conference, Santa Barbara, CA, USA, August 14-18, 2011.
Proceedings},
booktitle = {CRYPTO},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6841},
year = {2011},
isbn = {978-3-642-22791-2},
ee = {http://dx.doi.org/10.1007/978-3-642-22792-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{BartheGB09,
author = {Gilles Barthe and
Benjamin Gr{\'e}goire and
Santiago Zanella B{\'e}guelin},
title = {Formal certification of code-based cryptographic proofs},
booktitle = {POPL},
year = {2009},
pages = {90-101},
ee = {http://doi.acm.org/10.1145/1480881.1480894},
crossref = {DBLP:conf/popl/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2009,
editor = {Zhong Shao and
Benjamin C. Pierce},
title = {Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, POPL 2009, Savannah,
GA, USA, January 21-23, 2009},
booktitle = {POPL},
publisher = {ACM},
year = {2009},
isbn = {978-1-60558-379-2},
ee = {http://dl.acm.org/citation.cfm?id=1480881},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{GoldwasserM84,
author = {Shafi Goldwasser and
Silvio Micali},
title = {Probabilistic Encryption},
journal = {J. Comput. Syst. Sci.},
volume = {28},
number = {2},
year = {1984},
pages = {270-299},
ee = {http://dx.doi.org/10.1016/0022-0000(84)90070-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
|
