Nikolaj Sidorenco

According to our database, Nikolaj Sidorenco authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters

ACM Trans. Program. Lang. Syst., September, 2023

2021

Formal security analysis of MPC-in-the-head zero-knowledge protocols.

Nikolaj Sidorenco, Sabine Oechsner, Bas Spitters

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021