New
Every arXiv paper, its researchers & institutions — mapped.
◍
wove
paper
Search
Papers
Researchers
Institutions
Sign in
papers
Publications (2)
cs.CR
2018
Shepherd: Enabling Automatic and Large-Scale Login Security Studies
Hugo Jonker, Jelmer Kalkman, Benjamin Krumnow +2
cs.CR
2018
Formal Analysis of an E-Health Protocol
Naipeng Dong, Hugo Jonker, Jun Pang