Gavin Lowe

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Analysing a Stream Authentication Protocol Using Model Checking	2022-02-16	Paper
View abstraction for systems with component identities	2021-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q4964001	2021-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q5137880	2020-12-03	Paper
Discovering and correcting a deadlock in a channel implementation	2019-09-04	Paper
Lock-free concurrent binomial heaps	2018-11-01	Paper
FDR: from theory to industrial application	2018-03-26	Paper
Analysing lock-free linearizable datatypes using CSP	2018-03-26	Paper
Models for CSP with availability information	2017-04-04	Paper
On CSP refinement tests that run multiple copies of a process	2016-06-06	Paper
Counter abstraction in the CSP/FDR setting	2016-06-06	Paper
On Refinement-Closed Security Properties and Nondeterministic Compositions	2015-03-18	Paper
On timed models and full abstraction	2013-10-08	Paper
A hierarchy of failures-based models	2013-09-09	Paper
A type reduction theory for systems with replicated components	2012-04-03	Paper
Specification of communicating processes: temporal logic versus refusals-based refinement	2008-06-25	Paper
Using data-independence in the analysis of intrusion detection systems	2005-06-30	Paper
A hierarchy of failures-based models: theory and application	2005-02-22	Paper
Semantic models for information flow	2004-08-06	Paper
Probabilistic and prioritized models of timed CSP	1997-02-28	Paper
An attack on the Needham-Schroeder public-key authentication protocol	1997-02-28	Paper
Proofs with graphs	1996-07-03	Paper

Research outcomes over time

This page was built for person: Gavin Lowe