Peter Y. A. Ryan Coauthor index DBLP Vis pubzone.org

Peter Ryan

University of Luxembourg

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Nasrat Haidar, P. V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, B. Beckles, J. M. Brooke, M. A. S. Jones: Formal Modelling of a Usable Identity Management Solution for Virtual Organisations CoRR abs/1001.5050: (2010)
2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan, Berry Schoenmakers: E-Voting and Identity, Second International Conference, VOTE-ID 2009, Luxembourg, September 7-8, 2009. Proceedings Springer 2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: How Many Election Officials Does It Take to Change an Election? ARSPA-WITS 2009: 211-221
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo 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
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Lundin, Peter Y. A. Ryan: Human Readable Paper Verification of Prêt à Voter. ESORICS 2008: 379-395
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Araujo, Peter Y. A. Ryan: Improving the Farnel Voting Scheme. Electronic Voting 2008: 169-184
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity generalised to transition systems. Int. J. Inf. Sec. 7(6): 421-435 (2008)
2007
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Abstracts Collection -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan: 07311 Executive Summary -- Frontiers of Electronic Voting. Frontiers of Electronic Voting 2007
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
2006
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini: E-voting: Dependability Requirements and Design for Dependability. ARES 2006: 988-995
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan, Steve A. Schneider: Prêt à Voter with Re-encryption Mixes. ESORICS 2006: 313-326
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Peter Y. A. Ryan: Editorial message: special track on computer security. SAC 2006: 321-322
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan, Thea Peacock: Putting the Human Back in Voting Protocols. Security Protocols Workshop 2006: 13-19
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Putting the Human Back in Voting Protocols. Security Protocols Workshop 2006: 20-25
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. IEEE Security & Privacy 4(5): 50-56 (2006)
2005
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Ryan: Prospects for E-Voting. COMPSAC (1) 2005: 501
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Chaum, Peter Y. A. Ryan, Steve A. Schneider: A Practical Voter-Verifiable Election Scheme. ESORICS 2005: 118-139
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian Randell, Peter Y. A. Ryan: Voting Technologies and Trust. Formal Aspects in Security and Trust 2005: 1-4
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan: Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust 2005: 81-95
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Peter Y. A. Ryan: Special track on computer security. SAC 2005: 304-305
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: A variant of the Chaum voter-verifiable scheme. WITS 2005: 81-88
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Bryans, Maciej Koutny, Peter Y. A. Ryan: Modelling Opacity Using Petri Nets. Electr. Notes Theor. Comput. Sci. 121: 101-115 (2005)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry Butler, Peter Ryan, Tracy Chao: Gender and Technology in the Liberal Arts: Aptitudes, Attitudes, and Skills Acquisition. JITE 4: 347-362 (2005)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Peter Y. A. Ryan: Guest Editors' preface. Journal of Computer Security 13(5): 697- (2005)
2004
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierangela 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes 2004: 264-264
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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-
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Of Elections and Electrons. FORMATS/FTRTFT 2004: 3-4
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiampaolo Bella, Peter Ryan: Editoral message: special track on computer security. SAC 2004: 373-374
2003
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Enforcing the Unenforceable. Security Protocols Workshop 2003: 178-182
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTracy Chao, Terry Butler, Peter Ryan: Providing a Technology Edge for Liberal Arts Students. JITE 2: 331-348 (2003)
2002
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Ryan, Ragni Ryvold Arnesen: A Process Algebraic Approach to Security Policies. DBSec 2002: 301-312
2001
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor: Non-Interference: Who Needs It? CSFW 2001: 237-
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. Journal of Computer Security 9(1/2): 75-103 (2001)
2000
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Mathematical Models of Computer Security. FOSAD 2000: 1-62
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Open Questions (Transcript of Discussion). Security Protocols Workshop 2000: 49-53
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteve Schneider, Peter Ryan: Preface. Electr. Notes Theor. Comput. Sci. 32: (2000)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan: Process Algebra and Information Flow. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Y. A. Ryan, Steve A. Schneider: Process Algebra and Non-Interference. CSFW 1999: 214-227
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Ryan: A Genealogy of Non-Interference. CSFW 1996: 158-
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDan Craigen, Peter Ryan: FM91: Formal Methods Workshop. ICSE 1991: 140-142

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)