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