Gavin Lowe

Publication Activity (10 Years)

Years Active: 1995-2022
Publications (10 Years): 10

Top Venues

Int. J. Softw. Tools Technol. Transf.

Concurrency, Security, and Puzzles

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Gavin Lowe
Parameterized verification of systems with component identities, using view abstraction. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Thomas Gibson-Robinson, Gavin Lowe
Symmetry reduction in CSP model checking. Int. J. Softw. Tools Technol. Transf. 21 (5) (2019)
Gavin Lowe
Discovering and correcting a deadlock in a channel implementation. Formal Aspects Comput. 31 (4) (2019)
Gavin Lowe
Lock-free concurrent binomial heaps. J. Log. Algebraic Methods Program. 101 (2018)
Gavin Lowe
View Abstraction for Systems with Component Identities. FM (2018)
Gavin Lowe
Testing for linearizability. Concurr. Comput. Pract. Exp. 29 (4) (2017)
Gavin Lowe
Analysing Lock-Free Linearizable Datatypes Using CSP. Concurrency, Security, and Puzzles (2017)
Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles (2017)
Gavin Lowe
Models for CSP with availability information. Math. Struct. Comput. Sci. 26 (6) (2016)
Gavin Lowe
Concurrent depth-first search algorithms based on Tarjan's Algorithm. Int. J. Softw. Tools Technol. Transf. 18 (2) (2016)
Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe
Verifying layered security protocols. J. Comput. Secur. 23 (3) (2015)
Tomasz Mazur, Gavin Lowe
CSP-based counter abstraction for systems with node identifiers. Sci. Comput. Program. 81 (2014)
Gavin Lowe
Concurrent Depth-First Search Algorithms. TACAS (2014)
Andrew Bate, Gavin Lowe
A Debugger for Communicating Scala Objects. CPA (2012)
Alessandro Armando, Gavin Lowe
Preface. J. Comput. Secur. 20 (1) (2012)
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
Recent Developments in FDR. CAV (2012)
Tomasz Mazur, Gavin Lowe
A type reduction theory for systems with replicated components Log. Methods Comput. Sci. 8 (1) (2012)
Allaa Kamil, Gavin Lowe
Analysing TLS in the strand spaces model. J. Comput. Secur. 19 (5) (2011)
Thomas Gibson-Robinson, Gavin Lowe
Analysing Applications Layered on Unilaterally Authenticating Protocols. Formal Aspects in Security and Trust (2011)
Gavin Lowe
Implementing Generalised Alt - A Case Study in Validated Design using CSP. CPA (2011)
Allaa Kamil, Gavin Lowe
Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust (2010)
Gavin Lowe
Models for CSP with availability information EXPRESS (2010)
Allaa Kamil, Gavin Lowe
Specifying and Modelling Secure Channels in Strand Spaces. Formal Aspects in Security and Trust (2009)
Toby C. Murray, Gavin Lowe
On Refinement-Closed Security Properties and Nondeterministic Compositions. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Tomasz Mazur, Gavin Lowe
Counter Abstraction in the CSP/FDR setting. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Toby C. Murray, Gavin Lowe
Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust (2009)
Gavin Lowe
On CSP Refinement Tests That Run Multiple Copies of a Process. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Gavin Lowe
Extending CSP with Tests for Availability. CPA (2009)
Christopher Dilloway, Gavin Lowe
Specifying Secure Transport Channels. CSF (2008)
Gavin Lowe
Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Aspects Comput. 20 (3) (2008)
Gavin Lowe, Joël Ouaknine
On Timed Models and Full Abstraction. MFPS (2005)
Gordon Thomas Rohrmair, Gavin Lowe
Using data-independence in the analysis of intrusion detection systems. Theor. Comput. Sci. 340 (1) (2005)
Christie Bolton, Gavin Lowe
A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330 (3) (2005)
Philippa J. Hopcroft, Gavin Lowe
Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3 (1) (2004)
Gavin Lowe
Defining information flow quantity. J. Comput. Secur. 12 (3-4) (2004)
Gavin Lowe
Semantic models for information flow. Theor. Comput. Sci. 315 (1) (2004)
Christie Bolton, Gavin Lowe
Analyses of the Reverse Path Forwarding Routing Algorithm. DSN (2004)
Gavin Lowe
Analysing Protocol Subject to Guessing Attacks. J. Comput. Secur. 12 (1) (2004)
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, Ákos Frohner, David L. Groep, Wim Som de Cerff, Martijn Steenbakkers, Gerben Venekamp, Daniel Kouril, Andrew McNab, Olle Mulmo, Mika Silander, Joni Hahkala, Károly Lörentey
Managing Dynamic User Communities in a Grid of Autonomous Resources CoRR (2003)
Christie Bolton, Gavin Lowe
On the Automatic Verification of Non-Standard Measures of Consistency. IWFM (2003)
Philippa J. Broadfoot, Gavin Lowe
On Distributed Security Transactions that Use Secure Transport Protocols. CSFW (2003)
James Heather, Gavin Lowe, Steve A. Schneider
How to Prevent Type Flaw Attacks on Security Protocols. J. Comput. Secur. 11 (2) (2003)
Christie Bolton, Gavin Lowe
A Hierarchy of Failures-Based Models. EXPRESS (2003)
Gordon Thomas Rohrmair, Gavin Lowe
Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec (2002)
Philippa J. Broadfoot, Gavin Lowe
Analysing a Stream Authentication Protocol Using Model Checking. ESORICS (2002)
Gavin Lowe
Quantifying Information Flow. CSFW (2002)
Mei Lin Hui, Gavin Lowe
Fault-Preserving Simplifying Transformations for Security Protocols. J. Comput. Secur. 9 (1/2) (2001)
James Heather, Gavin Lowe, Steve A. Schneider
How to Prevent Type Flaw Attacks on Security Protocols. CSFW (2000)
Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe
Automating Data Independence. ESORICS (2000)
A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe
Data independent verification of crypto-protocols. Electron. Notes Theor. Comput. Sci. 40 (2000)
Mei Lin Hui, Gavin Lowe
Safe Simplifying Transformations for Security Protocols. CSFW (1999)
Gavin Lowe
Towards a Completeness Result for Model Checking of Security Protocols. J. Comput. Secur. 7 (1) (1999)
Gavin Lowe, Jim Davies
Using CSP to Verify Sequential Consistency. Distributed Comput. 12 (2-3) (1999)
Gavin Lowe
Towards a Completeness Result for Model Checking of Security Protocols. CSFW (1998)
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine A. Meadows
Panel Introduction: Varieties of Authentication. CSFW (1998)
Gavin Lowe
Casper: A Compiler for the Analysis of Security Protocols. J. Comput. Secur. 6 (1-2) (1998)
Gavin Lowe
Casper: A Compiler for the Analysis of Security Protocols. CSFW (1997)
Gavin Lowe
A Hierarchy of Authentication Specification. CSFW (1997)
Gavin Lowe, A. W. Roscoe
Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23 (10) (1997)
Gavin Lowe
Some new attacks upon security protocols. CSFW (1996)
Gavin Lowe
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. TACAS (1996)
Sharon Curtis, Gavin Lowe
Proofs with Graphs. Sci. Comput. Program. 26 (1-3) (1996)
Gavin Lowe
Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Softw. Concepts Tools 17 (3) (1996)
Gavin Lowe, Hussein Zedan
Refinement of Complex Systems: A Case Study. Comput. J. 38 (10) (1995)
Gavin Lowe
Probabilistic and Prioritized Models of Timed CSP. Theor. Comput. Sci. 138 (2) (1995)
Sharon Curtis, Gavin Lowe
A Graphical Calculus. MPC (1995)
Gavin Lowe
Scheduling-Oriented Models for Real-Time Systems. Comput. J. 38 (6) (1995)
Gavin Lowe
An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Inf. Process. Lett. 56 (3) (1995)

Gavin Lowe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gavin Lowe