CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. - Erik Poll; C. Hemerik; Huub M. M. ten Eikelder (RAIRO Theor. Informatics Appl., 1993)

Pure Type Systems with Definitions. - Paula Severi; Erik Poll (LFCS, 1994)

System F with Width-Subtyping and Record Updating. - Erik Poll (TACS, 1997)

Expansion Postponement for Normalising Pure Type Systems. - Erik Poll (J. Funct. Program., 1998)

Safe Proof Checking in Type Theory with Y. - Herman Geuvers; Erik Poll; Jan Zwanenburg (CSL, 1999)

A Logic for Abstract Data Types as Existential Types. - Erik Poll; Jan Zwanenburg (TLCA, 1999)

A Type-Theoretic Memory Model for Verification of Sequential Java Programs. - Joachim van den Berg; Marieke Huisman; Bart Jacobs 001; Erik Poll (WADT, 1999)

A Monad for Basic Java Semantics. - Bart Jacobs 001; Erik Poll (AMAST, 2000)

Specification of the JavaCard API in JML. - Erik Poll; Joachim van den Berg; Bart Jacobs 001 (CARDIS, 2000)

Integrating Computer Algebra and Reasoning through the Type System of Aldor. - Erik Poll; Simon J. Thompson (FroCoS, 2000)

Formal Specification and Verification of JavaCard's Application Identifier Class. - Joachim van den Berg; Bart Jacobs 001; Erik Poll (Java Card Workshop, 2000)

JML (poster session): notations and tools supporting detailed design in Java. - Gary T. Leavens; Clyde Ruby; K. Rustan M. Leino; Erik Poll; Bart Jacobs 001 (OOPSLA Addendum, 2000)

A Coalgebraic Semantics of Subtyping. - Erik Poll (CMCS, 2000)

Formal Techniques for Java Programs. - Gary T. Leavens; Sophia Drossopoulou; Susan Eisenbach; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2001)

Towards a Full Formal Specification of the JavaCard API. - Hans Meijer; Erik Poll (E-smart, 2001)

A Logic for the Java Modeling Language JML. - Bart Jacobs 001; Erik Poll (FASE, 2001)

Formal specification of the JavaCard API in JML: the APDU class. - Erik Poll; Joachim van den Berg; Bart Jacobs 001 (Comput. Networks, 2001)

From Algebras and Coalgebras to Dialgebras. - Erik Poll; Jan Zwanenburg (CMCS, 2001)

A Java Reference Model of Transacted Memory for Smart Cards. - Erik Poll; Pieter H. Hartel; Eduard de Jong (CARDIS, 2002)

Formal Techniques for Java-like Programs. - Sophia Drossopoulou; Susan Eisenbach; Gary T. Leavens; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2002)

Formal Techniques for Java-Like Programs. - Susan Eisenbach; Gary T. Leavens; Peter Müller 001; Arnd Poetzsch-Heffter; Erik Poll (ECOOP Workshops, 2003)

Java Program Verification at Nijmegen: Developments and Perspective. - Bart Jacobs 001; Erik Poll (ISSS, 2003)

From Finite State Machines to Provably Correct Java Card Applets. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SEC, 2003)

Implementing a Formally Verifiable Security Protocol in Java Card. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SPC, 2003)

Coalgebras and monads in the semantics of Java. - Bart Jacobs 001; Erik Poll (Theor. Comput. Sci., 2003)

Formal Techniques for Java-Like Programs (FTfJP). - Alessandro Coglio; Marieke Huisman; Joseph Kiniry; Peter Müller 001; Erik Poll (ECOOP Workshops, 2004)

Reasoning about Card Tears and Transactions in Java Card. - Engelbert Hubbers; Erik Poll (FASE, 2004)

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. - Patrice Chalin; Joseph R. Kiniry; Gary T. Leavens; Erik Poll (FMCO, 2005)

An overview of JML tools and applications. - Lilian Burdy; Yoonsik Cheon; David R. Cok; Michael D. Ernst; Joseph R. Kiniry; Gary T. Leavens; K. Rustan M. Leino; Erik Poll (Int. J. Softw. Tools Technol. Transf., 2005)

