Miguel Ambrona

I am a Senior Cryptography Engineer at Shielded Technologies (previously IOHK).

Before that, I was a Research Scientist at Nomadic Labs, working on the design and implementation of PlonK-based SNARKs.

I obtained my PhD in Cryptography at the IMDEA Software Institute and Universidad Politécnica de Madrid, under the supervision of Gilles Barthe and Benedikt Schmidt. After my PhD, I stayed at IMDEA as a postdoctoral researcher, supervised by Dario Fiore and Claudio Soriente. I also worked as a postdoctoral researcher at NTT Secure Platform Laboratories (Tokyo), in the area of Cryptography, under the supervision of Masayuki Abe.

My Bachelor and Master degrees were on Mathematical Engineering at Universidad Complutense de Madrid.

Research Interests

  • SNARKs and zero-knowledge proofs
  • Blockchain technology
  • Computer-aided cryptography
  • Idealized models (GGM)
  • Predicate encryption
  • Functional programming

Contact

name.surname@shielded.io