Simon Meier -

Not registered as user yet

Name:Simon Meier

Affiliation:Digital Asset

Contributions

CPP 2021	Author of A semantic domain for privacy-aware smart contracts and interoperable sharded ledgers within the Lightning Talks-track
CUFP 2017	Presenter of Formally Verifying a Smart-Contract Language Implementation with Isabelle within the CUFP 2017-track