• Sign in
  • Sign up
conf.researchr.org / Nikolaj Sidorenco
  • POPL 2021 profile
  • POPL 2024 profile
No Photo

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
xSun 11 May 23:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up