Security, privacy, and cryptography
Publication
Automated Whitebox Fuzz Testing
Video
A Cryptographic Compiler for Information-Flow Security
Joint work with Tamara Rezk and Gurvan le Guernic (MSR-INRIA Joint Centre http://msr-inria.inria.fr/projects/sec) We relate two notions of security: one simple and abstract, based on information flows in programs, the other more concrete, based on…
Video
Bilinear Complexity of the Multiplication in a Finite Extention of a Finite Field
Let q=pr be a prime power and Fq be the finite field with q elements. We study the multiplication of two polynomials in Fq [X], with degree ≤ n-1, modulo an irreducible polynomial of degree…
Video
Deniable Authentication on the Internet
We revisit the question of deniable cryptographic primitives, where, intuitively, a malicious party observing the interaction, cannot later prove to a third party that the interaction took place. Example include deniable message authentication, key exchange…
Publication
Code-Carrying Authorization
Video
Cryptography: From Theory to Practice
You use cryptography every time you make a credit card-based Internet purchase or use an ATM machine. But what is it? How does it work and how do we know when it is secure? This…
Publication
Verifying Policy-Based Web Services Security
Project
Automated Test Generation (ATG)
Overview We are conducting research on automating software testing using (static and dynamic) program analysis with the goal of building testing tools that are automatic, scalable and check many properties. Our work combines program analysis,…