About Me

I am a PhD student at the department of computer science at Aarhus University. My supervisor is Bas Spitters.

Research Interest

I’m interested in the intersection between formal verification and cryptography. In particular, I’m interested in formally proving (probabilistic) security properties of programs with the help of proof assistants. Lately, I have been working with both EasyCrypt and Coq. The special class of programs I’m interested in involve either zero-knowledge and/or multi-party computations.

Publications

• SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq, 2021, ePrint
  Carmine Abate , Philipp G. Haselwarter , Exequiel Rivas , Antoine Van Muylder , Théo Winterhalter , Nikolaj Sidorenco , Catalin Hritcu , Kenji Maillard , Bas Spitters
  eprint
• Formal Security Analysis of MPC-in-the-head-based Zero-Knowledge, 2021, CSF 2021
  Nikolaj Sidorenco , Sabine Oechsner , Bas Spitters
  code eprint video

Presentations

• 2021, June CSF2021 [video]
• 2021, June Aarhus University LogSem Seminar
• 2021, May ZKProof Workshop 4 [video]