| 2025 | ESORICS | Hyperion: Transparent End-to-End Verifiable Voting with Coercion Mitigation. | Aditya Damodaran, Simon Rastikian, Peter B. Rnne, Peter Y. A. Ryan |
| 2025 | FC | Voting Without Self-voting. | Peter B. Rnne |
| 2023 | ESORICS | Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. | Constantin Catalin Dragan, Franois Dupressoir, Kristian Gjsteen, Thomas Haines, Peter B. Rnne, Morten Rotvold Solberg |
| 2023 | FC | On the Auditability of the Estonian IVXV System - And an Attack on Individual Verifiability. | Anggrio Sutopo, Thomas Haines, Peter B. Rnne |
| 2022 | ACISP | Verifiable Decryption in the Head. | Kristian Gjsteen, Thomas Haines, Johannes Mller, Peter B. Rnne, Tjerand Silde |
| 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 | New Standards for E-Voting Systems: Reflections on Source Code Examinations. | Thomas Haines, Peter B. Rnne |
| 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 | Vote Selling Resistant Voting. | Colin Boyd, Thomas Haines, Peter B. Rnne |
| 2020 | FC | Short Paper: An Update on Marked Mix-Nets: An Attack, a Fix and PQ Possibilities. | Thomas Haines, Olivier Pereira, Peter B. Rnne |
| 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 | FC | End-to-End Verifiable Quadratic Voting with Everlasting Privacy. | Olivier Pereira, Peter B. Rnne |
| 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 |
| 2017 | FC | Using Selene to Verify Your Vote in JCJ. | Vincenzo Iovino, Alfredo Rial, Peter B. Rnne, Peter Y. A. Ryan |
| 2016 | FC | On the Possibility of Non-interactive E-Voting in the Public-Key Setting. | Rosario Giustolisi, Vincenzo Iovino, Peter B. Rnne |
| 2016 | FC | Selene: Voting with Transparent Verifiability and Coercion-Mitigation. | Peter Y. A. Ryan, Peter B. Rnne, Vincenzo Iovino |