Concepedia

Helen Treharne

HT

Statistics

Publications

17

Citations

411

H-Index

13

Active since

2004

Affiliations

University of Surrey(Current)

Swansea University

Royal Holloway University of London

Helen Treharne is an author at University of Surrey specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal VerificationComputer ScienceCryptographyVerificationData SecurityFormal MethodsInformation SecurityData PrivacyHardware Security

Publications per year

2004–2020

17

Publications

17

CSP theorems for communicating B machines

Steve Schneider, Helen Treharne · Formal Aspects of Computing · 2005 · 82 citations · Full text

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 47 citations

Railway Traffic, Reliability Engineering, Engineering +8

Privacy-enhanced capabilities for VANETs using direct anonymous attestation

Jorden Whitefield, Liqun Chen, Thanassis Giannetsos et al. · 2017 · 33 citations

Internet Of Vehicle, Direct Anonymous Attestation, Engineering +18

The behavioural semantics of Event-B refinement

Steve Schneider, Helen Treharne, Heike Wehrheim · Formal Aspects of Computing · 2012 · 28 citations · Full text

Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme

Stephan Wesemeyer⋆, Christopher J. P. Newton, Helen Treharne et al. · 2020 · 27 citations · Full text

Cryptographic Primitive, Direct Anonymous Attestation, Engineering +21

Rows per page

1–5 of 17