| 2025 | ESORICS | LibAFLstar: Fast and State-Aware Protocol Fuzzing. | Cristian Daniele, Timme Bethe, Marcello Maugeri, Andrea Continella, Erik Poll |
| 2025 | SP | Email Smuggling with Differential Fuzzing of MIME Parsers. | Seyed Behnam Andarzian, Martin Meyers, Erik Poll |
| 2023 | ICISSP | Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. | Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll |
| 2021 | SecureComm | Compromised Through Compression - Privacy Implications of Smart Meter Traffic Analysis. | Pol Van Aubel, Erik Poll |
| 2020 | ECSA | Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty. | Alex Serban, Erik Poll, Joost Visser |
| 2020 | EuroPar | Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements. | Tommy Koens, Erik Poll |
| 2020 | ICANN | Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise. | Alex Serban, Erik Poll, Joost Visser |
| 2018 | ESORICS | What Blockchain Alternative Do You Need? | Tommy Koens, Erik Poll |
| 2018 | EuroPar | The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices. | Tommy Koens, Erik Poll |
| 2018 | ICSA | A Standard Driven Software Architecture for Fully Autonomous Vehicles. | Alexandru Constantin Serban, Erik Poll, Joost Visser |
| 2018 | IWSEC | Is Java Card Ready for Hash-Based Signatures? | Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren |
| 2018 | VTC | Tactical Safety Reasoning. A Case for Autonomous Vehicles. | Alexandru Constantin Serban, Erik Poll, Joost Visser |
| 2018 | SP | LangSec Revisited: Input Security Flaws of the Second Kind. | Erik Poll |
| 2018 | SAFECOMP | A Security Analysis of the ETSI ITS Vehicular Communications. | Alexandru Constantin Serban, Erik Poll, Joost Visser |
| 2016 | CARDIS | Logical Attacks on Secured Containers of the Java Card Platform. | Sergei Volokitin, Erik Poll |
| 2015 | SP | Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. | Erik Poll, Joeri de Ruiter, Aleksy Schubert |
| 2014 | CCS | Analysis of Secure Key Storage Solutions on Android. | Tim Cooijmans, Joeri de Ruiter, Erik Poll |
| 2013 | CCS | A security protocol for information-centric networking in smart grids. | Brbara Vieira, Erik Poll |
| 2013 | ICST | Formal Models of Bank Cards for Free. | Fides Aarts, Joeri de Ruiter, Erik Poll |
| 2009 | ECOOP | Type-Based Object Immutability with Flexible Initialization. | Christian Haack, Erik Poll |
| 2009 | FMICS | Model-Based Testing of Electronic Passports. | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
| 2008 | CARDIS | Malicious Code on Java Card Smartcards: Attacks and Countermeasures. | Wojciech Mostowski, Erik Poll |
| 2007 | CAV | A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. | Gary T. Leavens, Joseph R. Kiniry, Erik Poll |
| 2007 | ESOP | Immutable Objects for a Java-Like Language. | Christian Haack, Erik Poll, Jan Schfer, Aleksy Schubert |
| 2004 | FASE | Reasoning about Card Tears and Transactions in Java Card. | Engelbert Hubbers, Erik Poll |
| 2003 | SEC | From Finite State Machines to Provably Correct Java Card Applets. | Engelbert Hubbers, Martijn Oostdijk, Erik Poll |
| 2002 | CARDIS | A Java Reference Model of Transacted Memory for Smart Cards. | Erik Poll, Pieter H. Hartel, Eduard de Jong |
| 2001 | FASE | A Logic for the Java Modeling Language JML. | Bart Jacobs, Erik Poll |
| 2000 | CARDIS | Specification of the JavaCard API in JML. | Erik Poll, Joachim van den Berg, Bart Jacobs |
| 2000 | OOPSLA | JML (poster session): notations and tools supporting detailed design in Java. | Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs |
| 1999 | CSL | Safe Proof Checking in Type Theory with Y. | Herman Geuvers, Erik Poll, Jan Zwanenburg |
| 1994 | LFCS | Pure Type Systems with Definitions. | Paula Severi, Erik Poll |