Gavin Lowe - RankMe

73 papers A* 1A 6B 3Journal 33Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Analysing a Library of Concurrency Primitives using CSP. Formal Aspects Comput. Gavin Lowe
2022	J	`jnl`	Parameterized verification of systems with component identities, using view abstraction. Int. J. Softw. Tools Technol. Transf. Gavin Lowe
2019	J	`jnl`	Discovering and correcting a deadlock in a channel implementation. Formal Aspects Comput. Gavin Lowe
2019	J	`jnl`	Symmetry reduction in CSP model checking. Int. J. Softw. Tools Technol. Transf. Thomas Gibson-Robinson, Gavin Lowe
2018	J	`jnl`	Lock-free concurrent binomial heaps. J. Log. Algebraic Methods Program. Gavin Lowe
2018	B	`conf`	View Abstraction for Systems with Component Identities. FM Gavin Lowe
2017	—	`conf`	Analysing Lock-Free Linearizable Datatypes Using CSP. Concurrency, Security, and Puzzles Gavin Lowe
2017	—	`conf`	FDR: From Theory to Industrial Application. Concurrency, Security, and Puzzles Thomas Gibson-Robinson, Guy H. Broadfoot, Gustavo Carvalho, Philippa J. Hopcroft, Gavin Lowe, Sidney C. Nogueira, Colin O'Halloran, Augusto Sampaio
2017	J	`jnl`	Testing for linearizability. Concurr. Comput. Pract. Exp. Gavin Lowe
2016	J	`jnl`	Concurrent depth-first search algorithms based on Tarjan's Algorithm. Int. J. Softw. Tools Technol. Transf. Gavin Lowe
2016	J	`jnl`	Models for CSP with availability information. Math. Struct. Comput. Sci. Gavin Lowe
2015	J	`jnl`	Verifying layered security protocols. J. Comput. Secur. Thomas Gibson-Robinson, Allaa Kamil, Gavin Lowe
2014	J	`jnl`	CSP-based counter abstraction for systems with node identifiers. Sci. Comput. Program. Tomasz Mazur, Gavin Lowe
2014	A	`conf`	Concurrent Depth-First Search Algorithms. TACAS Gavin Lowe
2014	—	`ch.`	Model checking Timed CSP. HOWARD-60 Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe
2012	—	`conf`	A Debugger for Communicating Scala Objects. CPA Andrew Bate, Gavin Lowe
2012	J	`jnl`	A type reduction theory for systems with replicated components Log. Methods Comput. Sci. Tomasz Mazur, Gavin Lowe
2012	J	`jnl`	Preface. J. Comput. Secur. Alessandro Armando, Gavin Lowe
2012	A*	`conf`	Recent Developments in FDR. CAV Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2011	—	`conf`	Analysing Applications Layered on Unilaterally Authenticating Protocols. Formal Aspects in Security and Trust Thomas Gibson-Robinson, Gavin Lowe
2011	—	`ch.`	Analysing Security Protocols using CSP. Formal Models and Techniques for Analyzing Security Protocols Gavin Lowe
2011	J	`jnl`	Analysing TLS in the strand spaces model. J. Comput. Secur. Allaa Kamil, Gavin Lowe
2011	—	`ed.`	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers ARSPA-WITS Alessandro Armando, Gavin Lowe
2011	—	`conf`	Implementing Generalised Alt - A Case Study in Validated Design using CSP. CPA Gavin Lowe
2010	—	`conf`	Models for CSP with availability information EXPRESS Gavin Lowe
2010	—	`conf`	Understanding Abstractions of Secure Channels. Formal Aspects in Security and Trust Allaa Kamil, Gavin Lowe
2009	—	`conf`	Analysing the Information Flow Properties of Object-Capability Patterns. Formal Aspects in Security and Trust Toby C. Murray, Gavin Lowe
2009	—	`conf`	Extending CSP with Tests for Availability. CPA Gavin Lowe
2009	—	`conf`	Specifying and Modelling Secure Channels in Strand Spaces. Formal Aspects in Security and Trust Allaa Kamil, Gavin Lowe
2008	—	`conf`	On Refinement-Closed Security Properties and Nondeterministic Compositions. AVoCS Toby C. Murray, Gavin Lowe
2008	J	`jnl`	Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Aspects Comput. Gavin Lowe
2008	A	`conf`	Specifying Secure Transport Channels. CSF Christopher Dilloway, Gavin Lowe
2007	—	`conf`	Counter Abstraction in the CSP/FDR setting. AVoCS Tomasz Mazur, Gavin Lowe
2007	—	`conf`	On CSP Refinement Tests That Run Multiple Copies of a Process. AVoCS Gavin Lowe
2005	J	`jnl`	A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. Christie Bolton, Gavin Lowe
2005	B	`conf`	On Timed Models and Full Abstraction. MFPS Gavin Lowe, Joël Ouaknine
2005	J	`jnl`	Using data-independence in the analysis of intrusion detection systems. Theor. Comput. Sci. Gordon Thomas Rohrmair, Gavin Lowe
2004	A	`conf`	Analyses of the Reverse Path Forwarding Routing Algorithm. DSN Christie Bolton, Gavin Lowe
2004	J	`jnl`	Analysing Protocol Subject to Guessing Attacks. J. Comput. Secur. Gavin Lowe
2004	J	`jnl`	Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. Philippa J. Hopcroft, Gavin Lowe
2004	J	`jnl`	Defining information flow quantity. J. Comput. Secur. Gavin Lowe
2004	J	`jnl`	Semantic models for information flow. Theor. Comput. Sci. Gavin Lowe
2003	—	`conf`	A Hierarchy of Failures-Based Models. EXPRESS Christie Bolton, Gavin Lowe
2003	J	`jnl`	How to Prevent Type Flaw Attacks on Security Protocols. J. Comput. Secur. James Heather, Gavin Lowe, Steve A. Schneider
2003	J	`jnl`	Managing Dynamic User Communities in a Grid of Autonomous Resources CoRR 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
2003	—	`conf`	On Distributed Security Transactions that Use Secure Transport Protocols. CSFW Philippa J. Broadfoot, Gavin Lowe
2003	—	`conf`	On the Automatic Verification of Non-Standard Measures of Consistency. IWFM Christie Bolton, Gavin Lowe
2002	A	`conf`	Analysing a Stream Authentication Protocol Using Model Checking. ESORICS Philippa J. Broadfoot, Gavin Lowe
2002	—	`conf`	Quantifying Information Flow. CSFW Gavin Lowe
2002	—	`conf`	Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec Gordon Thomas Rohrmair, Gavin Lowe
2001	J	`jnl`	Fault-Preserving Simplifying Transformations for Security Protocols. J. Comput. Secur. Mei Lin Hui, Gavin Lowe
2000	A	`conf`	Automating Data Independence. ESORICS Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe
2000	—	`conf`	Data independent verification of crypto-protocols. MFCSIT A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe
2000	—	`conf`	How to Prevent Type Flaw Attacks on Security Protocols. CSFW James Heather, Gavin Lowe, Steve A. Schneider
1999	—	`conf`	Safe Simplifying Transformations for Security Protocols. CSFW Mei Lin Hui, Gavin Lowe
1999	J	`jnl`	Towards a Completeness Result for Model Checking of Security Protocols. J. Comput. Secur. Gavin Lowe
1999	J	`jnl`	Using CSP to Verify Sequential Consistency. Distributed Comput. Gavin Lowe, Jim Davies
1998	J	`jnl`	Casper: A Compiler for the Analysis of Security Protocols. J. Comput. Secur. Gavin Lowe
1998	—	`conf`	Panel Introduction: Varieties of Authentication. CSFW Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows
1998	—	`conf`	Towards a Completeness Result for Model Checking of Security Protocols. CSFW Gavin Lowe
1997	—	`conf`	A Hierarchy of Authentication Specification. CSFW Gavin Lowe
1997	—	`conf`	Casper: A Compiler for the Analysis of Security Protocols. CSFW Gavin Lowe
1997	J	`jnl`	Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. Gavin Lowe, A. W. Roscoe
1996	A	`conf`	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. TACAS Gavin Lowe
1996	J	`jnl`	Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Softw. Concepts Tools Gavin Lowe
1996	J	`jnl`	Proofs with Graphs. Sci. Comput. Program. Sharon Curtis, Gavin Lowe
1996	—	`conf`	Some new attacks upon security protocols. CSFW Gavin Lowe
1995	B	`conf`	A Graphical Calculus. MPC Sharon Curtis, Gavin Lowe
1995	J	`jnl`	An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Inf. Process. Lett. Gavin Lowe
1995	J	`jnl`	Probabilistic and Prioritized Models of Timed CSP. Theor. Comput. Sci. Gavin Lowe
1995	J	`jnl`	Refinement of Complex Systems: A Case Study. Comput. J. Gavin Lowe, Hussein Zedan
1995	J	`jnl`	Scheduling-Oriented Models for Real-Time Systems. Comput. J. Gavin Lowe
1993	—	`—`	Probabilities and priorities in timed CSP. Gavin Lowe