Login / Signup
Maria Borge
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Theorem Prover
Preprocessing
Web Services
Proof Planning
Top Venues
EuroS&P Workshops
</>
Publications
</>
Maria Borge
,
Eleftherios Kokoris-Kogias
,
Philipp Jovanovic
,
Linus Gasser
,
Nicolas Gailly
,
Bryan Ford
Proof-of-Personhood: Redemocratizing Permissionless Cryptocurrencies.
EuroS&P Workshops
(2017)