dblp.uni-trier.dewww.uni-trier.de

Peter Y. A. Ryan

Peter Ryan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
41 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
40EEDavid Lundin, Peter Y. A. Ryan: Human Readable Paper Verification of Prêt à Voter. ESORICS 2008: 379-395
39EEDavid 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
38 Roberto Araujo, Peter Y. A. Ryan: Improving the Farnel Voting Scheme. Electronic Voting 2008: 169-184
37EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
2007
36 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
35EEDavid Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Abstracts Collection -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
34EEDavid Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Executive Summary -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
33EETheodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
2006
32 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
31EEJeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
30EEPeter Y. A. Ryan, Steve A. Schneider: Prêt à Voter with Re-encryption Mixes. ESORICS 2006: 313-326
29EEGiampaolo Bella, Peter Y. A. Ryan: Editorial message: special track on computer security. SAC 2006: 321-322
2005
28EEPeter Ryan: Prospects for E-Voting. COMPSAC (1) 2005: 501
27EEDavid Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. ESORICS 2005: 118-139
26EEBrian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4
25EEJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
24EEGiampaolo Bella, Peter Y. A. Ryan: Special track on computer security. SAC 2005: 304-305
23EEPeter Y. A. Ryan: A variant of the Chaum voter-verifiable scheme. WITS 2005: 81-88
22EEJeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
21EEGiampaolo Bella, Peter Y. A. Ryan: Guest Editors' preface. Journal of Computer Security 13(5): 697- (2005)
2004
20 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
19EEPeter Y. A. Ryan: Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes 2004: 264-264
18EERobert 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-
17EEPeter Y. A. Ryan: Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4
16EEJeremy 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
15EEGiampaolo Bella, Peter Ryan: Editoral message: special track on computer security. SAC 2004: 373-374
2003
14 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
13EEPeter Y. A. Ryan: Enforcing the Unenforceable. Security Protocols Workshop 2003: 178-182
2002
12 Peter Ryan, Ragni Ryvold Arnesen: A Process Algebraic Approach to Security Policies. DBSec 2002: 301-312
2001
11EEPeter 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
9EEPeter Y. A. Ryan: Mathematical Models of Computer Security. FOSAD 2000: 1-62
8EEPeter Y. A. Ryan: Open Questions (Transcript of Discussion). Security Protocols Workshop 2000: 49-53
7EESteve Schneider, Peter Ryan: Preface. Electr. Notes Theor. Comput. Sci. 32: (2000)
6EEPeter Y. A. Ryan: Process Algebra and Information Flow. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
5EEPeter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. CSFW 1999: 214-227
1998
4EEPeter 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
3EEPeter 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
2EEPeter Ryan: A Genealogy of Non-Interference. CSFW 1996: 158-
1991
1EEDan Craigen, Peter Ryan: FM91: Formal Methods Workshop. ICSE 1991: 140-142

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)