Login / Signup
Maximilian Diez
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
St Century
Theorem Prover
Proof Planning
Enabling Technologies
Top Venues
CoRR
HICSS
ICBC
</>
Publications
</>
Martin Westerkamp
,
Maximilian Diez
Verilay: A Verifiable Proof of Stake Chain Relay.
CoRR
(2022)
Martin Westerkamp
,
Maximilian Diez
Verilay: A Verifiable Proof of Stake Chain Relay.
ICBC
(2022)
Benedikt Notheisen
,
Sven Willrich
,
Maximilian Diez
,
Christof Weinhardt
Requirement-driven Taxonomy Development - A Classification of Blockchain Technologies for Securities Post-Trading.
HICSS
(2019)