research
∙
08/01/2022
Finding smart contract vulnerabilities with ConCert's property-based testing framework
We provide three detailed case studies of vulnerabilities in smart contr...
share
research
∙
03/11/2022
Formalising Decentralised Exchanges in Coq
The number of attacks and accidents leading to significant losses of cry...
research
∙
08/06/2021
Certified Compilation of Financial Contracts
We present an extension to a certified financial contract management sys...
research
∙
08/06/2021
Extracting functional programs from Coq, in Coq
We implement extraction of Coq programs to functional languages based on...
research
∙
12/16/2020
Extracting Smart Contracts Tested and Verified in Coq
We implement extraction of Coq programs to functional languages based on...
research
∙
07/24/2019
ConCert: A Smart Contract Certification Framework in Coq
We present a new way of embedding functional languages into the Coq proo...
research
∙
07/24/2019
Towards a Smart Contract Verification Framework in Coq
We propose a novel way of embedding functional smart contract languages ...
research
∙
11/28/2018