Research Paper

Key Agreements via Protocols

Research Paper

Fair Exchange in the Blockchain (Draft)

Research Paper

Delay and Escrow in the Blockchain (Draft)

Research Paper

Further Thoughts on Work Your Stake (Draft)

Research Paper

Seraph: Enabling Cross-Platform Security Analysis for EVM and WASM Smart Contracts

Research Paper

Protect your Smart Contract against Unfair Payment

Research Paper

Safepay on Ethereum: A Framework for Detecting Unfair Payment in Smart Contracts

Research Paper

Solidifier: Bounded Model Checking Solidity using Lazy Contract Deployment and Precise Memory Modelling