pefav

Travaux de classe

Ecole normale superieure Departement d'informatique

Travaux de classe

Algorithmique et Programmation TD n Fast Fourier Transform

Fourier Transform

Cours

A Local Mean Field Analysis of Security Investments in Networks

Marc Lelarge

Cours

Algorithmique et Programmation Projet Algorithme“Measure and Conquer”pour Maximum Independent Set

Cours

Algorithmique et Programmation Projet Algorithme d'Edmonds pour les couplage maximaux dans un graphe

Education

Introduction It's not the End of the Story Implementation Conclusion

Charles Bouillaguet1

Cours

Algorithmique et Programmation Projet permutations de matrices creuses et decompositions de graphes

Education

Introduction Low Data Complexity Cryptanalysis Symbolic Tools Results Conclusion

Charles Bouillaguet

Education

Introduction New Attack Extensions conclusion

Second Preimage

Education

Introduction The MQ Problem Polynomial Equivalence Problems

Charles Bouillaguet

Education

Introduction Related Work Attacking IP1S Attacking the full IP Conclusion

Charles Bouillaguet1

Education

Introduction Related Work Attacking Quadratic IP1S Attacking Cubic IP1S Conclusion

Charles Bouillaguet

Cours

Full Key Recovery attack on HMAC MD4

Gaëtan Leurent

Cours

Introduction The SHA competition New attacks on SHA candidates

Gaëtan Leurent

Cours

Introduction Application to Lesamnta Application to SHAvite

Charles Bouillaguet

Cours

Cryptanalysis of a Hash Function Based on Quasi Cyclic Codes

Gaëtan Leurent

Cours

Automatic Search of Differential

Gaëtan Leurent

Cours

Introduction Analysis of the MD4 family The Design of SIMD Attacks on New Hash Functions

Gaëtan Leurent

Cours

Introduction Pseudo preimages Preimages Conclusion

Gaëtan Leurent

Cours

Introduction New distinguisher for SIMD Security proof with distinguishers Analysis of differential paths

Pierre-Alain Fouque, Charles Bouillaguet, Gaëtan Leurent

Cours

Message Freedom in MD4 and

Gaëtan Leurent

Education

MD4 is Not One Way

Gaëtan Leurent

Education

Jérôme Feret Laboratoire d'Informatique de l'École Normale Supérieure

Jérôme Feret

Education

Internal coarse graining of molecular systems

Jérôme Feret

Education

Exact and automatic reduction of rule based models

Jérôme Feret

Education

Static Analysis of Digital Filters ESOP

Jérôme Feret

Education

Abstract Interpretation of Mobile Systems Jérôme Feret

Jérôme Feret

Education

Università di Bologna Fourth day

Jérôme Feret

Education

Reachability Analysis of Biological Signalling Pathways by Abstract Interpretation

Jerome Feret1

Cours

The Arithmetic Geometric Progression Abstract Domain

Jérôme Feret