Peter Y. A. Ryan

216 papers A* 5A 10B 2C 5Misc 9Journal 69Unranked 97

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Secure authentication and traceability of physical objects. Comput. Secur. Mónica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova
2025	Misc	`conf`	High-Throughput EdDSA Verification on Intel Processors with Advanced Vector Extensions. SAC Bowen Zhang, Hao Cheng, Johann Großschädl, Peter Y. A. Ryan
2025	J	`jnl`	High-Throughput EdDSA Verification on Intel Processors with Advanced Vector Extensions. IACR Cryptol. ePrint Arch. Bowen Zhang, Hao Cheng, Johann Großschädl, Peter Y. A. Ryan
2025	—	`conf`	Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation. ESORICS (2) Aditya Damodaran, Simon Rastikian, Peter B. Rønne, Peter Y. A. Ryan
2024	—	`conf`	"You Shall Not Abstain!" A Formal Study of Forced Participation. FC Workshops Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan
2024	—	`conf`	An Evaluation of Post-quantum and Hybrid Noise Protocol Variants on Mobile Devices. SecITC Joshua Renckens, Peter B. Rønne, Johann Großschädl, Peter Y. A. Ryan
2024	—	`conf`	Designing Human-centric security protocols. SecITC Peter Y. A. Ryan
2024	—	`conf`	Direct and Transparent Voter Verification with Everlasting Receipt-Freeness. E-Vote-ID Rafieh Mosaheb, Peter B. Rønne, Peter Y. A. Ryan, Sara Sarfaraz
2024	—	`ed.`	Eight International Joint Conference on Electronic Voting, E-Vote-ID 2024, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings E-Vote-ID (GI) Melanie Volkamer, David Duenas-Cid, Peter B. Roenne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodríguez-Pérez, Iuliia Spycher-Krivonosova, Michael Kirsten, Alexandre Debant, Nicole J. Goodman
2024	J	`jnl`	Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation. IACR Cryptol. ePrint Arch. Aditya Damodaran, Simon Rastikian, Peter B. Rønne, Peter Y. A. Ryan
2024	—	`conf`	Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. E-Vote-ID Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga
2024	J	`jnl`	Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). CoRR Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga
2024	A*	`conf`	RISC-V Instruction Set Extensions for Multi-Precision Integer Arithmetic: A Case Study on Post-Quantum Key Exchange Using CSIDH-512. DAC Hao Cheng, Georgios Fotiadis, Johann Großschädl, Daniel Page, Thinh Hung Pham, Peter Y. A. Ryan
2024	A	`conf`	SweetPAKE: Key exchange with decoy passwords. AsiaCCS Afonso Arriaga, Peter Y. A. Ryan, Marjan Skrobot
2024	J	`jnl`	SweetPAKE: Key exchange with decoy passwords. IACR Cryptol. ePrint Arch. Afonso Arriaga, Peter Y. A. Ryan, Marjan Skrobot
2024	—	`conf`	The peasants are revoting, sire, and at random times. E-Vote-ID (GI) Enka Blanchard, Peter Y. A. Ryan
2024	C	`conf`	Verifying Artifact Authenticity with Unclonable Optical Tags. SECRYPT Mónica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova
2024	—	`conf`	X2065: Lightweight Key Exchange for the Internet of Things. CPSS@AsiaCCS Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan
2023	J	`jnl`	A Declaration of Software Independence. CoRR Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2023	—	`ed.`	Electronic Voting: 8th International Joint Conference, E-Vote-ID 2023, Luxembourg City, Luxembourg, October 3-6, 2023, Proceedings E-Vote-ID Melanie Volkamer, David Duenas-Cid, Peter B. Rønne, Peter Y. A. Ryan, Jurlind Budurushi, Oksana Kulyk, Adrià Rodríguez-Pérez, Iuliia Spycher-Krivonosova
2023	J	`jnl`	Introduction to the Special Issue on Ransomware. DTRAP Budi Arief, Lena Yuryna Connolly, Julio C. Hernandez-Castro, Allan Liska, Peter Y. A. Ryan
2023	—	`conf`	IoTDisco: Strong yet Lightweight End-to-End Security for the Internet of Constrained Things. MSPN Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan
2023	J	`jnl`	Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2023	—	`conf`	Taphonomical Security: DNA Information with a Foreseeable Lifespan. FICC (2) Fatima-Ezzahra El Orche, Marcel Hollenstein, Sarah Houdaigoui, David Naccache, Daria Pchelina, Peter B. Rønne, Peter Y. A. Ryan, Julien Weibel, Robert Weil
2022	J	`jnl`	Estonian Internet voting with anonymous credentials. Turkish J. Electr. Eng. Comput. Sci. Isa Sertkaya, Peter B. Rønne, Peter Y. A. Ryan
2022	J	`jnl`	Highly Vectorized SIKE for AVX-512. IACR Trans. Cryptogr. Hardw. Embed. Syst. Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan
2022	—	`ed.`	Innovative Security Solutions for Information Technology and Communications - 14th International Conference, SecITC 2021, Virtual Event, November 25-26, 2021, Revised Selected Papers SecITC Peter Y. A. Ryan, Cristian Toma
2022	A	`conf`	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2022	J	`jnl`	Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
2022	—	`conf`	Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol. E-Vote-ID Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, Peter B. Rønne, Gergei Bana, David Naccache, Peter Y. A. Ryan, Marco Biroli, Megi Dervishi, Hugo Waltsburger
2022	—	`conf`	Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. STAST Yan Kim, Wojciech Jamroga, Peter Y. A. Ryan
2022	J	`jnl`	Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
2021	—	`conf`	"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability. E-VOTE-ID Marie-Laure Zollinger, Ehsan Estaji, Peter Y. A. Ryan, Karola Marky
2021	—	`conf`	A Declaration of Software Independence. Protocols, Strands, and Logic Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2021	A	`conf`	AVRNTRU: Lightweight NTRU-based Post-Quantum Cryptography for 8-bit AVR Microcontrollers. DATE Hao Cheng, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
2021	J	`jnl`	Batching CSIDH Group Actions using AVX-512. IACR Trans. Cryptogr. Hardw. Embed. Syst. Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan, Peter B. Rønne
2021	—	`conf`	Cast-as-Intended: A Formal Definition and Case Studies. Financial Cryptography Workshops Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth
2021	J	`jnl`	Convergence Voting: From Pairwise Comparisons to Consensus. CoRR Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan
2021	J	`jnl`	Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability. CoRR Peter B. Rønne, Peter Y. A. Ryan, Marie-Laure Zollinger
2021	J	`jnl`	Investigating Usability and User Experience of Individually Verifiable Internet Voting Schemes. ACM Trans. Comput. Hum. Interact. Karola Marky, Marie-Laure Zollinger, Peter B. Roenne, Peter Y. A. Ryan, Tim Grube, Kai Kunze
2021	J	`jnl`	PakeMail: authentication and key management in decentralized secure email and messaging via PAKE. CoRR Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
2021	Misc	`conf`	Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. ACISP Geoffroy Couteau, A. W. Roscoe, Peter Y. A. Ryan
2021	J	`jnl`	Preservation of DNA Privacy During the Large Scale Detection of COVID. IACR Cryptol. ePrint Arch. Marcel Hollenstein, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Robert Weil, Ofer Yifrach-Stav
2021	—	`conf`	Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. STM Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Rønne, Mark Ryan, Peter Y. A. Ryan
2021	J	`jnl`	Security Characterization of J-PAKE and its Variants. IACR Cryptol. ePrint Arch. Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
2021	J	`jnl`	Taphonomical Security: (DNA) Information with Foreseeable Lifespan. IACR Cryptol. ePrint Arch. Fatima-Ezzahra El Orche, Marcel Hollenstein, Sarah Houdaigoui, David Naccache, Daria Pchelina, Peter B. Rønne, Peter Y. A. Ryan, Julien Weibel, Robert Weil
2021	J	`jnl`	Time, Privacy, Robustness, Accuracy: Trade Offs for the Open Vote Network Protocol. IACR Cryptol. ePrint Arch. Gergei Bana, Marco Biroli, Megi Dervishi, Fatima-Ezzahra El Orche, Rémi Géraud-Stewart, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Hugo Waltsburger
2021	J	`jnl`	User Experience Design for E-Voting: How mental models align with security mechanisms. CoRR Marie-Laure Zollinger, Verena Distler, Peter B. Rønne, Peter Y. A. Ryan, Carine Lallemand, Vincent Koenig
2021	—	`conf`	Who Was that Masked Voter? The Tally Won't Tell! E-VOTE-ID Peter Y. A. Ryan, Peter B. Roenne, Dimiter Ostrev, Fatima-Ezzahra El Orche, Najmeh Soroush, Philip B. Stark
2020	J	`jnl`	A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
2020	Misc	`conf`	High-Throughput Elliptic Curve Cryptography Using AVX2 Vector Instructions. SAC Hao Cheng, Johann Großschädl, Jiaqi Tian, Peter B. Rønne, Peter Y. A. Ryan
2020	C	`conf`	Lightweight Post-quantum Key Encapsulation for 8-bit AVR Microcontrollers. CARDIS Hao Cheng, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
2020	J	`jnl`	Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020	—	`conf`	PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. ICETE (Selected Papers) Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
2020	J	`jnl`	Post-Quantum Anonymous Veto Networks. IACR Cryptol. ePrint Arch. Jintai Ding, Doug Emery, Johannes Müller, Peter Y. A. Ryan, Vonn Kee Wong
2020	J	`jnl`	Preservation of DNA Privacy During the Large Scale Detection of COVID-19. CoRR Marcel Hollenstein, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Robert Weil, Ofer Yifrach-Stav
2020	—	`conf`	Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. E-VOTE-ID Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush
2020	—	`conf`	Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme. Financial Cryptography Workshops Marie-Laure Zollinger, Peter B. Rønne, Peter Y. A. Ryan
2020	—	`conf`	Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
2020	A	`conf`	Universal Unconditional Verifiability in E-Voting without Trusted Parties. CSF Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2020	—	`conf`	Verifiable Inner Product Encryption Scheme. Public Key Cryptography (1) Najmeh Soroush, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2020	J	`jnl`	Verifiable Inner Product Encryption Scheme. IACR Cryptol. ePrint Arch. Najmeh Soroush, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2019	C	`conf`	A Lightweight Implementation of NTRU Prime for the Post-quantum Internet of Things. WISTP Hao Cheng, Daniel Dinu, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
2019	Misc	`conf`	An Offline Dictionary Attack Against zkPAKE Protocol. SEC José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
2019	—	`conf`	Authenticated Key Distribution: When the Coupon Collector is Your Enemy. SECITC Marc Beunardeau, Fatima-Ezzahra El Orche, Diana Maimut, David Naccache, Peter B. Rønne, Peter Y. A. Ryan
2019	J	`jnl`	Authenticated Key Distribution: When the Coupon Collector is Your Enemy. IACR Cryptol. ePrint Arch. Marc Beunardeau, Fatima-Ezzahra El Orche, Diana Maimut, David Naccache, Peter B. Rønne, Peter Y. A. Ryan
2019	J	`jnl`	Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. CoRR Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen, Peter Y. A. Ryan
2019	—	`ed.`	Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I ESORICS (1) Kazue Sako, Steve A. Schneider, Peter Y. A. Ryan
2019	—	`ed.`	Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II ESORICS (2) Kazue Sako, Steve A. Schneider, Peter Y. A. Ryan
2019	J	`jnl`	Fusion of Mobile Device Signal Data Attributes Enables Multi-Protocol Entity Resolution and Enhanced Large-Scale Tracking. CoRR Brian Thompson, Dave Cedel, Jeremy Martin, Peter Y. A. Ryan, Sarah Kern
2019	—	`conf`	How to Assess the Usability Metrics of E-Voting Schemes. Financial Cryptography Workshops Karola Marky, Marie-Laure Zollinger, Markus Funk, Peter Y. A. Ryan, Max Mühlhäuser
2019	—	`conf`	NoCry: No More Secure Encryption Keys for Cryptographic Ransomware. ETAA@ESORICS Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2019	A*	`conf`	Novel Collaborative Filtering Recommender Friendly to Privacy Protection. IJCAI Jun Wang, Qiang Tang, Afonso Arriaga, Peter Y. A. Ryan
2019	J	`jnl`	Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. IACR Cryptol. ePrint Arch. Geoffroy Couteau, Bill Roscoe, Peter Y. A. Ryan
2019	—	`conf`	Risk-Limiting Tallies. E-VOTE-ID Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019	J	`jnl`	Risk-Limiting Tallies. CoRR Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
2019	A*	`conf`	Security - Visible, Yet Unseen? CHI Verena Distler, Marie-Laure Zollinger, Carine Lallemand, Peter B. Rønne, Peter Y. A. Ryan, Vincent Koenig
2018	—	`conf`	A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. ICISSP (Revised Selected Papers) Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
2018	J	`jnl`	A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. CoRR Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018	C	`conf`	A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. ICISSP Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
2018	—	`conf`	An Offline Dictionary Attack against zkPAKE Protocol. WISEC José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
2018	J	`jnl`	CryptoRec: Secure Recommendations as a Service. CoRR Jun Wang, Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
2018	A*	`conf`	Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning. CCS Jun Wang, Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
2018	J	`jnl`	From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. CoRR Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
2018	—	`conf`	HoneyPAKEs (Transcript of Discussion). Security Protocols Workshop Peter Y. A. Ryan
2018	—	`conf`	HoneyPAKEs. Security Protocols Workshop José Becerra, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
2018	—	`conf`	Next Generation Cryptographic Ransomware. NordSec Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2018	B	`conf`	No Random, No Ransom: A Key to Stop Cryptographic Ransomware. DIMVA Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2018	—	`conf`	Revisiting Deniability in Quantum Key Exchange - via Covert Communication and Entanglement Distillation. NordSec Arash Atashpendar, Guru-Vamsi Policharla, Peter B. Rønne, Peter Y. A. Ryan
2018	J	`jnl`	Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation. CoRR Arash Atashpendar, Guru-Vamsi Policharla, Peter B. Rønne, Peter Y. A. Ryan
2018	—	`conf`	Security Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware. CECC Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2017	—	`conf`	A Brief History of Security Protocols. Concurrency, Security, and Puzzles Peter Y. A. Ryan
2017	J	`jnl`	A Vote of Confidence? IEEE Secur. Priv. Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2017	—	`conf`	Auditable PAKEs: Approaching Fair Exchange Without a TTP (Transcript of Discussion). Security Protocols Workshop Peter Y. A. Ryan
2017	—	`conf`	Auditable PAKEs: Approaching Fair Exchange Without a TTP. Security Protocols Workshop A. W. Roscoe, Peter Y. A. Ryan
2017	—	`conf`	Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware. CECC Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
2017	—	`ed.`	Electronic Voting - First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings E-VOTE-ID Robert Krimmer, Melanie Volkamer, Jordi Barrat, Josh Benaloh, Nicole J. Goodman, Peter Y. A. Ryan, Vanessa Teague
2017	—	`ed.`	Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers Financial Cryptography Workshops Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y. A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson
2017	—	`conf`	Public Evidence from Secret Ballots. E-VOTE-ID Matthew Bernhard, Josh Benaloh, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
2017	J	`jnl`	Public Evidence from Secret Ballots. CoRR Josh Benaloh, Matthew Bernhard, J. Alex Halderman, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora, Dan S. Wallach
2017	—	`conf`	Securing the Foundations of Democracy. SECITC Peter Y. A. Ryan
2017	—	`conf`	Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals. WIFS Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh
2017	J	`jnl`	Trustworthy exams without trusted parties. Comput. Secur. Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2017	—	`conf`	Using Selene to Verify Your Vote in JCJ. Financial Cryptography Workshops Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2016	J	`jnl`	(Universal) Unconditional Verifiability in E-Voting without Trusted Parties. CoRR Gina Gallegos-García, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2016	J	`jnl`	(Universal) Unconditional Verifiability in E-Voting without Trusted Parties. IACR Cryptol. ePrint Arch. Gina Gallegos-García, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
2016	—	`conf`	Crypto Santa. The New Codebreakers Peter Y. A. Ryan
2016	—	`conf`	Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan
2016	—	`ed.`	Financial Cryptography and Data Security - FC 2016 International Workshops, BITCOIN, VOTING, and WAHC, Christ Church, Barbados, February 26, 2016, Revised Selected Papers Financial Cryptography Workshops Jeremy Clark, Sarah Meiklejohn, Peter Y. A. Ryan, Dan S. Wallach, Michael Brenner, Kurt Rohloff
2016	—	`conf`	Selene: Voting with Transparent Verifiability and Coercion-Mitigation. Financial Cryptography Workshops Peter Y. A. Ryan, Peter B. Rønne, Vincenzo Iovino
2016	—	`ed.`	The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday The New Codebreakers Peter Y. A. Ryan, David Naccache, Jean-Jacques Quisquater
2015	Misc	`conf`	A Secure Exam Protocol Without Trusted Parties. SEC Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2015	—	`ed.`	Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I ESORICS (1) Günther Pernul, Peter Y. A. Ryan, Edgar R. Weippl
2015	—	`ed.`	Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part II ESORICS (2) Günther Pernul, Peter Y. A. Ryan, Edgar R. Weippl
2015	J	`jnl`	End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2015	J	`jnl`	End-to-end verifiability. CoRR Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora
2015	—	`conf`	Information Leakage Due to Revealing Randomly Selected Bits. Security Protocols Workshop Arash Atashpendar, A. W. Roscoe, Peter Y. A. Ryan
2015	J	`jnl`	Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Manifestos Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
2015	J	`jnl`	Selene: Voting with Transparent Verifiability and Coercion-Mitigation. IACR Cryptol. ePrint Arch. Peter Y. A. Ryan, Peter B. Rønne, Vincenzo Iovino
2015	J	`jnl`	vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	J	`jnl`	DoubleMod and SingleMod: Simple Randomized Secret-Key Encryption with Bounded Homomorphicity. IACR Cryptol. ePrint Arch. Dhananjay S. Phatak, Qiang Tang, Alan T. Sherman, Warren D. Smith, Peter Y. A. Ryan, Konstantinos Kalpakis
2014	—	`conf`	Faster Print on Demand for Prêt à Voter. EVT/WOTE Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2014	C	`conf`	Formal Analysis of Electronic Exams. SECRYPT Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014	—	`conf`	Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
2014	J	`jnl`	Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Reports Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
2014	—	`conf`	Remark!: A Secure Protocol for Remote Exams. Security Protocols Workshop Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
2014	—	`conf`	Trapdoor Privacy in Asymmetric Searchable Encryption Schemes. AFRICACRYPT Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
2014	J	`jnl`	vVote: a Verifiable Voting System (DRAFT). CoRR Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
2013	A*	`conf`	Caveat Coercitor: Coercion-Evidence in Electronic Voting. IEEE Symposium on Security and Privacy Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
2013	—	`conf`	Enhancements to Prepare-and-Measure Based QKD Protocols. Security Protocols Workshop Peter Y. A. Ryan, Bruce Christianson
2013	—	`conf`	Enhancements to Prepare-and-Measure-Based QKD Protocols (Transcript of Discussion). Security Protocols Workshop Peter Y. A. Ryan
2013	J	`jnl`	Generalized information theory for hints. Int. J. Approx. Reason. Marc Pouly, Jürg Kohlas, Peter Y. A. Ryan
2013	—	`conf`	Proving Prêt à Voter Receipt Free Using Computational Security Models. EVT/WOTE Dalia Khader, Qiang Tang, Peter Y. A. Ryan
2013	—	`conf`	Prêt à Voter Providing Everlasting Privacy. VoteID Denise Demirel, Maria Henning, Jeroen van de Graaf, Peter Y. A. Ryan, Johannes Buchmann
2013	—	`conf`	Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. EVT/WOTE Morgan Llewellyn, Steve A. Schneider, Zhe Xia, Chris Culnane, James Heather, Peter Y. A. Ryan, Sriramkrishnan Srinivasan
2013	—	`conf`	Verifiable Postal Voting. Security Protocols Workshop Josh Benaloh, Peter Y. A. Ryan, Vanessa Teague
2012	—	`conf`	A Fair and Robust Voting System by Broadcast. Electronic Voting Dalia Khader, Ben Smyth, Peter Y. A. Ryan, Feng Hao
2012	—	`conf`	A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. Electronic Voting Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan, Vanessa Teague, Roland Wen, Zhe Xia
2012	—	`conf`	Foreword from the Programme Chairs - STAST 2012. STAST Lizzie Coles-Kemp, Peter Y. A. Ryan
2012	—	`conf`	Using Prêt à Voter in Victoria State Elections. EVT/WOTE Craig Burton, Chris Culnane, James Heather, Thea Peacock, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague, Roland Wen, Zhe Xia, Sriramkrishnan Srinivasan
2011	—	`conf`	A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems. REVOTE Simon Kramer, Peter Y. A. Ryan
2011	—	`conf`	Feasibility Analysis of Prêt à Voter for German Federal Elections. VoteID Denise Demirel, Maria Henning, Peter Y. A. Ryan, Steve A. Schneider, Melanie Volkamer
2011	—	`conf`	How to Sync with Alice. Security Protocols Workshop Feng Hao, Peter Y. A. Ryan
2011	—	`conf`	Prêt à Voter with Confirmation Codes. EVT/WOTE Peter Y. A. Ryan
2011	J	`jnl`	Receipt Freeness of Prêt à Voter Provably Secure. IACR Cryptol. ePrint Arch. Dalia Khader, Peter Y. A. Ryan
2011	J	`jnl`	Verifiable Elections and the Public (Dagstuhl Seminar 11281). Dagstuhl Reports R. Michael Alvarez, Josh Benaloh, Alon Rosen, Peter Y. A. Ryan
2010	—	`conf`	A Threat Analysis of Prêt à Voter. Towards Trustworthy Elections Peter Y. A. Ryan, Thea Peacock
2010	J	`jnl`	Anonymous voting by two-round public discussion. IET Inf. Secur. Feng Hao, Peter Y. A. Ryan, Piotr Zielinski
2010	J	`jnl`	Corrections to scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes. IEEE Trans. Inf. Forensics Secur. David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman, Poorvi L. Vora
2010	J	`jnl`	J-PAKE: Authenticated Key Exchange Without PKI. IACR Cryptol. ePrint Arch. Feng Hao, Peter Y. A. Ryan
2010	J	`jnl`	J-PAKE: Authenticated Key Exchange without PKI. Trans. Comput. Sci. Feng Hao, Peter Y. A. Ryan
2010	A	`conf`	Pretty Good Democracy for More Expressive Voting Schemes. ESORICS James Heather, Peter Y. A. Ryan, Vanessa Teague
2010	—	`conf`	Security Protocols for Secret Santa. Security Protocols Workshop Sjouke Mauw, Sasa Radomirovic, Peter Y. A. Ryan
2010	—	`ed.`	Towards Trustworthy Elections, New Directions in Electronic Voting Towards Trustworthy Elections David Chaum, Markus Jakobsson, Ronald L. Rivest, Peter Y. A. Ryan, Josh Benaloh, Miroslaw Kutylowski, Ben Adida
2010	Misc	`conf`	Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. INDOCRYPT Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan
2010	—	`conf`	Virtually Perfect Democracy (Transcript of Discussion). Security Protocols Workshop Peter Y. A. Ryan
2010	—	`conf`	Virtually Perfect Democracy. Security Protocols Workshop Giampaolo Bella, Peter Y. A. Ryan, Vanessa Teague
2009	—	`conf`	09311 Abstracts Collection - Classical and Quantum Information Assurance Foundations and Practice. Classical and Quantum Information Assurance Foundations and Practice Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan
2009	—	`ed.`	Classical and Quantum Information Assurance Foundations and Practice, 26.07. - 31.07.2009 Classical and Quantum Information Assurance Foundations and Practice Samuel L. Braunstein, Hoi-Kwong Lo, Kenny Paterson, Peter Y. A. Ryan
2009	—	`ed.`	E-Voting and Identity, Second International Conference, VoteID 2009, Luxembourg, September 7-8, 2009. Proceedings VoteID Peter Y. A. Ryan, Berry Schoenmakers
2009	—	`conf`	Experiences Gained from the first Prêt à Voter Implementation. REVOTE David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan
2009	—	`conf`	Formal Modelling of a Usable Identity Management Solution for Virtual Organisations FAVO Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, Bruce Beckles, J. M. Brooke, M. A. S. Jones
2009	—	`conf`	How Many Election Officials Does It Take to Change an Election? ARSPA-WITS Peter Y. A. Ryan
2009	J	`jnl`	Journal of Computer SecuritySpecial Number devoted to the best papers of the Security Track at the 2006 ACM Symposium on Applied Computing. J. Comput. Secur. Giampaolo Bella, Peter Y. A. Ryan
2009	—	`conf`	Permutations in Prêt à Voter. EVT/WOTE Peter Y. A. Ryan, Vanessa Teague
2009	—	`conf`	Pretty Good Democracy. Security Protocols Workshop Peter Y. A. Ryan
2009	—	`conf`	Pretty Good Democracy. Security Protocols Workshop Peter Y. A. Ryan, Vanessa Teague
2009	J	`jnl`	Prêt à voter: a voter-verifiable voting system. IEEE Trans. Inf. Forensics Secur. Peter Y. A. Ryan, David Bismark, James Heather, Steve A. Schneider, Zhe Xia
2009	J	`jnl`	Scantegrity II: end-to-end verifiability by voters of optical scan elections through confirmation codes. IEEE Trans. Inf. Forensics Secur. David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman, Poorvi L. Vora
2008	—	`ed.`	Frontiers of Electronic Voting, 29.07. - 03.08.2007 Frontiers of Electronic Voting David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan
2008	A	`conf`	Human Readable Paper Verification of Prêt à Voter. ESORICS David Lundin, Peter Y. A. Ryan
2008	—	`conf`	Improving the Farnel Voting Scheme. Electronic Voting Roberto Araújo, Peter Y. A. Ryan
2008	J	`jnl`	Improving the Farnel, Threeballot, and Randell-Ryan Voting Schemes. IACR Cryptol. ePrint Arch. Roberto Araújo, Peter Y. A. Ryan
2008	J	`jnl`	Opacity generalised to transition systems. Int. J. Inf. Sec. Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2008	—	`conf`	Password Authenticated Key Exchange by Juggling. Security Protocols Workshop Feng Hao, Peter Y. A. Ryan
2008	J	`jnl`	Prêt à Voter with Paillier encryption. Math. Comput. Model. Peter Y. A. Ryan
2008	—	`conf`	Remodelling the Attacker in Voting Protocols (Transcript of Discussion). Security Protocols Workshop Peter Y. A. Ryan
2008	—	`conf`	Remodelling the Attacker in Voting Protocols. Security Protocols Workshop Peter Y. A. Ryan
2008	—	`conf`	Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes. EVT David Chaum, Richard Carback, Jeremy Clark, Aleksander Essex, Stefan Popoveniuc, Ronald L. Rivest, Peter Y. A. Ryan, Emily Shen, Alan T. Sherman
2007	—	`conf`	07311 Abstracts Collection -- Frontiers of Electronic Voting. Frontiers of Electronic Voting David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan
2007	—	`conf`	07311 Executive Summary -- Frontiers of Electronic Voting. Frontiers of Electronic Voting David Chaum, Miroslaw Kutylowski, Ronald L. Rivest, Peter Y. A. Ryan
2007	—	`conf`	A Model for System-Based Analysis of Voting Systems. Security Protocols Workshop Thomas Tjøstheim, Thea Peacock, Peter Y. A. Ryan
2007	—	`ed.`	Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	J	`jnl`	Guest Editors' Preface. Int. J. Inf. Sec. Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2007	J	`jnl`	Secret Ballot Elections with Unconditional Integrity. IACR Cryptol. ePrint Arch. David Chaum, Jeroen van de Graaf, Peter Y. A. Ryan, Poorvi L. Vora
2006	B	`conf`	E-voting: Dependability Requirements and Design for Dependability. ARES Jeremy W. Bryans, Bev Littlewood, Peter Y. A. Ryan, Lorenzo Strigini
2006	Misc	`conf`	Editorial message: special track on computer security. SAC Giampaolo Bella, Peter Y. A. Ryan
2006	—	`ed.`	Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers Formal Aspects in Security and Trust Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider
2006	A	`conf`	Prêt à Voter with Re-encryption Mixes. ESORICS Peter Y. A. Ryan, Steve A. Schneider
2006	—	`conf`	Putting the Human Back in Voting Protocols. Security Protocols Workshop Peter Y. A. Ryan
2006	—	`conf`	Putting the Human Back in Voting Protocols. Security Protocols Workshop Peter Y. A. Ryan, Thea Peacock
2006	J	`jnl`	Voting Technologies and Trust. IEEE Secur. Priv. Brian Randell, Peter Y. A. Ryan
2005	A	`conf`	A Practical Voter-Verifiable Election Scheme. ESORICS David Chaum, Peter Y. A. Ryan, Steve A. Schneider
2005	—	`conf`	A variant of the Chaum voter-verifiable scheme. WITS Peter Y. A. Ryan
2005	J	`jnl`	Guest Editors' preface. J. Comput. Secur. Giampaolo Bella, Peter Y. A. Ryan
2005	—	`conf`	Opacity Generalised to Transition Systems. Formal Aspects in Security and Trust Jeremy W. Bryans, Maciej Koutny, Laurent Mazaré, Peter Y. A. Ryan
2005	Misc	`conf`	Special track on computer security. SAC Giampaolo Bella, Peter Y. A. Ryan
2005	—	`conf`	Voting Technologies and Trust. Formal Aspects in Security and Trust Brian Randell, Peter Y. A. Ryan
2004	A	`conf`	A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. DSN Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan
2004	A	`ed.`	Computer Security - ESORICS 2004, 9th European Symposium on Research Computer Security, Sophia Antipolis, France, September 13-15, 2004, Proceedings ESORICS Pierangela Samarati, Peter Y. A. Ryan, Dieter Gollmann, Refik Molva
2004	Misc	`conf`	Editoral message: special track on computer security. SAC Giampaolo Bella, Peter Y. A. Ryan
2004	—	`conf`	Modelling Dynamic Opacity Using Petri Nets with Silent Actions. Formal Aspects in Security and Trust Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
2004	—	`conf`	Modelling Opacity Using Petri Nets. WISP@ICATPN Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan
2004	—	`conf`	Of Elections and Electrons. FORMATS/FTRTFT Peter Y. A. Ryan
2004	—	`conf`	Shedding Light on Haunted Corners of Information Security. 25 Years Communicating Sequential Processes Peter Y. A. Ryan
2003	—	`conf`	Enforcing the Unenforceable. Security Protocols Workshop Peter Y. A. Ryan
2003	—	`ed.`	Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers FASec Ali E. Abdallah, Peter Y. A. Ryan, Steve A. Schneider
2003	J	`jnl`	Guest editorial overview. IEEE J. Sel. Areas Commun. Li Gong, Joshua D. Guttman, Peter Y. A. Ryan, Steve A. Schneider
2001	—	`book`	Modelling and analysis of security protocols. Peter Y. A. Ryan, Steve A. Schneider
2001	—	`conf`	Non-Interference: Who Needs It? CSFW Peter Y. A. Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor
2001	J	`jnl`	Process Algebra and Non-Interference. J. Comput. Secur. Peter Y. A. Ryan, Steve A. Schneider
2000	—	`conf`	Mathematical Models of Computer Security. FOSAD Peter Y. A. Ryan
2000	—	`conf`	Process Algebra and Information Flow. MFCSIT Peter Y. A. Ryan
1999	—	`conf`	Process Algebra and Non-Interference. CSFW Peter Y. A. Ryan, Steve A. Schneider
1998	J	`jnl`	An Attack on a Recursive Authentication Protocol. A Cautionary Tale. Inf. Process. Lett. Peter Y. A. Ryan, Steve A. Schneider
1998	—	`conf`	Panel Introduction: The Security Impact of Distributed Computing Technologies. CSFW Peter Y. A. Ryan, Dieter Gollmann, Li Gong, Günter Karjoth, Chris J. Mitchell