Gavin Lowe

	2008
40		Christopher Dilloway, Gavin Lowe: Specifying Secure Transport Channels. CSF 2008: 210-223
39		Gavin Lowe: Specification of communicating processes: temporal logic versus refusals-based refinement. Formal Asp. Comput. 20(3): 277-294 (2008)
	2006
38		Gavin Lowe, Joël Ouaknine: On Timed Models and Full Abstraction. Electr. Notes Theor. Comput. Sci. 155: 497-519 (2006)
	2005
37		Christie Bolton, Gavin Lowe: A hierarchy of failures-based models: theory and application. Theor. Comput. Sci. 330(3): 407-438 (2005)
36		Gordon Thomas Rohrmair, Gavin Lowe: Using data-independence in the analysis of intrusion detection systems. Theor. Comput. Sci. 340(1): 82-101 (2005)
	2004
35		Christie Bolton, Gavin Lowe: Analyses of the Reverse Path Forwarding Routing Algorithm. DSN 2004: 485-494
34		Christie Bolton, Gavin Lowe: A Hierarchy of Failures-Based Models. Electr. Notes Theor. Comput. Sci. 96: 129-152 (2004)
33		Philippa J. Hopcroft, Gavin Lowe: Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3(1): 2-13 (2004)
32		Gavin Lowe: Analysing Protocol Subject to Guessing Attacks. Journal of Computer Security 12(1): 83-98 (2004)
31		Gavin Lowe: Defining information flow quantity. Journal of Computer Security 12(3-4): 619-653 (2004)
30		Gavin Lowe: Semantic models for information flow. Theor. Comput. Sci. 315(1): 209-256 (2004)
	2003
29		Philippa J. Broadfoot, Gavin Lowe: On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-
28		Christie Bolton, Gavin Lowe: On the Automatic Verification of Non-Standard Measures of Consistency. IWFM 2003
27		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 cs.DC/0306004: (2003)
26		James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. Journal of Computer Security 11(2): 217-244 (2003)
	2002
25		Gavin Lowe: Quantifying Information Flow. CSFW 2002: 18-31
24		Philippa J. Broadfoot, Gavin Lowe: Analysing a Stream Authentication Protocol Using Model Checking. ESORICS 2002: 146-161
23		Gordon Thomas Rohrmair, Gavin Lowe: Using CSP to Detect Insertion and Evasion Possibilities within the Intrusion Detection Area. FASec 2002: 205-220
	2001
22		Mei Lin Hui, Gavin Lowe: Fault-Preserving Simplifying Transformations for Security Protocols. Journal of Computer Security 9(1/2): 3-46 (2001)
	2000
21		James Heather, Gavin Lowe, Steve Schneider: How to Prevent Type Flaw Attacks on Security Protocols. CSFW 2000: 255-268
20		Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190
19		A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: (2000)
	1999
18		Mei Lin Hui, Gavin Lowe: Safe Simplifying Transformations for Security Protocols. CSFW 1999: 32-43
17		Gavin Lowe, Jim Davies: Using CSP to Verify Sequential Consistency. Distributed Computing 12(2-3): 91-103 (1999)
16		Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. Journal of Computer Security 7(1): (1999)
	1998
15		Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows: Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
14		Gavin Lowe: Towards a Completeness Result for Model Checking of Security Protocols. CSFW 1998: 96-105
13		Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. Journal of Computer Security 6(1-2): 53-84 (1998)
	1997
12		Gavin Lowe: Casper: A Compiler for the Analysis of Security Protocols. CSFW 1997: 18-30
11		Gavin Lowe: A Hierarchy of Authentication Specification. CSFW 1997: 31-44
10		Gavin Lowe, A. W. Roscoe: Using CSP to Detect Errors in the TMN Protocol. IEEE Trans. Software Eng. 23(10): 659-669 (1997)
	1996
9		Gavin Lowe: Some new attacks upon security protocols. CSFW 1996: 162-169
8		Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. TACAS 1996: 147-166
7		Sharon Curtis, Gavin Lowe: Proofs with Graphs. Sci. Comput. Program. 26(1-3): 197-216 (1996)
6		Gavin Lowe: Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR. Software - Concepts and Tools 17(3): 93-102 (1996)
	1995
5		Sharon Curtis, Gavin Lowe: A Graphical Calculus. MPC 1995: 214-231
4		Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. Comput. J. 38(10): 785-800 (1995)
3		Gavin Lowe: Scheduling-Oriented Models for Real-Time Systems. Comput. J. 38(6): 443-456 (1995)
2		Gavin Lowe: An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Inf. Process. Lett. 56(3): 131-133 (1995)
1		Gavin Lowe: Probabilistic and Prioritized Models of Timed CSP. Theor. Comput. Sci. 138(2): 315-352 (1995)

Coauthor Index

1	Martín Abadi	[15]
2	Roberto Alfieri	[27]
3	Franck Bonnassieux	[27]
4	Roberto Cecchini	[27]
5	Wim Som de Cerff	[27]
6	Vincenzo Ciaschini	[27]
7	Linda Cornwall	[27]
8	Sharon Curtis	[5] [7]
9	Jim Davies	[17]
10	Christopher Dilloway	[40]
11	Riccardo Focardi	[15]
12	Ákos Frohner	[27]
13	Alberto Gianoli	[27]
14	Dieter Gollmann	[15]
15	Roberto Gorrieri	[15]
16	David L. Groep	[27]
17	Joni Hahkala	[27]
18	James Heather	[21] [26]
19	Philippa J. Hopcroft (Philippa J. Broadfoot)	[19] [20] [24] [27] [29] [33]
20	Mei Lin Hui	[18] [22]
21	Jens Jensen	[27]
22	David P. Kelsey	[27]
23	Daniel Kouril	[27]
24	Károly Lörentey	[27]
25	Christie Marr (Christie Bolton)	[28] [34] [35] [37]
26	Andrew McNab	[27]
27	Catherine Meadows	[15]
28	Olle Mulmo	[27]
29	Joël Ouaknine	[38]
30	Gordon Thomas Rohrmair	[23] [36]
31	A. W. Roscoe (A. William Roscoe, Bill Roscoe)	[10] [19] [20]
32	Steve A. Schneider (Steve Schneider)	[21] [26]
33	Mika Silander	[27]
34	Fabio Spataro	[27]
35	Martijn Steenbakkers	[27]
36	Paul F. Syverson	[15]
37	Gerben Venekamp	[27]
38	Hussein Zedan (Hussein S. M. Zedan)	[4]
39	Luca dell'Agnello	[27]

Colors in the list of coauthors