Sylvain Heraud

	2009
2		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet: Implementing a Direct Method for Certificate Translation. ICFEM 2009: 541-560
	2008
1		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin: Formal Certification of ElGamal Encryption. Formal Aspects in Security and Trust 2008: 1-19

Coauthor Index

1	Gilles Barthe	[1] [2]
2	Santiago Zanella Béguelin	[1]
3	Benjamin Grégoire	[1] [2]
4	César Kunz	[2]
5	Anne Pacalet	[2]