research
∙
09/19/2023
DeFi composability as MEV non-interference
Complex DeFi services are usually constructed by composing a variety of ...
share
research
∙
05/16/2023
Secure compilation of rich smart contracts on poor UTXO blockchains
Most blockchain platforms from Ethereum onwards render smart contracts a...
research
∙
02/04/2023
A theoretical basis for Blockchain Extractable Value
Extractable Value refers to a wide class of economic attacks to public b...
research
∙
11/04/2021
A Sound Up-to-n,δ Bisimilarity for PCTL
We tackle the problem of establishing the soundness of approximate bisim...
research
∙
11/28/2020
Verification of recursive Bitcoin contracts
Smart contracts - computer protocols that regulate the exchange of crypt...
research
∙
10/03/2020
Computationally sound Bitcoin tokens
We propose a secure and efficient implementation of fungible tokens on B...
research
∙
09/25/2020
A formal model of Algorand smart contracts
We develop a formal model of Algorand stateless smart contracts (statele...
research
∙
06/06/2020
Bitcoin covenants unchained
Covenants are linguistic primitives that extend the Bitcoin script langu...
research
∙
02/29/2020
Renegotiation and recursion in Bitcoin contracts
BitML is a process calculus to express smart contracts that can be run o...
research
∙
05/18/2019