Probabilities and priorities in timed CSP. - Gavin Lowe (1993)

A Graphical Calculus. - Sharon Curtis; Gavin Lowe (MPC, 1995)

Scheduling-Oriented Models for Real-Time Systems. - Gavin Lowe (Comput. J., 1995)

Refinement of Complex Systems: A Case Study. - Gavin Lowe; Hussein Zedan (Comput. J., 1995)

An Attack on the Needham-Schroeder Public-Key Authentication Protocol. - Gavin Lowe (Inf. Process. Lett., 1995)

Probabilistic and Prioritized Models of Timed CSP. - Gavin Lowe (Theor. Comput. Sci., 1995)

Some new attacks upon security protocols. - Gavin Lowe (CSFW, 1996)

Proofs with Graphs. - Sharon Curtis; Gavin Lowe (Sci. Comput. Program., 1996)

Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. - Gavin Lowe (Softw. Concepts Tools, 1996)

A Hierarchy of Authentication Specification. - Gavin Lowe (CSFW, 1997)

Using CSP to Detect Errors in the TMN Protocol. - Gavin Lowe; A. W. Roscoe 001 (IEEE Trans. Software Eng., 1997)

Panel Introduction: Varieties of Authentication. - Roberto Gorrieri; Paul F. Syverson; Martín Abadi; Riccardo Focardi; Dieter Gollmann; Gavin Lowe; Catherine Meadows 001 (CSFW, 1998)

Casper: A Compiler for the Analysis of Security Protocols. - Gavin Lowe (J. Comput. Secur., 1998)

Safe Simplifying Transformations for Security Protocols. - Mei Lin Hui; Gavin Lowe (CSFW, 1999)

Using CSP to Verify Sequential Consistency. - Gavin Lowe; Jim Davies (Distributed Comput., 1999)

Towards a Completeness Result for Model Checking of Security Protocols. - Gavin Lowe (J. Comput. Secur., 1999)

Automating Data Independence. - Philippa J. Broadfoot; Gavin Lowe; A. W. Roscoe 001 (ESORICS, 2000)

Data independent verification of crypto-protocols. - A. W. Roscoe 001; Philippa J. Broadfoot; Gavin Lowe (MFCSIT, 2000)

Fault-Preserving Simplifying Transformations for Security Protocols. - Mei Lin Hui; Gavin Lowe (J. Comput. Secur., 2001)

Quantifying Information Flow. - Gavin Lowe (CSFW, 2002)

Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. - Gordon Thomas Rohrmair; Gavin Lowe (FASec, 2002)

On Distributed Security Transactions that Use Secure Transport Protocols. - Philippa J. Broadfoot; Gavin Lowe (CSFW, 2003)

On the Automatic Verification of Non-Standard Measures of Consistency. - Christie Bolton; Gavin Lowe (IWFM, 2003)

Managing Dynamic User Communities in a Grid of Autonomous Resources - Roberto Alfieri; Roberto Cecchini; Vincenzo Ciaschini; Luca dell'Agnello; Alberto Gianoli; Fabio Spataro; Franck Bonnassieux; Philippa J. Broadfoot; Gavin Lowe; Linda Cornwall; Jens Jensen; David P. Kelsey; et al. (CoRR, 2003)

A Hierarchy of Failures-Based Models. - Christie Bolton; Gavin Lowe (EXPRESS, 2003)

How to Prevent Type Flaw Attacks on Security Protocols. - James Heather; Gavin Lowe; Steve A. Schneider (J. Comput. Secur., 2003)

Analyses of the Reverse Path Forwarding Routing Algorithm. - Christie Bolton; Gavin Lowe (DSN, 2004)

Analysing a stream authentication protocol using model checking. - Philippa J. Hopcroft; Gavin Lowe (Int. J. Inf. Sec., 2004)

Analysing Protocol Subject to Guessing Attacks. - Gavin Lowe (J. Comput. Secur., 2004)

Defining information flow quantity. - Gavin Lowe (J. Comput. Secur., 2004)

Semantic models for information flow. - Gavin Lowe (Theor. Comput. Sci., 2004)

On Timed Models and Full Abstraction. - Gavin Lowe; Joël Ouaknine (MFPS, 2005)

A hierarchy of failures-based models: theory and application. - Christie Bolton; Gavin Lowe (Theor. Comput. Sci., 2005)

