Department of Computer Science

• Published

  Finding smart contract vulnerabilities with ConCert's property-based testing framework

  Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review

• Published

  Extracting functional programs from Coq, in Coq

  Research output: Working paper/Preprint › Preprint

• Published

  Extracting smart contracts tested and verified in Coq

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

View all (10) »