research
∙
05/16/2022
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
Smart contracts are the building blocks of the "code is law" paradigm: t...
share
research
∙
05/11/2022
Delay Encryption by Cubing
Delay Encryption (often called Timed-Release Encryption) is a scheme in ...
research
∙
12/01/2021
Trusted And Confidential Program Analysis
We develop the concept of Trusted and Confidential Program Analysis (TCP...
research
∙
05/12/2021
Guardian: symbolic validation of orderliness in SGX enclaves
Modern processors can offer hardware primitives that allow a process to ...
research
∙
02/07/2020
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity
The exploitation of smart-contract vulnerabilities can have catastrophic...
research
∙
04/22/2019
Translating between models of concurrency
Hoare's Communicating Sequential Processes (CSP) admits a rich universe ...
research
∙
07/30/2018
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics
From the output produced by a memoryless deletion channel from a uniform...
research
∙
02/02/2018