Using data-independence in the analysis of intrusion detection systems. - Gordon Thomas Rohrmair; Gavin Lowe (Theor. Comput. Sci., 2005)

On CSP Refinement Tests That Run Multiple Copies of a Process. - Gavin Lowe (AVoCS, 2007)

Counter Abstraction in the CSP/FDR setting. - Tomasz Mazur; Gavin Lowe (AVoCS, 2007)

Specifying Secure Transport Channels. - Christopher Dilloway; Gavin Lowe (CSF, 2008)

On Refinement-Closed Security Properties and Nondeterministic Compositions. - Toby C. Murray; Gavin Lowe (AVoCS, 2008)

Specification of communicating processes: temporal logic versus refusals-based refinement. - Gavin Lowe (Formal Aspects Comput., 2008)

Specifying and Modelling Secure Channels in Strand Spaces. - Allaa Kamil; Gavin Lowe (Formal Aspects in Security and Trust, 2009)

Analysing the Information Flow Properties of Object-Capability Patterns. - Toby C. Murray; Gavin Lowe (Formal Aspects in Security and Trust, 2009)

Extending CSP with Tests for Availability. - Gavin Lowe (CPA, 2009)

Understanding Abstractions of Secure Channels. - Allaa Kamil; Gavin Lowe (Formal Aspects in Security and Trust, 2010)

Models for CSP with availability information - Gavin Lowe (EXPRESS, 2010)

Analysing Security Protocols using CSP. - Gavin Lowe (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Analysing Applications Layered on Unilaterally Authenticating Protocols. - Thomas Gibson-Robinson; Gavin Lowe (Formal Aspects in Security and Trust, 2011)

Implementing Generalised Alt - A Case Study in Validated Design using CSP. - Gavin Lowe (CPA, 2011)

Analysing TLS in the strand spaces model. - Allaa Kamil; Gavin Lowe (J. Comput. Secur., 2011)

Recent Developments in FDR. - Philip J. Armstrong; Michael Goldsmith; Gavin Lowe; Joël Ouaknine; Hristina Palikareva; A. W. Roscoe 001; James Worrell 001 (CAV, 2012)

A Debugger for Communicating Scala Objects. - Andrew Bate; Gavin Lowe (CPA, 2012)

A type reduction theory for systems with replicated components - Tomasz Mazur; Gavin Lowe (Log. Methods Comput. Sci., 2012)

Preface. - Alessandro Armando; Gavin Lowe (J. Comput. Secur., 2012)

Model checking Timed CSP. - Philip J. Armstrong; Gavin Lowe; Joël Ouaknine; Bill Roscoe (HOWARD-60, 2014)

Concurrent Depth-First Search Algorithms. - Gavin Lowe (TACAS, 2014)

CSP-based counter abstraction for systems with node identifiers. - Tomasz Mazur; Gavin Lowe (Sci. Comput. Program., 2014)

Verifying layered security protocols. - Thomas Gibson-Robinson; Allaa Kamil; Gavin Lowe (J. Comput. Secur., 2015)

Concurrent depth-first search algorithms based on Tarjan's Algorithm. - Gavin Lowe (Int. J. Softw. Tools Technol. Transf., 2016)

FDR: From Theory to Industrial Application. - Thomas Gibson-Robinson; Guy H. Broadfoot; Gustavo Carvalho; Philippa J. Hopcroft; Gavin Lowe; Sidney C. Nogueira; Colin O'Halloran; Augusto Sampaio 001 (Concurrency, Security, and Puzzles, 2017)

Analysing Lock-Free Linearizable Datatypes Using CSP. - Gavin Lowe (Concurrency, Security, and Puzzles, 2017)

Testing for linearizability. - Gavin Lowe (Concurr. Comput. Pract. Exp., 2017)

View Abstraction for Systems with Component Identities. - Gavin Lowe (FM, 2018)

Lock-free concurrent binomial heaps. - Gavin Lowe (J. Log. Algebraic Methods Program., 2018)

Discovering and correcting a deadlock in a channel implementation. - Gavin Lowe (Formal Aspects Comput., 2019)

Symmetry reduction in CSP model checking. - Thomas Gibson-Robinson; Gavin Lowe (Int. J. Softw. Tools Technol. Transf., 2019)

Parameterized verification of systems with component identities, using view abstraction. - Gavin Lowe (Int. J. Softw. Tools Technol. Transf., 2022)