Prof. Dr. Peter Y. A. Ryan
|
|
||||||
| Faculté ou Centre | Faculté des Sciences, des Technologies et de Médecine | ||||||
| Department | Département Informatique | ||||||
| Adresse postale |
Université du Luxembourg Maison du Nombre 6, Avenue de la Fonte L-4364 Esch-sur-Alzette |
||||||
| Bureau sur le campus | MNO, E02 0235-060 | ||||||
|
|||||||
| Téléphone | (+352) 46 66 44 5667 | ||||||
| Video |
Prof. Peter Ryan (SnT)
|
||||||
In February of 2009, Peter Ryan took up a position as full Professor of Applied Security at the University of Luxembourg. He has over 20 years of experience in cryptography, information assurance and formal verification. He pioneered the application of process algebras to modelling and analysis of secure systems, presenting the first process algebra (CSP) formulation of non-interference at the Computer Security Foundations Workshop in 1989. In 1993, while at DRA, he initiated and led the "Modelling and Analysis of Security Protocols" research project that developed the process algebraic and model-checking approach to the analysis of security protocols. This project broke away from the trend of employing bespoke analysis frameworks such as the epistemic BAN-logic and used mainstream formal methods notations and tools. Notable achievements of this project were the discovery by Gavin Lowe of the now famous flaw in the Needham-Schroeder Public Key protocol that had lain undiscovered for around 17 years.
Ryan has published extensively on cryptography, cryptographic protocols, mathematical models of computer security and, most recently, high assurance voting systems. He is the creator of Prêt à Voter, Pretty Good Democracy (with Vanessa Teague) and OpenVote (with Feng Hoa) and Selene (with P Roenne and V Iovino) verifiable voting schemes. With Feng Hao he proposed the Password Authenticated Key Establishment Protocol J-PAKE.
Prior to joining the University of Luxembourg he was a Professor of Computing Science at Newcastle University. He has worked at GCHQ, the Defence Research Agency, the Stanford Research Institute, Cambridge and the Software Engineering Institute, CMU Pittsburgh.
He holds a PhD in mathematical physics from the University of London.
Peter Ryan has been on program committees of numerous prestigious security conferences, notably: IEEE Security and Privacy, IEEE Computer Security Foundations Workshop, the European Symposium On Research In Computer Security (ESORICS), WITS (Workshop on Issues in Security). He was Chair of WITS’04 (Workshop on Issues in the Theory of Security) and Co-chair of ESORICS in 2004 and 2015, co-chair of Frontiers of Electronic Elections FEE 2005, Chair WOTE 2007 (Workshop On Trustworthy Elections). From 1999 to 2007 he was the Chair of the ESORICS Steering Committee. He founded and co-chaired the new workshop series Voting’16 and Voting’17 in association with Financial Crypto.
He is a Visiting Professor at the University of Surrey and the ENS Paris.
Research topics: Information assurance, cryptography, cryptographic protocols, design and analysis of secure systems and properties, analysis of information flow, fully verifiable voting schemes, quantum cryptography and the socio-technical aspects of security.
- The book "Modelling and Analysis of Security Protocols" is now available online
- “The New Codebreakers”, Festschrift in honour of David Kahn, Springer
- to appear: “Real-World Electronic Voting”, CRC Press
Last updated on: jeudi 07 novembre 2019
2022
Highly Vectorized SIKE for AVX-512; ; ;
in IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) (2022, February), 2022(2), 41-68
2021
Batching CSIDH Group Actions using AVX-512; ; ; ;
in IACR Transactions on Cryptographic Hardware and Embedded Systems (TCHES) (2021, August), 2021(4), 618-649
AVRNTRU: Lightweight NTRU-based Post-Quantum Cryptography for 8-bit AVR Microcontrollers; ; ;
in 2021 Design, Automation and Test in Europe Conference and Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, Proceedings (2021, February)
A Survey of Requirements for COVID-19 Mitigation Strategies; ; ; ;
in Bulletin of The Polish Academy of Sciences: Technical Science (2021), 69(4), 137724
A Declaration of Software Independence; ; ; ;
in Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (2021)
Investigating Usability and User Experience of Individually Verifiable Internet Voting Schemes; ; ; ; ;
in ACM Transactions on Computer-Human Interaction (2021), 28(5), 1-36
PakeMail: Authentication and Key Management in Decentralized Secure Email and Messaging via PAKE; ; ;
in Obaidat, Mohammad S.; Ben-Othman, Jalel (Eds.) E-Business and Telecommunications - 17th International Conference on E-Business and Telecommunications, ICETE 2020, Online Event, July 8-10, 2020, Revised Selected Papers. (2021, October)
"Just for the sake of transparency": Exploring Voter Mental Models Of Verifiability; ; ;
in Electronic Voting, Sixth International Joint Conference, E-Vote-ID 2021, Bregenz, Austria, October 5-8 (2021, October)
2020
Lightweight Post-quantum Key Encapsulation for 8-bit AVR Microcontrollers; ; ;
in Liardet, Pierre-Yvan; Mentens, Nele (Eds.) Smart Card Research and Advanced Applications, 19th International Conference, CARDIS 2020, Virtual Event, November 18–19, 2020, Revised Selected Papers (2020, November)
High-Throughput Elliptic Curve Cryptography Using AVX2 Vector Instructions; ; ; ;
in Dunkelman, Orr; Jacobson Jr., Michael J.; O'Flynn, Colin (Eds.) Selected Areas in Cryptography, 27th International Conference, Halifax, NS, Canada (Virtual Event), October 21-23, 2020, Revised Selected Papers (2020, October)
Revisiting Practical and Usable Coercion-Resistant Remote E-Voting; ; ; ; ;
in Electronic Voting - 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings (2020)
Preservation of DNA Privacy During the Large Scale Detection of COVID-19; ; ; ; ;
E-print/Working paper (2020)
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties; ; ;
in 2020 IEEE 33rd Computer Security Foundations Symposium (2020)
Towards Model Checking of Voting Protocols in Uppaal; ; ;
in Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020 (2020)
A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips; ; ; ;
E-print/Working paper (2020)
Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme; ; ;
in Financial Cryptography and Data Security 2019. FC 2019: International Workshops, CIW, VOTING, and WTSC (2020)
Short paper: Mechanized Proofs of Verifiability and Privacy in a paper-based e-voting Scheme; ;
in International Conference on Financial Crypto Workshop on Advances in Secure Electronic Voting (2020, February)
2019
Authenticated Key Distribution: When the Coupon Collector is Your Enemy; ; ; ; ;
in Innovative Security Solutions for Information Technology and Communications (2019, November 14)
A Lightweight Implementation of NTRU Prime for the Post-Quantum Internet of Things; ; ; ;
in Laurent, Maryline; Giannetsos, Thanassis (Eds.) Information Security Theory and Practice, 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11–12, 2019, Proceedings (2019, December)
A Lightweight Implementation of NTRUEncrypt for 8-bit AVR Microcontrollers; ; ;
E-print/Working paper (2019)
Security – Visible, Yet Unseen? How Displaying Security Mechanisms Impacts User Experience and Perceived Security; ; ; ; ;
in Proceedings of ACM CHI Conference on Human Factors in Computing Systems (CHI2019) (2019, April)
NoCry: No More Secure Encryption Keys for Cryptographic Ransomware; ;
in Proceedings of the Second International Workshop on Emerging Technologies for Authorization and Authentication (2019)
A Critical Security Analysis of the Password-Based Authentication Honeywords System Under Code-Corruption Attack; ; ;
in Information Systems Security and Privacy (2019, July)
An offline dictionary attack against zkPAKE protocol; ; ;
in An offline dictionary attack against zkPAKE protocol (2019)
How to Assess the Usability Metrics of E-Voting Schemes; ; ; ;
in Lecture Notes in Computer Science (2019, February)
Novel Collaborative Filtering Recommender Friendly to Privacy Protection; ; ;
in International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao 10-16 August 2019 (2019)
User Experience Design for E-Voting: How mental models align with security mechanisms; ; ; ; ;
in Electronic Voting (2019, October)
2018
From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions; ; ; ; ; ;
E-print/Working paper (2018)
A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics; ; ;
E-print/Working paper (2018)
Revisiting Deniability in Quantum Key Exchange via Covert Communication and Entanglement Distillation; ; ;
in Secure IT Systems, 23rd Nordic Conference, NordSec 2018. Lecture Notes in Computer Science, vol 11252. Springer, Cham (2018, November 02)
No Random, No Ransom: A Key to Stop Cryptographic Ransomware; ;
in Proceedings of the 15th Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (2018)
Security Analysis of Key Acquiring Strategies Used by Cryptographic Ransomware; ;
in Advances in Cybersecurity 2018 (2018)
A Security Analysis, and a Fix, of a Code-Corrupted Honeywords System; ; ;
in Proceedings of the 4th International Conference on Information Systems Security and Privacy (2018)
Electryo, In-person Voting with Transparent Voter Verifiability and Eligibility Verifiability; ;
E-print/Working paper (2018)
Cholesteric Liquid Crystal Shells as Enabling Material for Information-Rich Design and Architecture.; ; ; ; ;
in Advanced Materials (2018)
Facilitating Privacy-preserving Recommendation-as-a-Service with Machine Learning; ; ;
Poster (2018, October)
2017
The Cipher, the Random and the Ransom: A Survey on Current and Future Ransomware; ;
in Advances in Cybersecurity 2017 (2017)
Using Selene to Verify your Vote in JCJ; ; ;
in Workshop on Advances in Secure Electronic Voting (VOTING'17) (2017, April 07)
Security in the Shell : An Optical Physical Unclonable Function made of Shells of Cholesteric Liquid Crystals; ; ; ; ; ;
in Proc. of the 9th IEEE Workshop on Information Forensics and Security (2017, October 02)
2016
Financial Cryptography and Data Security - FC 2016 International Workshops, BITCOIN, VOTING, and WAHC; ; ; ; ;
Book published by Springer (2016)
(Universal) Unconditional Verifiability in E-Voting without Trusted Parties; ; ;
E-print/Working paper (2016)
Real-World Electronic Voting: Design, Analysis and Deployment;
Book published by Auerbach Publications (2016)
Crypto Santain The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday (2016)
The New Codebreakers - Essays Dedicated to David Kahn on the Occasion of His 85th Birthday; ;
Book published by Springer (2016)
Selene: Voting with Transparent Verifiability and Coercion-Mitigation; ;
in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015
Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt; ;
in The International Workshop on AI for Privacy and Security (PrAISe), 2016. (2016)
2015
Information Leakage due to Revealing Randomly Selected Bits; ;
in Security Protocols XXIII: Lecture Notes in Computer Science, Volume 9379, 2015 (2015, November 25)
A Secure Exam Protocol Without Trusted Parties; ; ;
in ICT Systems Security and Privacy Protection. 30th IFIP TC 11 International Conference, SEC 2015, Hamburg, Germany, May 26-28, 2015 (2015)
Formal Security Analysis of Traditional and Electronic Exams; ; ; ; ;
in Communications in Computer and Information Science (2015), 554
Selene: Voting with Transparent Verifiability and Coercion-Mitigation; ;
in Abstract book of 1st Workshop on Advances in Secure Electronic Voting (2016), 2015
End-to-End Verifiability in Voting Systems, from Theory to Practice; ;
in IEEE Security and Privacy (2015), 13(3), 59-62
2014
Trapdoor Privacy in Asymmetric Searchable Encryption Schemes; ;
in Progress in Cryptology -- AFRICACRYPT 2014, Marrakesh 28-30 May 2014 (2014)
Formal Analysis of Electronic Exams; ; ; ; ;
in SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (2014)
Remark!: A Secure Protocol for Remote Exams; ;
in Security Protocols XXII - Lecture Notes in Computer Science (2014)
DoubleMod and SingleMod: Simple Randomized Secret-Key Encryption with Bounded Homomorphicity; ; ; ; ;
in IACR Cryptology ePrint Archive (2014)
2013
Faster Print on Demand for Prêt à Voter; ; ; ; ;
in Journal of Election Technology and Systems (2013), 2(1),
Proving Prêt à Voter Receipt Free Using Computational Security Models; ;
in USENIX Journal of Election Technology and Systems (2013), 1(1), 62-81
Password-based Authenticated Key Establishment Protocols; ; ;
in Computer And Information Security Handbook (2013)
Verifiable postal voting; ;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Enhancements to prepare-and-measure based QKD protocols;
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2013)
Caveat Coercitor: coercion-evidence in electronic voting; ; ;
in 2013 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP) (2013)
Generalized Information Theory for Hints; ;
in International Journal of Approximate Reasoning (2013), 54(1), 228-251
Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting; ; ; ; ;
in 53 USENIX Journal of Election Technology and Systems (JETS) (2013), 1(1), 53-61
Faster print on demand for Prêt à Voter; ; ; ; ;
in USENIX Journal of Election Technology and Systems (JETS) (2013), 2(1),
2012
A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission; ; ; ; ; ; ; ; ;
in EVOTE 2012 (2012)
Foreword from the Programme Chairs-STAST 2012;
in Socio-Technical Aspects in Security and Trust (STAST), 2012 Workshop on (2012)
Using Prêt à Voter in Victorian State Elections; ; ; ; ; ; ; ; ;
in Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (2012)
2011
STAST 2011 Proc. of the 1st Workshop on Socio-Technical Aspects in Security and Trust; ; ;
Book published by IEEE (2011)
A Modular Multi-Modal Specification of Real-Timed, End-To-End Voter-Verifiable Voting Systems;
in 2011 International Workshop on Requirements Engineering for Electronic Voting Systems (REVOTE) (2011)
2010
Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface; ; ; ; ; ;
in Proc. 11th International Conference on Cryptology in India (IndoCrypt'10) (2010)
