Peter Y. A. Ryan Vis

Peter Ryan

University of Luxembourg

*	2009
47	EE	Peter Y. A. Ryan, Berry Schoenmakers: E-Voting and Identity, Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings Springer 2009
46	EE	Peter Y. A. Ryan: How Many Election Officials Does It Take to Change an Election? ARSPA-WITS 2009: 211-221
45	EE	Giampaolo Bella, Peter Y. A. Ryan: Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing. Journal of Computer Security 17(3): 237 (2009)
	2008
44		David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: Frontiers of Electronic Voting, 29.07. - 03.08.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
43	EE	David Lundin, Peter Y. A. Ryan: Human Readable Paper Verification of Prêt à Voter. ESORICS 2008: 379-395
42	EE	David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman: Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes. EVT 2008
41		Roberto Araujo, Peter Y. A. Ryan: Improving the Farnel Voting Scheme. Electronic Voting 2008: 169-184
40	EE	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
	2007
39		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Springer 2007
38	EE	David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Abstracts Collection -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
37	EE	David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Executive Summary -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
36	EE	Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
	2006
35		Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider: Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Springer 2006
34	EE	Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
33	EE	Peter Y. A. Ryan, Steve A. Schneider: Prêt à Voter with Re-encryption Mixes. ESORICS 2006: 313-326
32	EE	Giampaolo Bella, Peter Y. A. Ryan: Editorial message: special track on computer security. SAC 2006: 321-322
31	EE	Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. IEEE Security & Privacy 4(5): 50-56 (2006)
	2005
30	EE	Peter Ryan: Prospects for E-Voting. COMPSAC (1) 2005: 501
29	EE	David Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. ESORICS 2005: 118-139
28	EE	Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4
27	EE	Jeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
26	EE	Giampaolo Bella, Peter Y. A. Ryan: Special track on computer security. SAC 2005: 304-305
25	EE	Peter Y. A. Ryan: A variant of the Chaum voter-verifiable scheme. WITS 2005: 81-88
24	EE	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
23	EE	Terry Butler, Peter Ryan, Tracy Chao: Gender and Technology in the Liberal Arts: Aptitudes, Attitudes, and Skills Acquisition. JITE 4: 347-362 (2005)
22	EE	Giampaolo Bella, Peter Y. A. Ryan: Guest Editors' preface. Journal of Computer Security 13(5): 697- (2005)
	2004
21		Pierangela Samarati, Peter Y. A. Ryan, Dieter Gollmann, Refik Molva: Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings Springer 2004
20	EE	Peter Y. A. Ryan: Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes 2004: 264-264
19	EE	Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan: A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. DSN 2004: 453-
18	EE	Peter Y. A. Ryan: Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4
17	EE	Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust 2004: 159-172
16	EE	Giampaolo Bella, Peter Ryan: Editoral message: special track on computer security. SAC 2004: 373-374
	2003
15		Ali E. Abdallah, Peter Ryan, Steve Schneider: Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers Springer 2003
14	EE	Peter Y. A. Ryan: Enforcing the Unenforceable. Security Protocols Workshop 2003: 178-182
13	EE	Tracy Chao, Terry Butler, Peter Ryan: Providing a Technology Edge for Liberal Arts Students. JITE 2: 331-348 (2003)
	2002
12		Peter Ryan, Ragni Ryvold Arnesen: A Process Algebraic Approach to Security Policies. DBSec 2002: 301-312
	2001
11	EE	Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? CSFW 2001: 237-
10		Peter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. Journal of Computer Security 9(1/2): 75-103 (2001)
	2000
9	EE	Peter Y. A. Ryan: Mathematical Models of Computer Security. FOSAD 2000: 1-62
8	EE	Peter Y. A. Ryan: Open Questions (Transcript of Discussion). Security Protocols Workshop 2000: 49-53
7	EE	Steve Schneider, Peter Ryan: Preface. Electr. Notes Theor. Comput. Sci. 32: (2000)
6	EE	Peter Y. A. Ryan: Process Algebra and Information Flow. Electr. Notes Theor. Comput. Sci. 40: (2000)
	1999
5	EE	Peter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. CSFW 1999: 214-227
	1998
4	EE	Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell: Panel Introduction: The Security Impact of Distributed Computing Technologies. CSFW 1998: 164-166
3	EE	Peter Y. A. Ryan, Steve A. Schneider: An Attack on a Recursive Authentication Protocol. A Cautionary Tale. Inf. Process. Lett. 65(1): 7-10 (1998)
	1996
2	EE	Peter Ryan: A Genealogy of Non-Interference. CSFW 1996: 158-
	1991
1	EE	Dan Craigen, Peter Ryan: FM91: Formal Methods Workshop. ICSE 1991: 140-142

Coauthor Index

1	Ali E. Abdallah	[15]
2	Roberto Araujo	[41]
3	Ragni Ryvold Arnesen	[12]
4	Giampaolo Bella	[16] [22] [26] [32] [45]
5	Jeremy Bryans	[17] [24] [27] [34] [40]
6	Terry Butler	[13] [23]
7	Richard Carback	[42]
8	Tracy Chao	[13] [23]
9	David Chaum	[29] [37] [38] [42] [44]
10	Jeremy Clark	[42]
11	Dan Craigen	[1]
12	Theodosis Dimitrakos	[35] [36] [39]
13	Aleksander Essex	[42]
14	Virgil D. Gligor	[11]
15	Dieter Gollmann	[4] [21]
16	Li Gong	[4]
17	Günter Karjoth	[4]
18	Maciej Koutny	[17] [24] [27] [40]
19	Miroslaw Kutylowski	[37] [38] [44]
20	Bev Littlewood	[34]
21	David Lundin	[43]
22	Fabio Martinelli	[35] [36] [39]
23	Laurent Mazaré	[27] [40]
24	John D. McLean	[11]
25	Jonathan K. Millen	[11]
26	Chris J. Mitchell	[4]
27	Refik Molva	[21]
28	Stefan Popoveniuc	[42]
29	Brian Randell	[28] [31]
30	Ronald L. Rivest	[37] [38] [42] [44]
31	Pierangela Samarati	[21]
32	Steve A. Schneider (Steve Schneider)	[3] [5] [7] [10] [15] [29] [33] [35] [36] [39]
33	Berry Schoenmakers	[47]
34	Emily Shen	[42]
35	Alan T. Sherman	[42]
36	Lorenzo Strigini	[34]
37	Robert J. Stroud	[19]
38	John P. Warne	[19]
39	Ian Welch (Ian S. Welch)	[19]

Colors in the list of coauthors