3 citations · 8 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
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…
cs.CR2018★ 2 cited
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…