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
∙
06/01/2022
Formal Analysis of Lending Pools in Decentralized Finance
Decentralised Finance (DeFi) applications constitute an entire financial...
research
∙
11/04/2021
A Sound Up-to-n,δ Bisimilarity for PCTL
We tackle the problem of establishing the soundness of approximate bisim...
research
∙
06/02/2021
Maximizing Extractable Value from Automated Market Makers
Automated Market Makers (AMMs) are decentralized applications that allow...
research
∙
02/22/2021
A theory of Automated Market Makers in DeFi
Automated market makers (AMMs) are one of the most prominent decentraliz...
research
∙
12/24/2020
SoK: Lending Pools in Decentralized Finance
Lending pools are decentralized applications which allow mutually untrus...
research
∙
11/28/2020
Verification of recursive Bitcoin contracts
Smart contracts - computer protocols that regulate the exchange of crypt...
research
∙
11/27/2020
A theory of transaction parallelism in blockchains
Decentralized blockchain platforms have enabled the secure exchange of c...
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
∙
09/11/2019
Proceedings 12th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'19, the 12th Interaction and...
research
∙
08/06/2019
A minimal core calculus for Solidity contracts
The Ethereum platform supports the decentralized execution of smart cont...
research
∙
05/18/2019
Developing secure Bitcoin contracts with BitML
We present a toolchain for developing and verifying smart contracts that...
research
∙
05/10/2019
A true concurrent model of smart contracts executions
One of the key features of modern blockchain platforms is the possibilit...
research
∙
11/02/2018
Blockchain for social good: a quantitative analysis
The rise of blockchain technologies has given a boost to social good pro...
research
∙
10/04/2018
Proceedings 11th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'18, the 11th Interaction and...
research
∙
03/01/2018
Data mining for detecting Bitcoin Ponzi schemes
Soon after its introduction in 2009, Bitcoin has been adopted by cyber-c...
research
∙
11/29/2017
Proceedings 10th Interaction and Concurrency Experience
This volume contains the proceedings of ICE 2017, the 10th Interaction a...
research
∙
10/15/2017