research
∙
05/18/2022
Analysing and strengthening OpenWPM's reliability
Automated browsers are widely used to study the web at scale. Their prem...
share
research
∙
01/21/2022
Modelling Agent-Skipping Attacks in Message Forwarding Protocols
Message forwarding protocols are protocols in which a chain of agents ha...
research
∙
08/23/2021
Elysium: Automagically Healing Vulnerable Smart Contracts Using Context-Aware Patching
Smart contracts are programs that are deployed and executed on the block...
research
∙
03/12/2020
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
In recent years, smart contracts have suffered major exploits, costing m...
research
∙
12/12/2019
Investigating the effectiveness of web adblockers
We investigate adblocking filters and the extent to which websites and a...
research
∙
08/25/2018
Formal Analysis of an E-Health Protocol
Given the sensitive nature of health data, security and privacy in e-hea...
research
∙
08/02/2018