Searching for authors named "Charles Bouillaguet" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Analysis of the Collision Resistance of RadioGatún using Algebraic Techniques
- …Analysis of the Collision Resistance of RadioGatún using Algebraic Techniques Charles Bouillaguet…
- Add To MetaCart
-
On Using First-Order Theorem Provers inthe Jahob Data Structure Verification System
- … Bouillaguet1, Viktor Kuncak2,Thomas Wies 3, Karen Zee2, and Martin Rinard2 1 Ecole Normale Sup…
- Add To MetaCart
-
Using first-order theorem provers in the Jahob data structure verification system
- … Bouillaguet 1 , Viktor Kuncak 2 , Thomas Wies 3 , Karen Zee 2 , and Martin Rinard 2 1 Ecole Normale Supérieure…
- Cited by 8 (0 self) – Add To MetaCart
-
Second Preimage Attacks on Dithered Hash Functions
- …Second Preimage Attacks on Dithered Hash Functions Elena Andreeva 1 , Charles Bouillaguet 2…
- Cited by 3 (0 self) – Add To MetaCart
Showing 1 through 4.
