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
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/23/2020
Formalizing Nakamoto-Style Proof of Stake
Fault-tolerant distributed systems move the trust in a single party to a...
research
∙
12/16/2019
Synthetic topology in Homotopy Type Theory for probabilistic programming
The ALEA Coq library formalizes measure theory based on a variant of the...
research
∙
11/12/2019
Smart Contract Interactions in Coq
We present a model/executable specification of smart contract execution ...
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
∙
09/23/2018
Normalization by gluing for free λ-theories
The connection between normalization by evaluation, logical predicates a...
research
∙
06/20/2018
An Application of Computable Distributions to the Semantics of Probabilistic Programs
In this chapter, we explore how (Type-2) computable distributions can be...
research
∙
06/19/2018
Computer-aided proofs for multiparty computation with active security
Secure multi-party computation (MPC) is a general cryptographic techniqu...
research
∙
04/14/2018
Modal Dependent Type Theory and Dependent Right Adjoints
In recent years we have seen several new models of dependent type theory...
research
∙
01/23/2018
