Helen Treharne

According to our database, Helen Treharne authored at least 75 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems.

Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright

IEEE Trans. Dependable Secur. Comput., 2024

On the Design and Security of Collective Remote Attestation Protocols.

Sharar Ahmadi, Jay Le-Papin, Liqun Chen, Brijesh Dongol, Sasa Radomirovic, Helen Treharne

CoRR, 2024

2023

Verifying List Swarm Attestation Protocols.

Jay Le-Papin, Brijesh Dongol, Helen Treharne, Stephan Wesemeyer

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

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

Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne

Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security, 2023

2021

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials.

Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer

IEEE Trans. Dependable Secur. Comput., 2021

Technical Report on a Virtual CTAP2 WebAuthn Authenticator.

Chris Culnane, Christopher J. P. Newton, Helen Treharne

CoRR, 2021

2020

Anonymous Single Sign-On With Proxy Re-Verification.

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer, Nick Wilson

IEEE Trans. Inf. Forensics Secur., 2020

Lessons Learnt from a 2FA roll out within a higher education organisation.

Abideen Tetlay, Helen Treharne, Tom Ascroft, Sotiris Moschoyiannis

CoRR, 2020

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.

Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright

Proceedings of the 40th IEEE International Conference on Distributed Computing Systems, 2020

Extensive Security Verification of the LoRaWAN Key-Establishment: Insecurities & Patches.

Stephan Wesemeyer, Ioana Boureanu, Zach Smith, Helen Treharne

Proceedings of the IEEE European Symposium on Security and Privacy, 2020

An Interoperable Architecture for Usable Password-Less Authentication.

Matthew Casey, Mark Manulis, Christopher J. P. Newton, Robin Savage, Helen Treharne

Proceedings of the Emerging Technologies for Authorization and Authentication, 2020

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

Stephan Wesemeyer, Christopher J. P. Newton, Helen Treharne, Liqun Chen, Ralf Sasse, Jorden Whitefield

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

VMV: Augmenting an Internet Voting System with Selene Verifiability.

Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright

CoRR, 2019

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation.

Jorden Whitefield, Liqun Chen, Ralf Sasse, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the IEEE European Symposium on Security and Privacy, 2019

2018

Anonymous Single-Sign-On for n Designated Services with Traceability.

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the Computer Security, 2018

2017

PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing.

Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne

CoRR, 2017

Privacy-enhanced capabilities for VANETs using direct anonymous attestation.

Jorden Whitefield, Liqun Chen, Thanassis Giannetsos, Steve A. Schneider, Helen Treharne

Proceedings of the 2017 IEEE Vehicular Networking Conference, 2017

Formal Analysis of V2X Revocation Protocols.

Jorden Whitefield, Liqun Chen, Frank Kargl, Andrew Paverd, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer

Proceedings of the Security and Trust Management - 13th International Workshop, 2017

2016

Foundations for using linear temporal logic in Event-B refinement.

Thai Son Hoang, Steve A. Schneider, Helen Treharne, David M. Williams

Formal Aspects Comput., 2016

OnTrack: The Railway Verification Toolset - Extended Abstract.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Symbolic Reachability Analysis of B Through ProB and LTSmin.

Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Event-B and Linear Temporal Logic.

Steve A. Schneider, Helen Treharne, David M. Williams

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

Special issue on Automated Verification of Critical Systems (AVoCS 2013).

Steve A. Schneider, Helen Treharne

Sci. Comput. Program., 2015

2014

Techniques for modelling and verifying railway interlockings.

Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Int. J. Softw. Tools Technol. Transf., 2014

On modelling and verifying railway interlockings: Tracking train lengths.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Sci. Comput. Program., 2014

The behavioural semantics of Event-B refinement.

Steve A. Schneider, Helen Treharne, Heike Wehrheim

Formal Aspects Comput., 2014

Managing LTL Properties in Event-B Refinement.

Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

An integrated framework for checking the behaviour of fUML models using CSP.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Int. J. Softw. Tools Technol. Transf., 2013

Verification of Scheme Plans Using CSP $$||$$ | | B.

Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne, Matthew Trumble, David M. Williams

Proceedings of the Software Engineering and Formal Methods, 2013

Policy templates for relationship-based access control.

Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller

Proceedings of the Eleventh Annual International Conference on Privacy, Security and Trust, 2013

OnTrack: An Open Tooling Environment for Railway Verification.

Phillip James, Matthew Trumble, Helen Treharne, Markus Roggenbach, Steve A. Schneider

Proceedings of the NASA Formal Methods, 2013

2012

Railway modelling in CSP||B: the double junction case study.

Markus Roggenbach, Faron Moller, Steve A. Schneider, Helen Treharne, Hoang Nga Nguyen

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

An Optimization Approach for Effective Formalized fUML Model Checking.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B.

Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve A. Schneider, Helen Treharne

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

Changing system interfaces consistently: A new refinement strategy for CSP||B.

Steve A. Schneider, Helen Treharne

Sci. Comput. Program., 2011

Bounded Retransmission in Event-B∥CSP: a Case Study.

Steve A. Schneider, Helen Treharne, Heike Wehrheim

