 | 2009 |
|---|
| 3 |       | Elena Andreeva,
Charles Bouillaguet,
Orr Dunkelman,
John Kelsey:
Herding, Second Preimage and Trojan Message Attacks beyond Merkle-Damgård.
Selected Areas in Cryptography 2009: 393-414 |
| 2008 |
|---|
| 2 | | 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 | | 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 |
