• Published

  Extracting smart contracts tested and verified in Coq

  Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

• Published

  Formalizing Nakamoto-Style Proof of Stake

  Research output: Working paper › Preprint › Research

• Published

  Application of Computable Distributions to the Semantics of Probabilistic Programs

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review

View all (35) »