| 2026 | AAAI | TRACE: Textual Relevance Augmentation and Contextual Encoding for Multimodal Hate Detection. | Girish A. Koushik, Helen Treharne, Aditya Joshi, Diptesh Kanojia |
| 2025 | WWW | Towards a Robust Framework for Multimodal Hate Detection: A Study on Video | Girish A. Koushik, Diptesh Kanojia, Helen Treharne |
| 2025 | TrustCom | TwinGuard: A Proactive RL-Driven Defence Framework for Digital Twin-Enabled O-RAN Security. | Neha Gupta, Liam O'Driscoll, Taneya Sharma, Mohammad Shojafar, Chuan Heng Foh, Ioana Boureanu, Helen Treharne, Sotiris Moschoyiannis |
| 2023 | AsiaCCS | Formalising Application-Driven Authentication & Access-Control based on Users' Companion Devices. | Chris Culnane, Ioana Boureanu, Jean Snyman, Stephan Wesemeyer, Helen Treharne |
| 2020 | CCS | 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 |
| 2020 | ESORICS | An Interoperable Architecture for Usable Password-Less Authentication. | Matthew Casey, Mark Manulis, Christopher J. P. Newton, Robin Savage, Helen Treharne |
| 2020 | ICDCS | Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. | Muntadher Sallal, Steve Schneider, Matthew Casey, Franois Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright |
| 2018 | ESORICS | Anonymous Single-Sign-On for n Designated Services with Traceability. | Jinguang Han, Liqun Chen, Steve A. Schneider, Helen Treharne, Stephan Wesemeyer |
| 2016 | IFM | Symbolic Reachability Analysis of B Through ProB and LTSmin. | Jens Bendisposto, Philipp Krner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
| 2016 | ISoLA | OnTrack: The Railway Verification Toolset - Extended Abstract. | Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Helen Treharne, Xu Wang |
| 2014 | IFM | Managing LTL Properties in Event-B Refinement. | Steve A. Schneider, Helen Treharne, Heike Wehrheim, David M. Williams |
| 2013 | PST | Policy templates for relationship-based access control. | Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller |
| 2013 | SEFM | 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 |
| 2012 | SEFM | An Optimization Approach for Effective Formalized fUML Model Checking. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2011 | ICFEM | Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. | Islam Abdelhalim, Steve A. Schneider, Helen Treharne |
| 2010 | ICFEM | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
| 2010 | IFM | A CSP Approach to Control in Event-B. | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
| 2010 | SECRYPT | On the Importance of One-time Key Pairs in Buyer-seller Watermarking Protocols. | David M. Williams, Helen Treharne, Anthony T. S. Ho |
| 2009 | IFM | Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. | Steve A. Schneider, Helen Treharne |
| 2008 | ICTAC | Automatic Generation of CSP || B Skeletons from xUML Models. | Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans |
| 2008 | IWDW | Formal Analysis of Two Buyer-Seller Watermarking Protocols. | David M. Williams, Helen Treharne, Anthony T. S. Ho, Adrian Waller |
| 2007 | IFM | Combining Mobility with State. | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
| 2007 | IWDW | Authenticating Binary Text Documents Using a Localising OMAC Watermark Robust to Printing and Scanning. | Chris Culnane, Helen Treharne, Anthony T. S. Ho |
| 2007 | IWDW | Least Distortion Halftone Image Data Hiding Watermarking by Optimizing an Iterative Linear Gain Control Model. | Weina Jiang, Anthony T. S. Ho, Helen Treharne |
| 2006 | ICECCS | A Layered Behavioural Model of Platelets. | Steve A. Schneider, Helen Treharne, Ana Cavalcanti, Jim Woodcock |
| 2006 | IWDW | 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 |
| 2005 | IFM | Chunks: Component Verification in CSP||B. | Steve A. Schneider, Helen Treharne, Neil Evans |
| 2004 | IFM | Verifying Controlled Components. | Steve A. Schneider, Helen Treharne |
| 2004 | SEFM | How to Verify Dynamic Properties of Information Systems. | Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier |
| 2002 | FM | Supplementing a UML Development Process with B. | Helen Treharne |
| 1999 | IFM | Using a Process Algebra to Control B Operations. | Helen Treharne, Steve A. Schneider |