Sabrina Tarento

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

3 Sabrina Tarento: Machine-Checked Security Proofs of Cryptographic Signature Schemes. ESORICS 2005: 140-158

2004

2 Gilles Barthe, Jan Cederquist, Sabrina Tarento: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR 2004: 385-399

1 Gilles Barthe, Sabrina Tarento: A Machine-Checked Formalization of the Random Oracle Model. TYPES 2004: 33-49

	2005
3		Sabrina Tarento: Machine-Checked Security Proofs of Cryptographic Signature Schemes. ESORICS 2005: 140-158
	2004
2		Gilles Barthe, Jan Cederquist, Sabrina Tarento: A Machine-Checked Formalization of the Generic Model and the Random Oracle Model. IJCAR 2004: 385-399
1		Gilles Barthe, Sabrina Tarento: A Machine-Checked Formalization of the Random Oracle Model. TYPES 2004: 33-49

Coauthor Index

1 Gilles Barthe [1] [2]

2 J. G. Cederquist (Jan Cederquist) [2]