MOBIUS: Mobility, Ubiquity, Security. - Gilles Barthe; Lennart Beringer; Pierre Crégut; Benjamin Grégoire; Martin Hofmann 001; Peter Müller 001; Erik Poll; Germán Puebla; Ian Stark; Eric Vétillard (TGC, 2006)

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. - Gary T. Leavens; Joseph R. Kiniry; Erik Poll (CAV, 2007)

Immutable Objects for a Java-Like Language. - Christian Haack; Erik Poll; Jan Schäfer; Aleksy Schubert (ESOP, 2007)

AHA: Amortized Heap Space Usage Analysis. - Marko C. J. D. van Eekelen; Olha Shkaravska; Ron van Kesteren; Bart Jacobs 001; Erik Poll; Sjaak Smetsers (Trends in Functional Programming, 2007)

Malicious Code on Java Card Smartcards: Attacks and Countermeasures. - Wojciech Mostowski; Erik Poll (CARDIS, 2008)

Type-Based Object Immutability with Flexible Initialization. - Christian Haack; Erik Poll (ECOOP, 2009)

Model-Based Testing of Electronic Passports. - Wojciech Mostowski; Erik Poll; Julien Schmaltz; Jan Tretmans; Ronny Wichers Schreur (FMICS, 2009)

Teaching Program Specification and Verification Using JML and ESC/Java2. - Erik Poll (TFM, 2009)

Midlet Navigation Graphs in JML. - Wojciech Mostowski; Erik Poll (SBMF, 2010)

Formal Analysis of the EMV Protocol Suite. - Joeri de Ruiter; Erik Poll (TOSCA, 2011)

Designed to Fail: A USB-Connected Reader for Online Banking. - Arjan Blom; Gerhard de Koning Gans; Erik Poll; Joeri de Ruiter; Roel Verdult (NordSec, 2012)

A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers. - Fabian van den Broek; Erik Poll (AFRICACRYPT, 2013)

A security protocol for information-centric networking in smart grids. - Bárbara Vieira; Erik Poll (SEGS@CCS, 2013)

Formal Models of Bank Cards for Free. - Fides Aarts; Joeri de Ruiter; Erik Poll (ICST Workshops, 2013)

The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions. - Erik Poll; Joeri de Ruiter (IDMAN, 2013)

Using Trusted Execution Environments in Two-factor Authentication: comparing approaches. - Roland van Rijswijk-Deij; Erik Poll (Open Identity Summit, 2013)

Analysis of Secure Key Storage Solutions on Android. - Tim Cooijmans; Joeri de Ruiter; Erik Poll (SPSM@CCS, 2014)

Automated Reverse Engineering using Lego®. - Georg Chalupar; Stefan Peherstorfer; Erik Poll; Joeri de Ruiter (WOOT, 2014)

A security architecture for the publish/subscribe C-DAX middleware. - Florian Heimgaertner; Michael Hoefling; Bárbara Vieira; Erik Poll; Michael Menth (ICC Workshops, 2015)

Securing the Information Infrastructure for EV Charging. - Fabian van den Broek; Erik Poll; Bárbara Vieira (WISATS, 2015)

An RFID Skimming Gate Using Higher Harmonics. - René Habraken; Peter Dolron; Erik Poll; Joeri de Ruiter (RFIDSec, 2015)

Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. - Erik Poll; Joeri de Ruiter; Aleksy Schubert (IEEE Symposium on Security and Privacy Workshops, 2015)

Protocol State Fuzzing of TLS Implementations. - Joeri de Ruiter; Erik Poll (USENIX Security Symposium, 2015)

An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks. - Wei Koong Chai; Ning Wang 001; Konstantinos V. Katsaros; George Kamel; George Pavlou; Stijn Melis; Michael Hoefling; Bárbara Vieira; Paolo Romano 001; Styliani Sarri; Teklemariam Tsegay Tesfay; Binxu Yang; et al. (IEEE Trans. Smart Grid, 2015)

Logical Attacks on Secured Containers of the Java Card Platform. - Sergei Volokitin; Erik Poll (CARDIS, 2016)

Model learning and model checking of SSH implementations. - Paul Fiterau-Brostean; Toon Lenaerts; Erik Poll; Joeri de Ruiter; Frits W. Vaandrager; Patrick Verleg (SPIN, 2017)

What Blockchain Alternative Do You Need? - Tommy Koens; Erik Poll (DPM/CBT@ESORICS, 2018)

