Yusuke KAWAMOTO

photo

I am a research fellow at School of Computer Science, the University of Birmingham in United Kingdom.






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).

    • Currently, I am mainly 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
    School of Computer Science,
    University of Birmingham, Birmingham
    B15 2TT United Kingdom

    E-mail: y000kawamoto at cs000bham000ac000uk
    (Please replace 000 with . and at with @)