1 citations · 2 across the 3 of their papers we have counts for
6 papers · 1 filter
Analysing and strengthening OpenWPM's reliability
Benjamin Krumnow, Hugo Jonker, Stefan Karsch
Automated browsers are widely used to study the web at scale. Their premise is that they measure what regular browsers would encounter on the web. In practice, deviations due to de…
Modelling Agent-Skipping Attacks in Message Forwarding Protocols
Zach Smith, Hugo Jonker, Sjouke Mauw +1
Message forwarding protocols are protocols in which a chain of agents handles transmission of a message. Each agent forwards the received message to the next agent in the chain. Fo…
Æ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…