The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices. - Tommy Koens; Erik Poll (Euro-Par Workshops, 2018)

Inferring OpenVPN State Machines Using Protocol State Fuzzing. - Lesly-Ann Daniel; Erik Poll; Joeri de Ruiter (EuroS&P Workshops, 2018)

A Standard Driven Software Architecture for Fully Autonomous Vehicles. - Alexandru Constantin Serban; Erik Poll; Joost Visser 001 (ICSA Companion, 2018)

A Security Analysis of the ETSI ITS Vehicular Communications. - Alexandru Constantin Serban; Erik Poll; Joost Visser 001 (SAFECOMP Workshops, 2018)

LangSec Revisited: Input Security Flaws of the Second Kind. - Erik Poll (IEEE Symposium on Security and Privacy Workshops, 2018)

Tactical Safety Reasoning. A Case for Autonomous Vehicles. - Alexandru Constantin Serban; Erik Poll; Joost Visser 001 (VTC Spring, 2018)

Adversarial Examples - A Complete Characterisation of the Phenomenon. - Alexandru Constantin Serban; Erik Poll (CoRR, 2018)

Is Java Card ready for hash-based signatures? - Ebo van der Laan; Erik Poll; Joost Rijneveld; Joeri de Ruiter; Peter Schwabe; Jan Verschuren (IACR Cryptol. ePrint Arch., 2018)

Strings Considered Harmful. - Erik Poll (login Usenix Mag., 2018)

Non-Repudiation and End-to-End Security for Electric-Vehicle Charging. - Pol Van Aubel; Erik Poll; Joost Rijneveld (ISGT Europe, 2019)

Assessing interoperability solutions for distributed ledgers. - Tommy Koens; Erik Poll (Pervasive Mob. Comput., 2019)

Drivers and Impediments: Experts Opinions on Blockchain Adoption in the Netherlands. - Maarten Vergouwen; Tommy Koens; Erik Poll (BCCA, 2020)

Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty. - Alex Serban; Erik Poll; Joost Visser 001 (ECSA, 2020)

Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements. - Tommy Koens; Erik Poll (Euro-Par Workshops, 2020)

Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise. - Alex Serban; Erik Poll; Joost Visser 001 (ICANN (1), 2020)

Compromised Through Compression - Privacy Implications of Smart Meter Traffic Analysis. - Pol Van Aubel; Erik Poll (SecureComm (2), 2021)

Blockchain adoption drivers: The rationality of irrational choices. - Tommy Koens; Pol Van Aubel; Erik Poll (Concurr. Comput. Pract. Exp., 2021)

Deep Repulsive Prototypes for Adversarial Robustness. - Alex Serban; Erik Poll; Joost Visser 001 (CoRR, 2021)

Adversarial Examples on Object Recognition: A Comprehensive Survey. - Alexandru Constantin Serban; Erik Poll; Joost Visser 001 (ACM Comput. Surv., 2021)

Security of EV-Charging Protocols. - Pol Van Aubel; Erik Poll (CoRR, 2022)

Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations. - Seyed Behnam Andarzian; Cristian Daniele; Erik Poll (FPS (1), 2023)

Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. - Marcello Maugeri; Cristian Daniele; Giampaolo Bella; Erik Poll (ICISSP, 2023)

Data Processing Diagrams - A Modeling Technique for Privacy in Complex Data Processing Systems. - Job Doesburg; Pascal van Gastel; Bernard van Gastel; Erik Poll (Privacy and Identity Management, 2024)

Stateful Fuzzing of OPC UA. - Cristian Daniele; Mark Fijneman; Erik Poll (SecITC, 2024)

Uses of Active and Passive Learning in Stateful Fuzzing. - Cristian Daniele; Seyed Behnam Andarzian; Erik Poll (CoRR, 2024)

Fuzzers for Stateful Systems: Survey and Research Directions. - Cristian Daniele; Seyed Behnam Andarzian; Erik Poll (ACM Comput. Surv., 2024)

Email Smuggling with Differential Fuzzing of MIME Parsers. - Seyed Behnam Andarzian; Martin Meyers; Erik Poll (SP (Workshops), 2025)

On the (in)efficiency of fuzzing network protocols. - Seyed Behnam Andarzian; Cristian Daniele; Erik Poll (Ann. des Télécommunications, 2025)