Helen Treharne

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 25

Top Venues

Royal Holloway, University of London, UK (PHD)

Education History

Royal Holloway, University of London, UK

PHD

Publications

Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne
On the Design and Security of Collective Remote Attestation Protocols. CoRR (2024)
Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer
Verifying List Swarm Attestation Protocols. WISEC (2023)
Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne
Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. AsiaCCS (2023)
Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. IEEE Trans. Dependable Secur. Comput. 18 (4) (2021)
Chris Culnane, Christopher J. P. Newton, Helen Treharne
Technical Report on a Virtual CTAP2 WebAuthn Authenticator. CoRR (2021)
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. ICDCS (2020)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
Anonymous Single Sign-On With Proxy Re-Verification. IEEE Trans. Inf. Forensics Secur. 15 (2020)
Matthew Casey, Mark Manulis, Christopher J. P. Newton, Robin Savage, Helen Treharne
An Interoperable Architecture for Usable Password-Less Authentication. ETAA@ESORICS (2020)
Abideen Tetlay, Helen Treharne, Tom Ascroft, Sotiris Moschoyiannis
Lessons Learnt from a 2FA roll out within a higher education organisation. CoRR (2020)
Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield
Formal Analysis and Implementation of a TPM 2.0-based Direct Anonymous Attestation Scheme. AsiaCCS (2020)
Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne
Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches. EuroS&P (2020)
Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
VMV: Augmenting an Internet Voting System with Selene Verifiability. CoRR (2019)
Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. EuroS&P (2019)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Anonymous Single-Sign-On for n designated services with traceability. CoRR (2018)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson
Anonymous Single Sign-on with Proxy Re-Verification. CoRR (2018)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Anonymous Single-Sign-On for n Designated Services with Traceability. ESORICS (1) (2018)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. CoRR (2017)
Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne
Privacy-enhanced capabilities for VANETs using direct anonymous attestation. VNC (2017)
Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer
Formal Analysis of V2X Revocation Protocols. STM (2017)
Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne
PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. CoRR (2017)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang
OnTrack: The Railway Verification Toolset - Extended Abstract. ISoLA (2) (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)
Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams
Foundations for using linear temporal logic in Event-B refinement. Formal Aspects Comput. 28 (6) (2016)
Steve A. Schneider, Helen Treharne
Special issue on Automated Verification of Critical Systems (AVoCS 2013). Sci. Comput. Program. 111 (2015)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL Properties in Event-B Refinement. IFM (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams
Managing LTL properties in Event-B refinement. CoRR (2014)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
The behavioural semantics of Event-B refinement. Formal Aspects Comput. 26 (2) (2014)
Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. 16 (6) (2014)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
On modelling and verifying railway interlockings: Tracking train lengths. Sci. Comput. Program. 96 (2014)
Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider
OnTrack: An Open Tooling Environment for Railway Verification. NASA Formal Methods (2013)
Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams
Verification of Scheme Plans Using CSP $$||$$ | | B. SEFM Workshops (2013)
Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller
Policy templates for relationship-based access control. PST (2013)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An integrated framework for checking the behaviour of fUML models using CSP. Int. J. Softw. Tools Technol. Transf. 15 (4) (2013)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
An Optimization Approach for Effective Formalized fUML Model Checking. SEFM (2012)
Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen
Railway modelling in CSP||B: the double junction case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne
Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. Haifa Verification Conference (2012)
Marie-Laure Potet, Helen Treharne
Preface. Electron. Notes Theor. Comput. Sci. 280 (2011)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
A CSP Account of Event-B Refinement Refine@FM (2011)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
Bounded Retransmission in Event-B∥CSP: a Case Study. Electron. Notes Theor. Comput. Sci. 280 (2011)
Islam Abdelhalim, Steve A. Schneider, Helen Treharne
Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. ICFEM (2011)
Steve A. Schneider, Helen Treharne
Changing system interfaces consistently: A new refinement strategy for CSP||B. Sci. Comput. Program. 76 (10) (2011)
David M. Williams, Helen Treharne, Anthony T. S. Ho
On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. SECRYPT (2010)
Weina Jiang, Anthony T. S. Ho, Helen Treharne, Yun Q. Shi
A Novel Multi-size Block Benford's Law Scheme for Printer Identification. PCM (1) (2010)
Steve A. Schneider, Helen Treharne, Heike Wehrheim
A CSP Approach to Control in Event-B. IFM (2010)
Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. ICFEM (2010)
Steve A. Schneider, Helen Treharne
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. IFM (2009)
Weina Jiang, Anthony T. S. Ho, Helen Treharne
A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics. Trans. Data Hiding Multim. Secur. 4 (2009)
Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. TOOLS (47) (2009)
Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill
A Step towards Merging xUML and CSP || {\| \ }B. Rigorous Methods for Software Construction and Analysis (2009)
Beeta Vajar, Steve A. Schneider, Helen Treharne
Mobile CSP||B. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Steve A. Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill
Experiments in Translating CSP || B to Handel-C. CPA (2008)
Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans
Automatic Generation of CSP || B Skeletons from xUML Models. ICTAC (2008)
David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane
Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol. MM&Sec (2008)
David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller
Formal Analysis of Two Buyer-Seller Watermarking Protocols. IWDW (2008)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
Applying CSP || B to information systems. Softw. Syst. Model. 7 (1) (2008)
Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans
Object Modelling in the SystemB Industrial Project. ABZ (2008)
Weina Jiang, Anthony T. S. Ho, Helen Treharne
Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model. IWDW (2007)
Wilson Ifill, Steve A. Schneider, Helen Treharne
Augmenting B with Control Annotations. B (2007)
Neil Evans, Helen Treharne
Interactive tool support for CSP || B consistency checking. Formal Aspects Comput. 19 (3) (2007)
Xi Zhao, Anthony T. S. Ho, Helen Treharne, Vinod Pankajakshan, Chris Culnane, Weina Jiang
A Novel Semi-Fragile Image Watermarking, Authentication and Self-Restoration Technique Using the Slant Transform. IIH-MSP (2007)
Damien Karkinsky, Steve A. Schneider, Helen Treharne
Combining Mobility with State. IFM (2007)
Chris Culnane, Helen Treharne, Anthony T. S. Ho
Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning. IWDW (2007)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank monitoring: a pAMN case study. Formal Aspects Comput. 18 (3) (2006)
Neil Evans, Helen Treharne
Linking Semantic Models to Support CSP || B Consistency Checking. Electron. Notes Theor. Comput. Sci. 145 (2006)
Chris Culnane, Helen Treharne, Anthony T. S. Ho
A New Multi-set Modulation Technique for Increasing Hiding Capacity of Binary Watermark for Print and Scan Processes. IWDW (2006)
Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock
A Layered Behavioural Model of Platelets. ICECCS (2006)
Steve A. Schneider, Helen Treharne, Neil Evans
Chunks: Component Verification in CSP||B. IFM (2005)
Neil Evans, Helen Treharne
Investigating a file transfer protocol using CSP and B. Softw. Syst. Model. 4 (3) (2005)
Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
Tank Monitoring: A pAMN Case Study. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Steve A. Schneider, Helen Treharne
CSP theorems for communicating B machines. Formal Aspects Comput. 17 (4) (2005)
Steve A. Schneider, Helen Treharne
Verifying Controlled Components. IFM (2004)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
How to Verify Dynamic Properties of Information Systems. SEFM (2004)
Helen Treharne, Steve A. Schneider, Marchia Bramble
Composing Specifications Using Communication. ZB (2003)
Helen Treharne
Supplementing a UML Development Process with B. FME (2002)
Steve A. Schneider, Helen Treharne
Communicating B Machines. ZB (2002)
Helen Treharne, Steve A. Schneider
How to Drive a B Machine. ZB (2000)
Helen Treharne, Steve A. Schneider
Using a Process Algebra to Control B Operations. IFM (1999)
Helen Treharne, J. Draper, Steve A. Schneider
Test Case Preparation Using a Prototype. B (1998)

Helen Treharne.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Helen Treharne