Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nikolaj Sidorenco
conf.researchr.org general profile
POPL 2021 profile
POPL 2024 profile
Registered user since Tue 12 Jan 2021
Name:
Nikolaj Sidorenco
Affiliation:
Aarhus University
Contributions
2024
CoqPL
Author of A formal security analysis of Blockchain voting within the CoqPL 2024-track
2021
CPP
Author of Formalising MPC-in-the-head-based zero-knowledge within the Lightning Talks-track
Share
x
Tue 3 Dec 17:53