Itsaka Rakotonirina

I am currently a post-doctoral researcher at the Max-Planck Institute for Security and Privacy (MPI-SP) in Bochum (Germany), under the supervision of Gilles Barthe. We are working on cybersecurity-related topics, by applying formal methods taken from the area of logic and alike to various areas of security and cryptography.

Before that, I completed a PhD on similar topics at Inria Nancy (France), under the supervision of Steve Kremer and Vincent Cheval.

Research Interests

  • Security protocols
  • Cryptography
  • Formal methods
  • Proof automation

Contact

Max-Planck Institute for Security and Privacy
Universitätstraße 140
44799 Bochum (GERMANY)

itsaka.rakotonirina@mpi-sp.org