Search the dblp DataBase

Publications of Author

1. 
   Fast Exhaustive Search for Polynomial Systems in F₂. [Citation Graph (, )][DBLP]
   
   
2. 
   Second Preimage Attacks on Dithered Hash Functions. [Citation Graph (, )][DBLP]
   
   
3. 
   Another Look at Complementation Properties. [Citation Graph (, )][DBLP]
   
   
4. 
   Analysis of the Collision Resistance of RadioGatúnUsing Algebraic Techniques. [Citation Graph (, )][DBLP]
   
   
5. 
   Herding, Second Preimage and Trojan Message Attacks beyond Merkle-Damgård. [Citation Graph (, )][DBLP]
   
   
6. 
   Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]