Recently I have been interested in probing security definitions for encryption schemes, in generic transformations in the like of the Naor-Yung transform or the GPV framework, and in the soundness properties of non-interactive proof systems. In the future I would like to continue working on security notions for lattice-based schemes but also investigate the way we define security in relation with epistemology, ethnology and other social sciences in the like of the
Social Foundations of Cryptography project. If any of this is of any interest to you, do not hesitate to contact me!
