| 2025 | ESORICS | Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation. | Aditya Damodaran, Simon Rastikian, Peter B. Rnne, Peter Y. A. Ryan |
| 2024 | AsiaCCS | SweetPAKE: Key exchange with decoy passwords. | Afonso Arriaga, Peter Y. A. Ryan, Marjan Skrobot |
| 2024 | DAC | RISC-V Instruction Set Extensions for Multi-Precision Integer Arithmetic: A Case Study on Post-Quantum Key Exchange Using CSIDH-512. | Hao Cheng, Georgios Fotiadis, Johann Groschdl, Daniel Page, Thinh Hung Pham, Peter Y. A. Ryan |
| 2024 | FC | "You Shall Not Abstain!" A Formal Study of Forced Participation. | Wojciech Jamroga, Peter B. Roenne, Yan Kim, Peter Y. A. Ryan |
| 2024 | SECRYPT | Verifying Artifact Authenticity with Unclonable Optical Tags. | Mnica P. Arenas, Gabriele Lenzini, Mohammadamin Rakeei, Peter Y. A. Ryan, Marjan Skrobot, Maria Zhekova |
| 2021 | ACISP | Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. | Geoffroy Couteau, A. W. Roscoe, Peter Y. A. Ryan |
| 2021 | DATE | AVRNTRU: Lightweight NTRU-based Post-Quantum Cryptography for 8-bit AVR Microcontrollers. | Hao Cheng, Johann Groschdl, Peter B. Rnne, Peter Y. A. Ryan |
| 2021 | FC | Cast-as-Intended: A Formal Definition and Case Studies. | Peter B. Rnne, Peter Y. A. Ryan, Ben Smyth |
| 2020 | CARDIS | Lightweight Post-quantum Key Encapsulation for 8-bit AVR Microcontrollers. | Hao Cheng, Johann Groschdl, Peter B. Rnne, Peter Y. A. Ryan |
| 2020 | FC | Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme. | Marie-Laure Zollinger, Peter B. Rnne, Peter Y. A. Ryan |
| 2020 | PKC | Verifiable Inner Product Encryption Scheme. | Najmeh Soroush, Vincenzo Iovino, Alfredo Rial, Peter B. Rnne, Peter Y. A. Ryan |
| 2019 | CHI | Security - Visible, Yet Unseen? | Verena Distler, Marie-Laure Zollinger, Carine Lallemand, Peter B. Rnne, Peter Y. A. Ryan, Vincent Koenig |
| 2019 | ESORICS | NoCry: No More Secure Encryption Keys for Cryptographic Ransomware. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan |
| 2019 | FC | How to Assess the Usability Metrics of E-Voting Schemes. | Karola Marky, Marie-Laure Zollinger, Markus Funk, Peter Y. A. Ryan, Max Mhlhuser |
| 2019 | IJCAI | Novel Collaborative Filtering Recommender Friendly to Privacy Protection. | Jun Wang, Qiang Tang, Afonso Arriaga, Peter Y. A. Ryan |
| 2019 | SEC | An Offline Dictionary Attack Against zkPAKE Protocol. | Jos Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot |
| 2019 | WISTP | A Lightweight Implementation of NTRU Prime for the Post-quantum Internet of Things. | Hao Cheng, Daniel Dinu, Johann Groschdl, Peter B. Rnne, Peter Y. A. Ryan |
| 2018 | CCS | Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning. | Jun Wang, Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan |
| 2018 | DIMVA | No Random, No Ransom: A Key to Stop Cryptographic Ransomware. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan |
| 2018 | ICISSP | A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vzquez Sandoval |
| 2018 | ICISSP | A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. | Ziya Alper Gen, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vzquez Sandoval |
| 2017 | FC | Using Selene to Verify Your Vote in JCJ. | Vincenzo Iovino, Alfredo Rial, Peter B. Rnne, Peter Y. A. Ryan |
| 2016 | ECAI | Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. | Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan |
| 2016 | FC | Selene: Voting with Transparent Verifiability and Coercion-Mitigation. | Peter Y. A. Ryan, Peter B. Rnne, Vincenzo Iovino |
| 2015 | SEC | A Secure Exam Protocol Without Trusted Parties. | Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan |
| 2014 | SECRYPT | Formal Analysis of Electronic Exams. | Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan |
| 2013 | SP | Caveat Coercitor: Coercion-Evidence in Electronic Voting. | Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan |
| 2011 | RE | A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems. | Simon Kramer, Peter Y. A. Ryan |
| 2010 | ESORICS | Pretty Good Democracy for More Expressive Voting Schemes. | James Heather, Peter Y. A. Ryan, Vanessa Teague |
| 2010 | INDOCRYPT | Versatile Prt Voter: Handling Multiple Election Methods with a Unified Interface. | Zhe Xia, Chris Culnane, James Heather, Hugo Jonker, Peter Y. A. Ryan, Steve A. Schneider, Sriramkrishnan Srinivasan |
| 2009 | RE | Experiences Gained from the first Prt Voter Implementation. | David Bismark, James Heather, Roger M. A. Peel, Steve A. Schneider, Zhe Xia, Peter Y. A. Ryan |
| 2008 | ESORICS | Human Readable Paper Verification of Prt Voter. | David Lundin, Peter Y. A. Ryan |
| 2006 | ESORICS | Prt Voter with Re-encryption Mixes. | Peter Y. A. Ryan, Steve A. Schneider |
| 2006 | SAC | Editorial message: special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |
| 2005 | ESORICS | A Practical Voter-Verifiable Election Scheme. | David Chaum, Peter Y. A. Ryan, Steve A. Schneider |
| 2005 | POPL | A variant of the Chaum voter-verifiable scheme. | Peter Y. A. Ryan |
| 2005 | SAC | Special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |
| 2004 | DSN | A Qualitative Analysis of the Intrusion-Tolerance Capabilities of the MAFTIA Architecture. | Robert J. Stroud, Ian S. Welch, John P. Warne, Peter Y. A. Ryan |
| 2004 | SAC | Editoral message: special track on computer security. | Giampaolo Bella, Peter Y. A. Ryan |