Nikolaj Sidorenco

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Mutual Authentication

Security Analysis

Top Venues

IACR Cryptol. ePrint Arch.

ACM Trans. Program. Lang. Syst.

Publications

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters
Formal security analysis of MPC-in-the-head zero-knowledge protocols. IACR Cryptol. ePrint Arch. 2021 (2021)
Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters
Formal security analysis of MPC-in-the-head zero-knowledge protocols. CSF (2021)