research
∙
05/16/2023
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves
We propose a protocol that explores a synergy between two TEE implementa...
share
research
∙
07/18/2022
A Pattern-based deadlock-freedom analysis strategy for concurrent systems
Local analysis has long been recognised as an effective tool to combat t...
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...
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