Itsaka Rakotonirina

I am currently a (remote) cryptographic engineer based in Bochum (Germany) for Shielded. Our team is specifically working on cryptographic solutions for decentralised and zero-knowledge proofs of knowledge, for example to create solutions for digital "zero-knowledge" passports.

Before joining Shielded, I completed a PhD on formal verification of cryptographic protocols at Inria Nancy (France), and worked a couple of years as a post-doctoral researcher at the Max-Planck Institute for Security and Privacy (MPI-SP) in Bochum.

Research Interests

  • Security protocols
  • Cryptography
  • Formal methods
  • Proof automation

Contact

itsaka.rakotonirina@shielded.io