Charles Bouillaguet

2008
2	EE	Elena Andreeva, Charles Bouillaguet, Pierre-Alain Fouque, Jonathan J. Hoch, John Kelsey, Adi Shamir, Sébastien Zimmer: Second Preimage Attacks on Dithered Hash Functions. EUROCRYPT 2008: 270-288
2007
1	EE	Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard: Using First-Order Theorem Provers in the Jahob Data Structure Verification System. VMCAI 2007: 74-88

Coauthor Index

1	Elena Andreeva	[2]
2	Pierre-Alain Fouque	[2]
3	Jonathan J. Hoch	[2]
4	John Kelsey	[2]
5	Viktor Kuncak	[1]
6	Martin C. Rinard	[1]
7	Adi Shamir	[2]
8	Thomas Wies	[1]
9	Karen Zee	[1]
10	Sébastien Zimmer	[2]

Colors in the list of coauthors