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
∙
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
