1 citations · 1 across the 1 of their papers we have counts for
4 papers
ÆGIS: Shielding Vulnerable Smart Contracts Against Attacks
Christof Ferreira Torres, Mathis Baden, Robert Norvill +3
In recent years, smart contracts have suffered major exploits, costing millions of dollars. Unlike traditional programs, smart contracts are deployed on a blockchain. As such, they…
Investigating the effectiveness of web adblockers
Clayton Drazner, Nikola Đuza, Hugo Jonker +1
We investigate adblocking filters and the extent to which websites and advertisers react when their content is impacted by these filters. We collected data daily from the Alexa Top…
Formal Analysis of an E-Health Protocol
Naipeng Dong, Hugo Jonker, Jun Pang
Given the sensitive nature of health data, security and privacy in e-health systems is of prime importance. It is crucial that an e-health system must ensure that users remain priv…
Shepherd: Enabling Automatic and Large-Scale Login Security Studies
Hugo Jonker, Jelmer Kalkman, Benjamin Krumnow +2
More and more parts of the internet are hidden behind a login field. This poses a barrier to any study predicated on scanning the internet. Moreover, the authentication process its…