My research has three main components. In information security, I work on the protection of privacy. Specifically, I am interested in the preservation of personal information that is spread over the Internet and accessed by services such as search engines, social networks, geolocation websites, online learning and e-commerce.

I use cryptographic protocols and different techniques for privacy protection: k-anonymity, randomization, secure multiparty computation and privacy by design. I also work to improve privacy policies concerning the categorization and confidentiality of sensitive data.

In e-commerce, I am interested in customization (acquisition of customer profiles) and recommendation of products and services using algorithms such as demographic, content-based, collaborative and hybrid filtering.

In the context of intelligent tutoring systems, I am interested in learning strategies, human-computer interaction, assessment methods and learner modelling. To do this, I use artificial intelligence techniques including machine learning and data mining.

My research expertise is quantum cryptography. More precisely, I use quantum information to achieve advanced cryptographic tasks that would be impossible to do classically, or that can be based on weaker assumptions. I also enjoy research in post-quantum cryptography, the branch of classical cryptography that focuses on security against of a quantum adversary. I'm also interested in cryptographic solutions to privacy-friendly computing.

I'm interested in pushing the limits of strongly typed programming languages so as to be able to use in circumstances where they are currently inapplicable. For example, designing advanced type systems that make it possible to write secure low-level code such as automatic memory management. More generally I'm interested in type systems that enable the programmer to explain to the compiler, via type annotations, why his program is correct.