Proceedings of the B 2011 Workshop, 2011

Preface.

Marie-Laure Potet, Helen Treharne

Proceedings of the B 2011 Workshop, 2011

A CSP Account of Event-B Refinement

Steve A. Schneider, Helen Treharne, Heike Wehrheim

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP.

Islam Abdelhalim, Steve A. Schneider, Helen Treharne

Proceedings of the Formal Methods and Software Engineering, 2011

2010

On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols.

David M. Williams, Helen Treharne, Anthony T. S. Ho

Proceedings of the SECRYPT 2010, 2010

A Novel Multi-size Block Benford's Law Scheme for Printer Identification.

Weina Jiang, Anthony T. S. Ho, Helen Treharne, Yun Q. Shi

Proceedings of the Advances in Multimedia Information Processing - PCM 2010, 2010

A CSP Approach to Control in Event-B.

Steve A. Schneider, Helen Treharne, Heike Wehrheim

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP.

Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne

Proceedings of the Formal Methods and Software Engineering, 2010

2009

A Novel Least Distortion Linear Gain Model for Halftone Image Watermarking Incorporating Perceptual Quality Metrics.

Weina Jiang, Anthony T. S. Ho, Helen Treharne

Trans. Data Hiding Multim. Secur., 2009

Mobile CSP||B.

Beeta Vajar, Steve A. Schneider, Helen Treharne

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Automatic Generation of Integrated Formal Models Corresponding to UML System Models.

Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos

Proceedings of the Objects, Components, Models and Patterns, 47th International Conference, 2009

A Step towards Merging xUML and CSP || {\| \ }B.

Helen Treharne, Steve A. Schneider, Neil Grant, Neil Evans, Wilson Ifill

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

Applying CSP || B to information systems.

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Softw. Syst. Model., 2008

Experiments in Translating CSP || B to Handel-C.

Steve A. Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill

Proceedings of the thirty-first Communicating Process Architectures Conference, 2008

Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.

David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane

Proceedings of the 10th workshop on Multimedia & Security, 2008

Formal Analysis of Two Buyer-Seller Watermarking Protocols.

David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller

Proceedings of the Digital Watermarking, 7th International Workshop, 2008

Automatic Generation of CSP || B Skeletons from xUML Models.

Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans

Proceedings of the Theoretical Aspects of Computing, 2008

Object Modelling in the SystemB Industrial Project.

Helen Treharne, Edward Turner, Steve A. Schneider, Neil Evans

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Interactive tool support for CSP || B consistency checking.

Neil Evans, Helen Treharne

Formal Aspects Comput., 2007

Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model.

Weina Jiang, Anthony T. S. Ho, Helen Treharne

Proceedings of the Digital Watermarking, 6th International Workshop, 2007

Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning.

Chris Culnane, Helen Treharne, Anthony T. S. Ho

Proceedings of the Digital Watermarking, 6th International Workshop, 2007

A Novel Semi-Fragile Image Watermarking, Authentication and Self-Restoration Technique Using the Slant Transform.

Xi Zhao, Anthony T. S. Ho, Helen Treharne, Vinod Pankajakshan, Chris Culnane, Weina Jiang

Proceedings of the 3rd International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2007), 2007

Combining Mobility with State.

Damien Karkinsky, Steve A. Schneider, Helen Treharne

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Augmenting B with Control Annotations.

Wilson Ifill, Steve A. Schneider, Helen Treharne

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Tank monitoring: a pAMN case study.

Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Formal Aspects Comput., 2006

A New Multi-set Modulation Technique for Increasing Hiding Capacity of Binary Watermark for Print and Scan Processes.

Chris Culnane, Helen Treharne, Anthony T. S. Ho

Proceedings of the Digital Watermarking, 5th International Workshop, 2006

A Layered Behavioural Model of Platelets.

Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

Investigating a file transfer protocol using CSP and B.

Neil Evans, Helen Treharne

Softw. Syst. Model., 2005

CSP theorems for communicating B machines.

Steve A. Schneider, Helen Treharne

Formal Aspects Comput., 2005

Linking Semantic Models to Support CSP || B Consistency Checking.

Neil Evans, Helen Treharne

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

Chunks: Component Verification in CSP||B.

Steve A. Schneider, Helen Treharne, Neil Evans

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

How to Verify Dynamic Properties of Information Systems.

Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Verifying Controlled Components.

Steve A. Schneider, Helen Treharne

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

2003

Composing Specifications Using Communication.

Helen Treharne, Steve A. Schneider, Marchia Bramble

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Communicating B Machines.

Steve A. Schneider, Helen Treharne

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Supplementing a UML Development Process with B.

Helen Treharne

Proceedings of the FME 2002: Formal Methods, 2002

2000

Combining control executives and software specifications.

Helen Treharne

PhD thesis, 2000

How to Drive a B Machine.

Helen Treharne, Steve A. Schneider

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1999

Using a Process Algebra to Control B Operations.

Helen Treharne, Steve A. Schneider

Proceedings of the Integrated Formal Methods, 1999

1998

Test Case Preparation Using a Prototype.

Helen Treharne, J. Draper, Steve A. Schneider

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998