Peter Y. A. Ryan

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 90

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

Security Protocols Workshop

E-VOTE-ID

Publications

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan
IoTDisco: Strong yet Lightweight End-to-End Security for the Internet of Constrained Things. MSPN (2023)
Fatima-Ezzahra El Orche, Marcel Hollenstein, Sarah Houdaigoui, David Naccache, Daria Pchelina, Peter B. Rønne, Peter Y. A. Ryan, Julien Weibel, Robert Weil
Taphonomical Security: DNA Information with a Foreseeable Lifespan. FICC (2) (2023)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. CoRR (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan
Highly Vectorized SIKE for AVX-512. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (2) (2022)
Isa Sertkaya, Peter B. Rønne, Peter Y. A. Ryan
Estonian Internet voting with anonymous credentials. Turkish J. Electr. Eng. Comput. Sci. 30 (2) (2022)
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
Time, Privacy, Robustness, Accuracy: Trade-Offs for the Open Vote Network Protocol. E-Vote-ID (2022)
Wojciech Jamroga, Peter Y. A. Ryan, Yan Kim
Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020. CoRR (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Marie-Laure Zollinger, Verena Distler, Peter B. Rønne, Peter Y. A. Ryan, Carine Lallemand, Vincent Koenig
User Experience Design for E-Voting: How mental models align with security mechanisms. CoRR (2021)
Geoffroy Couteau, A. W. Roscoe, Peter Y. A. Ryan
Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. ACISP (2021)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. Protocols, Strands, and Logic (2021)
Hao Cheng, Georgios Fotiadis, Johann Großschädl, Peter Y. A. Ryan, Peter B. Rønne
Batching CSIDH Group Actions using AVX-512. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2021 (4) (2021)
Michel Abdalla, Manuel Barbosa, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
Security Characterization of J-PAKE and its Variants. IACR Cryptol. ePrint Arch. 2021 (2021)
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
Time, Privacy, Robustness, Accuracy: Trade Offs for the Open Vote Network Protocol. IACR Cryptol. ePrint Arch. 2021 (2021)
Marie-Laure Zollinger, Ehsan Estaji, Peter Y. A. Ryan, Karola Marky
"Just for the Sake of Transparency": Exploring Voter Mental Models of Verifiability. E-VOTE-ID (2021)
Gergei Bana, Wojciech Jamroga, David Naccache, Peter Y. A. Ryan
Convergence Voting: From Pairwise Comparisons to Consensus. CoRR (2021)
Fatima-Ezzahra El Orche, Marcel Hollenstein, Sarah Houdaigoui, David Naccache, Daria Pchelina, Peter B. Rønne, Peter Y. A. Ryan, Julien Weibel, Robert Weil
Taphonomical Security: (DNA) Information with Foreseeable Lifespan. IACR Cryptol. ePrint Arch. 2021 (2021)
Karola Marky, Marie-Laure Zollinger, Peter B. Roenne, Peter Y. A. Ryan, Tim Grube, Kai Kunze
Investigating Usability and User Experience of Individually Verifiable Internet Voting Schemes. ACM Trans. Comput. Hum. Interact. 28 (5) (2021)
Peter B. Rønne, Peter Y. A. Ryan, Marie-Laure Zollinger
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability. CoRR (2021)
Peter B. Rønne, Peter Y. A. Ryan, Ben Smyth
Cast-as-Intended: A Formal Definition and Case Studies. Financial Cryptography Workshops (2021)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
PakeMail: authentication and key management in decentralized secure email and messaging via PAKE. CoRR (2021)
Georgios Fotiadis, José Moreira, Thanassis Giannetsos, Liqun Chen, Peter B. Rønne, Mark Ryan, Peter Y. A. Ryan
Root-of-Trust Abstractions for Symbolic Analysis: Application to Attestation Protocols. STM (2021)
Hao Cheng, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
Avrntru: Lightweight NTRU-based Post-Quantum Cryptography for 8-bit AVR Microcontrollers. DATE (2021)
Peter Y. A. Ryan, Peter B. Roenne, Dimiter Ostrev, Fatima-Ezzahra El Orche, Najmeh Soroush, Philip B. Stark
Who Was that Masked Voter? The Tally Won't Tell! E-VOTE-ID (2021)
Marcel Hollenstein, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Robert Weil, Ofer Yifrach-Stav
Preservation of DNA Privacy During the Large Scale Detection of COVID. IACR Cryptol. ePrint Arch. 2021 (2021)
Marie-Laure Zollinger, Peter B. Rønne, Peter Y. A. Ryan
Short Paper: Mechanized Proofs of Verifiability and Privacy in a Paper-Based E-Voting Scheme. Financial Cryptography Workshops (2020)
Wojciech Jamroga, David Mestel, Peter B. Rønne, Peter Y. A. Ryan, Marjan Skrobot
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. CoRR (2020)
Najmeh Soroush, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
Verifiable Inner Product Encryption Scheme. Public Key Cryptography (1) (2020)
Ehsan Estaji, Thomas Haines, Kristian Gjøsteen, Peter B. Rønne, Peter Y. A. Ryan, Najmeh Soroush
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting. E-VOTE-ID (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Towards Model Checking of Voting Protocols in Uppaal. E-VOTE-ID (2020)
Hao Cheng, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
Lightweight Post-quantum Key Encapsulation for 8-bit AVR Microcontrollers. CARDIS (2020)
Wojciech Jamroga, Yan Kim, Damian Kurpiewski, Peter Y. A. Ryan
Model Checkers Are Cool: How to Model Check Voting Protocols in Uppaal. CoRR (2020)
Itzel Vázquez Sandoval, Arash Atashpendar, Gabriele Lenzini, Peter Y. A. Ryan
PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE. ICETE (Selected Papers) (2020)
Marcel Hollenstein, David Naccache, Peter B. Rønne, Peter Y. A. Ryan, Robert Weil, Ofer Yifrach-Stav
Preservation of DNA Privacy During the Large Scale Detection of COVID-19. CoRR (2020)
Hao Cheng, Johann Großschädl, Jiaqi Tian, Peter B. Rønne, Peter Y. A. Ryan
High-Throughput Elliptic Curve Cryptography Using AVX2 Vector Instructions. SAC (2020)
Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
Universal Unconditional Verifiability in E-Voting without Trusted Parties. CSF (2020)
Jintai Ding, Doug Emery, Johannes Müller, Peter Y. A. Ryan, Vonn Kee Wong
Post-Quantum Anonymous Veto Networks. IACR Cryptol. ePrint Arch. 2020 (2020)
Najmeh Soroush, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
Verifiable Inner Product Encryption Scheme. IACR Cryptol. ePrint Arch. 2020 (2020)
Brian Thompson, Dave Cedel, Jeremy Martin, Peter Y. A. Ryan, Sarah Kern
Fusion of Mobile Device Signal Data Attributes Enables Multi-Protocol Entity Resolution and Enhanced Large-Scale Tracking. CoRR (2019)
Geoffroy Couteau, Bill Roscoe, Peter Y. A. Ryan
Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer. IACR Cryptol. ePrint Arch. 2019 (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. E-VOTE-ID (2019)
Marc Beunardeau, Fatima-Ezzahra El Orche, Diana Maimut, David Naccache, Peter B. Rønne, Peter Y. A. Ryan
Authenticated Key Distribution: When the Coupon Collector is Your Enemy. SECITC (2019)
José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
An Offline Dictionary Attack Against zkPAKE Protocol. SEC (2019)
Karola Marky, Marie-Laure Zollinger, Markus Funk, Peter Y. A. Ryan, Max Mühlhäuser
How to Assess the Usability Metrics of E-Voting Schemes. Financial Cryptography Workshops (2019)
Marc Beunardeau, Fatima-Ezzahra El Orche, Diana Maimut, David Naccache, Peter B. Rønne, Peter Y. A. Ryan
Authenticated Key Distribution: When the Coupon Collector is Your Enemy. IACR Cryptol. ePrint Arch. 2019 (2019)
Hao Cheng, Daniel Dinu, Johann Großschädl, Peter B. Rønne, Peter Y. A. Ryan
A Lightweight Implementation of NTRU Prime for the Post-quantum Internet of Things. WISTP (2019)
Verena Distler, Marie-Laure Zollinger, Carine Lallemand, Peter B. Rønne, Peter Y. A. Ryan, Vincent Koenig
Security - Visible, Yet Unseen? CHI (2019)
Wojciech Jamroga, Peter B. Rønne, Peter Y. A. Ryan, Philip B. Stark
Risk-Limiting Tallies. CoRR (2019)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
NoCry: No More Secure Encryption Keys for Cryptographic Ransomware. ETAA@ESORICS (2019)
Jun Wang, Qiang Tang, Afonso Arriaga, Peter Y. A. Ryan
Novel Collaborative Filtering Recommender Friendly to Privacy Protection. IJCAI (2019)
Peter B. Rønne, Arash Atashpendar, Kristian Gjøsteen, Peter Y. A. Ryan
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme. CoRR (2019)
Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions. CoRR (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
Next Generation Cryptographic Ransomware. NordSec (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System. ICISSP (2018)
José Becerra, Peter B. Rønne, Peter Y. A. Ryan, Petra Sala
HoneyPAKEs. Security Protocols Workshop (2018)
Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics. CoRR (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
No Random, No Ransom: A Key to Stop Cryptographic Ransomware. DIMVA (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
Security Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware. CECC (2018)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan, Itzel Vázquez Sandoval
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack. ICISSP (Revised Selected Papers) (2018)
Jun Wang, Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning. CCS (2018)
Arash Atashpendar, G. Vamsi Policharla, Peter B. Rønne, Peter Y. A. Ryan
Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation. CoRR (2018)
Jun Wang, Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
CryptoRec: Secure Recommendations as a Service. CoRR (2018)
Peter Y. A. Ryan
HoneyPAKEs (Transcript of Discussion). Security Protocols Workshop (2018)
José Becerra, Peter Y. A. Ryan, Petra Sala, Marjan Skrobot
An Offline Dictionary Attack against zkPAKE Protocol. WISEC (2018)
Arash Atashpendar, G. Vamsi Policharla, Peter B. Rønne, Peter Y. A. Ryan
Revisiting Deniability in Quantum Key Exchange - via Covert Communication and Entanglement Distillation. NordSec (2018)
A. W. Roscoe, Peter Y. A. Ryan
Auditable PAKEs: Approaching Fair Exchange Without a TTP. Security Protocols Workshop (2017)
Peter Y. A. Ryan
A Brief History of Security Protocols. Concurrency, Security, and Puzzles (2017)
Peter Y. A. Ryan
Auditable PAKEs: Approaching Fair Exchange Without a TTP (Transcript of Discussion). Security Protocols Workshop (2017)
Peter Y. A. Ryan
Securing the Foundations of Democracy. SECITC (2017)
Josh Benaloh, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
A Vote of Confidence? IEEE Secur. Priv. 15 (3) (2017)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
Trustworthy exams without trusted parties. Comput. Secur. 67 (2017)
Ziya Alper Genç, Gabriele Lenzini, Peter Y. A. Ryan
Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware. CECC (2017)
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
Public Evidence from Secret Ballots. CoRR (2017)
Gabriele Lenzini, Samir Ouchani, Peter B. Rønne, Peter Y. A. Ryan, Yong Geng, Jan Lagerwall, JungHyun Noh
Security in the shell: An optical physical unclonable function made of shells of cholesteric liquid crystals. WIFS (2017)
Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
Using Selene to Verify Your Vote in JCJ. Financial Cryptography Workshops (2017)
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
Public Evidence from Secret Ballots. E-VOTE-ID (2017)
Gina Gallegos-García, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties. IACR Cryptol. ePrint Arch. 2016 (2016)
Peter Y. A. Ryan
Crypto Santa. The New Codebreakers (2016)
Gina Gallegos-García, Vincenzo Iovino, Alfredo Rial, Peter B. Rønne, Peter Y. A. Ryan
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties. CoRR (2016)
Peter Y. A. Ryan, Peter B. Rønne, Vincenzo Iovino
Selene: Voting with Transparent Verifiability and Coercion-Mitigation. Financial Cryptography Workshops (2016)
Masoud Tabatabaei, Wojciech Jamroga, Peter Y. A. Ryan
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. PrAISe@ECAI (2016)
Giampaolo Bella, Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
A Secure Exam Protocol Without Trusted Parties. SEC (2015)
Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Manifestos 5 (1) (2015)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: A Verifiable Voting System. ACM Trans. Inf. Syst. Secur. 18 (1) (2015)
Arash Atashpendar, A. W. Roscoe, Peter Y. A. Ryan
Information Leakage Due to Revealing Randomly Selected Bits. Security Protocols Workshop (2015)
Peter Y. A. Ryan, Peter B. Rønne, Vincenzo Iovino
Selene: Voting with Transparent Verifiability and Coercion-Mitigation. IACR Cryptol. ePrint Arch. 2015 (2015)
Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
End-to-End Verifiability in Voting Systems, from Theory to Practice. IEEE Secur. Priv. 13 (3) (2015)
Josh Benaloh, Ronald L. Rivest, Peter Y. A. Ryan, Philip B. Stark, Vanessa Teague, Poorvi L. Vora
End-to-end verifiability. CoRR (2015)
Bart Preneel, Phillip Rogaway, Mark Dermot Ryan, Peter Y. A. Ryan
Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401). Dagstuhl Reports 4 (9) (2014)
Chris Culnane, James Heather, Rui Joaquim, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
Faster Print on Demand for Prêt à Voter. EVT/WOTE (2014)
Chris Culnane, Peter Y. A. Ryan, Steve A. Schneider, Vanessa Teague
vVote: a Verifiable Voting System (DRAFT). CoRR (2014)
Rosario Giustolisi, Gabriele Lenzini, Peter Y. A. Ryan
Remark!: A Secure Protocol for Remote Exams. Security Protocols Workshop (2014)
Afonso Arriaga, Qiang Tang, Peter Y. A. Ryan
Trapdoor Privacy in Asymmetric Searchable Encryption Schemes. AFRICACRYPT (2014)
Dhananjay S. Phatak, Qiang Tang, Alan T. Sherman, Warren D. Smith, Peter Y. A. Ryan, Konstantinos Kalpakis
DoubleMod and SingleMod: Simple Randomized Secret-Key Encryption with Bounded Homomorphicity. IACR Cryptol. ePrint Arch. 2014 (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Security Analysis of Traditional and Electronic Exams. ICETE (Selected Papers) (2014)
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Analysis of Electronic Exams. SECRYPT (2014)
Marc Pouly, Jürg Kohlas, Peter Y. A. Ryan
Generalized information theory for hints. Int. J. Approx. Reason. 54 (1) (2013)
Gurchetan S. Grewal, Mark Dermot Ryan, Sergiu Bursuc, Peter Y. A. Ryan
Caveat Coercitor: Coercion-Evidence in Electronic Voting. IEEE Symposium on Security and Privacy (2013)

Peter Y. A. Ryan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Peter Y. A. Ryan