Peter Ryan
List of publications from the DBLP Bibliography Server - FAQ
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 | |
40 | EE | David Lundin, Peter Y. A. Ryan: Human Readable Paper Verification of Prêt à Voter. ESORICS 2008: 379-395 |
39 | 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 |
38 | Roberto Araujo, Peter Y. A. Ryan: Improving the Farnel Voting Scheme. Electronic Voting 2008: 169-184 | |
37 | 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 | ||
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 | |
35 | EE | David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Abstracts Collection -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007 |
34 | EE | David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Executive Summary -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007 |
33 | 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 | ||
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 | |
31 | EE | Jeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995 |
30 | EE | Peter Y. A. Ryan, Steve A. Schneider: Prêt à Voter with Re-encryption Mixes. ESORICS 2006: 313-326 |
29 | EE | Giampaolo Bella, Peter Y. A. Ryan: Editorial message: special track on computer security. SAC 2006: 321-322 |
2005 | ||
28 | EE | Peter Ryan: Prospects for E-Voting. COMPSAC (1) 2005: 501 |
27 | EE | David Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. ESORICS 2005: 118-139 |
26 | EE | Brian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4 |
25 | 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 |
24 | EE | Giampaolo Bella, Peter Y. A. Ryan: Special track on computer security. SAC 2005: 304-305 |
23 | EE | Peter Y. A. Ryan: A variant of the Chaum voter-verifiable scheme. WITS 2005: 81-88 |
22 | EE | Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005) |
21 | EE | Giampaolo 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 | |
19 | EE | Peter Y. A. Ryan: Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes 2004: 264-264 |
18 | 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- |
17 | EE | Peter Y. A. Ryan: Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4 |
16 | 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 |
15 | EE | Giampaolo 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 | |
13 | EE | Peter 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 | ||
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 |
1 | Ali E. Abdallah | [14] |
2 | Roberto Araujo | [38] |
3 | Ragni Ryvold Arnesen | [12] |
4 | Giampaolo Bella | [15] [21] [24] [29] |
5 | Jeremy Bryans | [16] [22] [25] [31] [37] |
6 | Richard Carback | [39] |
7 | David Chaum | [27] [34] [35] [39] [41] |
8 | Jeremy Clark | [39] |
9 | Dan Craigen | [1] |
10 | Theodosis Dimitrakos | [32] [33] [36] |
11 | Aleksander Essex | [39] |
12 | Virgil D. Gligor | [11] |
13 | Dieter Gollmann | [4] [20] |
14 | Li Gong | [4] |
15 | Günter Karjoth | [4] |
16 | Maciej Koutny | [16] [22] [25] [37] |
17 | Miroslaw Kutylowski | [34] [35] [41] |
18 | Bev Littlewood | [31] |
19 | David Lundin | [40] |
20 | Fabio Martinelli | [32] [33] [36] |
21 | Laurent Mazaré | [25] [37] |
22 | John D. McLean | [11] |
23 | Jonathan K. Millen | [11] |
24 | Chris J. Mitchell | [4] |
25 | Refik Molva | [20] |
26 | Stefan Popoveniuc | [39] |
27 | Brian Randell | [26] |
28 | Ronald L. Rivest | [34] [35] [39] [41] |
29 | Pierangela Samarati | [20] |
30 | Steve A. Schneider (Steve Schneider) | [3] [5] [7] [10] [14] [27] [30] [32] [33] [36] |
31 | Emily Shen | [39] |
32 | Alan T. Sherman | [39] |
33 | Lorenzo Strigini | [31] |
34 | Robert J. Stroud | [18] |
35 | John P. Warne | [18] |
36 | Ian S. Welch | [18] |