Helen Treharne

94 papers A* 1A 6B 13C 10Journal 31Unranked 29

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