Helen Treharne

University of Surrey

H-index: 26

Europe-United Kingdom

About Helen Treharne

Helen Treharne, With an exceptional h-index of 26 and a recent h-index of 13 (since 2020), a distinguished researcher at University of Surrey, specializes in the field of Formal Analysis, Passwordless Technologies, Security Applications.

His recent articles reflect a diverse array of research interests and contributions to the field:

Towards end-to-end verifiable online voting: adding verifiability to established voting systems

Formalising Application-Driven Authentication & Access-Control based on Users’ Companion Devices

Verifying List Swarm Attestation Protocols

Utilizing Weak Supervision to Create S3D: A Sarcasm Annotated Dataset

Technical report on a virtual CTAP2 webauthn authenticator

Augmenting an internet voting system with selene verifiability using permissioned distributed ledger

Lessons learnt from a 2fa roll out within a higher education organisation

Micro-mobilities in curated spaces: agency, autonomy and dwelling in visitor experiences of augmented reality in arts and heritage

Helen Treharne Information

University	University of Surrey
Position	Professor Department of Computer Science
Citations(all)	1842
Citations(since 2020)	512
Cited By	1471
hIndex(all)	26
hIndex(since 2020)	13
i10Index(all)	59
i10Index(since 2020)	17
Email	Access Email
University Profile Page	University of Surrey
Google Scholar	View Google Scholar Profile

Helen Treharne Skills & Research Interests

Formal Analysis

Passwordless Technologies

Security Applications

Top articles of Helen Treharne

Title	Journal	Author(s)	Publication Date
Towards end-to-end verifiable online voting: adding verifiability to established voting systems	IEEE transactions on dependable and secure computing	Mohammed Alsadi Matthew Casey Constantin Catalin Dragan François Dupressoir Luke Riley ...	2023/10/27
Formalising Application-Driven Authentication & Access-Control based on Users’ Companion Devices		Chris Culnane Ioana Boureanu Jean Snyman Stephan Wesemeyer Helen Treharne	2023/7/10
Verifying List Swarm Attestation Protocols		Jay Le-Papin Brijesh Dongol Helen Treharne Stephan Wesemeyer	2023/5/29
Utilizing Weak Supervision to Create S3D: A Sarcasm Annotated Dataset		Jordan Painter Helen Treharne Diptesh Kanojia	2022
Technical report on a virtual CTAP2 webauthn authenticator	arXiv preprint arXiv:2108.04131	Chris Culnane Christopher JP Newton Helen Treharne	2021/8/9
Augmenting an internet voting system with selene verifiability using permissioned distributed ledger		Muntadher Sallal Steve Schneider Matthew Casey François Dupressoir Helen Treharne ...	2020/11/29
Lessons learnt from a 2fa roll out within a higher education organisation	arXiv preprint arXiv:2011.02901	Abideen Tetlay Helen Treharne Tom Ascroft Sotiris Moschoyiannis	2020/11/5
Micro-mobilities in curated spaces: agency, autonomy and dwelling in visitor experiences of augmented reality in arts and heritage	Journal Mobilities	Caroline Scarles Helen Treharne Matthew Casey Abidin Husna Zainal	2020/9/9
An interoperable architecture for usable password-less authentication		Matthew Casey Mark Manulis Christopher JP Newton Robin Savage Helen Treharne	2020
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches		Steve Wesemeyer Ioana Boureanu Zach Smith Helen Treharne	2020
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme		Stephan Wesemeyer Christopher JP Newton Helen Treharne Liqun Chen Ralf Sasse ...	2020/10/5