LIX - Ecole PolytechniqueYusuke Kawamoto

I am a post-doctoral researcher at INRIA Saclay and LIX, Ecole Polytechnique in France.

Research

My research topics are foundation of information security, especially the analyses and verification of programs and cryptographic protocols by

  • the symbolic approach (based on mathematical logic),
  • the computational approach (based on the computational complexity theory) and
  • the information theoretical approach (based on the information theory and statistics).

    • Currently, I am mainly working on quantitative information flow with Dr Catuscia Palamidessi. In the University of Birmingham I was working on program analyses by the information theoretical approach with Dr Tom Chothia.

    Since my PhD studies, I have been researching relationships between the symbolic and computational approaches, especially the computational soundness of formal verification of cryptographic protocols.

    I have also been studying attacks on RSA encryption (PKCS #1 v1.5) in joint work with Romain Bardou, Riccardo Focardi, Lorenzo Simionato, Graham Steel and Joe-Kai Tsay. The result was presented in CRYPTO 2012 and reported in many newspapers/magazines/blogs in the world.

    See the following page for more details: http://researchmap.jp/y_kawamoto/?lang=english

    Contact

    Dr Yusuke Kawamoto
    INRIA Saclay and Laboratoire d'Informatique (LIX),
    Batiment Alan Turing,
    1 rue Honore d'Estienne d'Orves,
    Campus de l'École Polytechnique
    91120 Palaiseau, FRANCE

    E-mail: yusuke000kawamoto AT inria000fr
    (Please replace 000 with . and at with @)

    Tous les documents fournis le sont sous la responsabilité de leurs auteurs, et ne représentent pas nécessairement les positions officielles de l'École polytechnique. Les informations données le sont de bonne foi, mais leur véracité ne saurait être garantie.