Erik Poll

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 33

Top Topics

Inherent Uncertainty

Top Venues

IEEE Symposium on Security and Privacy Workshops

Euro-Par Workshops

ACM Comput. Surv.

Publications

Cristian Daniele, Seyed Behnam Andarzian, Erik Poll
Fuzzers for Stateful Systems: Survey and Research Directions. ACM Comput. Surv. 56 (9) (2024)
Cristian Daniele, Seyed Behnam Andarzian, Erik Poll
Uses of Active and Passive Learning in Stateful Fuzzing. CoRR (2024)
Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. ICISSP (2023)
Cristian Daniele, Seyed Behnam Andarzian, Erik Poll
Fuzzers for stateful systems: Survey and Research Directions. CoRR (2023)
Seyed Behnam Andarzian, Cristian Daniele, Erik Poll
Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations. FPS (1) (2023)
Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers. CoRR (2023)
Pol Van Aubel, Erik Poll
Security of EV-Charging Protocols. CoRR (2022)
Tommy Koens, Pol Van Aubel, Erik Poll
Blockchain adoption drivers: The rationality of irrational choices. Concurr. Comput. Pract. Exp. 33 (8) (2021)
Alex Serban, Erik Poll, Joost Visser
Deep Repulsive Prototypes for Adversarial Robustness. CoRR (2021)
Pol Van Aubel, Erik Poll
Compromised Through Compression - Privacy Implications of Smart Meter Traffic Analysis. SecureComm (2) (2021)
Alex Serban, Erik Poll, Joost Visser
Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise. CoRR (2020)
Tommy Koens, Erik Poll
Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements. Euro-Par Workshops (2020)
Alex Serban, Erik Poll, Joost Visser
Adversarial Examples on Object Recognition: A Comprehensive Survey. CoRR (2020)
Alex Serban, Erik Poll, Joost Visser
Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty. ECSA (2020)
Alex Serban, Erik Poll, Joost Visser
Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty. CoRR (2020)
Maarten Vergouwen, Tommy Koens, Erik Poll
Drivers and Impediments: Experts Opinions on Blockchain Adoption in the Netherlands. BCCA (2020)
Alexandru Constantin Serban, Erik Poll, Joost Visser
Adversarial Examples on Object Recognition: A Comprehensive Survey. ACM Comput. Surv. 53 (3) (2020)
Alex Serban, Erik Poll, Joost Visser
Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise. ICANN (1) (2020)
Tommy Koens, Erik Poll
Assessing interoperability solutions for distributed ledgers. Pervasive Mob. Comput. 59 (2019)
Pol Van Aubel, Erik Poll, Joost Rijneveld
Non-Repudiation and End-to-End Security for Electric-Vehicle Charging. ISGT Europe (2019)
Alexandru Constantin Serban, Erik Poll, Joost Visser
A Security Analysis of the ETSI ITS Vehicular Communications. SAFECOMP Workshops (2018)
Erik Poll
LangSec Revisited: Input Security Flaws of the Second Kind. IEEE Symposium on Security and Privacy Workshops (2018)
Alexandru Constantin Serban, Erik Poll
Adversarial Examples - A Complete Characterisation of the Phenomenon. CoRR (2018)
Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren
Is Java Card Ready for Hash-Based Signatures? IWSEC (2018)
Ebo van der Laan, Erik Poll, Joost Rijneveld, Joeri de Ruiter, Peter Schwabe, Jan Verschuren
Is Java Card ready for hash-based signatures? IACR Cryptol. ePrint Arch. 2018 (2018)
Alexandru Constantin Serban, Erik Poll, Joost Visser
A Standard Driven Software Architecture for Fully Autonomous Vehicles. ICSA Companion (2018)
Alexandru Constantin Serban, Erik Poll, Joost Visser
Tactical Safety Reasoning. A Case for Autonomous Vehicles. VTC Spring (2018)
Tommy Koens, Erik Poll
What Blockchain Alternative Do You Need? DPM/CBT@ESORICS (2018)
Erik Poll
Strings Considered Harmful. login Usenix Mag. 43 (4) (2018)
Tommy Koens, Erik Poll
The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices. Euro-Par Workshops (2018)
Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter
Inferring OpenVPN State Machines Using Protocol State Fuzzing. EuroS&P Workshops (2018)
Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
Model learning and model checking of SSH implementations. SPIN (2017)
Sergei Volokitin, Erik Poll
Logical Attacks on Secured Containers of the Java Card Platform. CARDIS (2016)
Florian Heimgaertner, Michael Hoefling, Bárbara Vieira, Erik Poll, Michael Menth
A security architecture for the publish/subscribe C-DAX middleware. ICC Workshops (2015)
Fabian van den Broek, Erik Poll, Bárbara Vieira
Securing the Information Infrastructure for EV Charging. WISATS (2015)
Erik Poll, Joeri de Ruiter, Aleksy Schubert
Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws. IEEE Symposium on Security and Privacy Workshops (2015)
Wei Koong Chai, Ning Wang, Konstantinos V. Katsaros, George Kamel, George Pavlou, Stijn Melis, Michael Hoefling, Bárbara Vieira, Paolo Romano, Styliani Sarri, Teklemariam Tsegay Tesfay, Binxu Yang, Florian Heimgaertner, Marco Pignati, Mario Paolone, Michael Menth, Erik Poll, Marcel Mampaey, Herman H. I. Bontius, Chris Develder
An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks. IEEE Trans. Smart Grid 6 (4) (2015)
Joeri de Ruiter, Erik Poll
Protocol State Fuzzing of TLS Implementations. USENIX Security Symposium (2015)
René Habraken, Peter Dolron, Erik Poll, Joeri de Ruiter
An RFID Skimming Gate Using Higher Harmonics. RFIDSec (2015)
Tim Cooijmans, Joeri de Ruiter, Erik Poll
Analysis of Secure Key Storage Solutions on Android. SPSM@CCS (2014)
Georg Chalupar, Stefan Peherstorfer, Erik Poll, Joeri de Ruiter
Automated Reverse Engineering using Lego®. WOOT (2014)
Fabian van den Broek, Erik Poll
A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers. AFRICACRYPT (2013)
Fides Aarts, Joeri de Ruiter, Erik Poll
Formal Models of Bank Cards for Free. ICST Workshops (2013)
Erik Poll, Joeri de Ruiter
The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions. IDMAN (2013)
Bárbara Vieira, Erik Poll
A security protocol for information-centric networking in smart grids. SEGS@CCS (2013)
Roland van Rijswijk-Deij, Erik Poll
Using Trusted Execution Environments in Two-factor Authentication: comparing approaches. Open Identity Summit (2013)
Arjan Blom, Gerhard de Koning Gans, Erik Poll, Joeri de Ruiter, Roel Verdult
Designed to Fail: A USB-Connected Reader for Online Banking. NordSec (2012)
Joeri de Ruiter, Erik Poll
Formal Analysis of the EMV Protocol Suite. TOSCA (2011)
Wojciech Mostowski, Erik Poll
Midlet Navigation Graphs in JML. SBMF (2010)
Erik Poll
Teaching Program Specification and Verification Using JML and ESC/Java2. TFM (2009)
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
Model-Based Testing of Electronic Passports. FMICS (2009)
Christian Haack, Erik Poll
Type-Based Object Immutability with Flexible Initialization. ECOOP (2009)
Wojciech Mostowski, Erik Poll
Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS (2008)
Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert
Immutable Objects for a Java-Like Language. ESOP (2007)
Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming (2007)
Gary T. Leavens, Joseph R. Kiniry, Erik Poll
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV (2007)
Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard
MOBIUS: Mobility, Ubiquity, Security. TGC (2006)
Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO (2005)
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Engelbert Hubbers, Erik Poll
Reasoning about Card Tears and Transactions in Java Card. FASE (2004)
Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops (2004)
Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll
An overview of JML tools and applications. Electron. Notes Theor. Comput. Sci. 80 (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Implementing a Formally Verifiable Security Protocol in Java Card. SPC (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
From Finite State Machines to Provably Correct Java Card Applets. SEC (2003)
Bart Jacobs, Erik Poll
Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291 (3) (2003)
Bart Jacobs, Erik Poll
Java Program Verification at Nijmegen: Developments and Perspective. ISSS (2003)
Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-Like Programs. ECOOP Workshops (2003)
Erik Poll, Pieter H. Hartel, Eduard de Jong
A Java Reference Model of Transacted Memory for Smart Cards. CARDIS (2002)
Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java-like Programs. ECOOP Workshops (2002)
Erik Poll, Joachim van den Berg, Bart Jacobs
Formal specification of the JavaCard API in JML: the APDU class. Comput. Networks 36 (4) (2001)
Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll
Formal Techniques for Java Programs. ECOOP Workshops (2001)
Erik Poll
A Coalgebraic Semantics of Subtyping. RAIRO Theor. Informatics Appl. 35 (1) (2001)
Erik Poll, Jan Zwanenburg
From Algebras and Coalgebras to Dialgebras. CMCS (2001)
Bart Jacobs, Erik Poll
A Logic for the Java Modeling Language JML. FASE (2001)
Hans Meijer, Erik Poll
Towards a Full Formal Specification of the JavaCard API. E-smart (2001)
Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs
JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum (2000)
Erik Poll, Joachim van den Berg, Bart Jacobs
Specification of the JavaCard API in JML. CARDIS (2000)
Erik Poll
A Coalgebraic Semantics of Subtyping. CMCS (2000)
Joachim van den Berg, Bart Jacobs, Erik Poll
Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop (2000)
Erik Poll, Simon J. Thompson
Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS (2000)
Bart Jacobs, Erik Poll
A Monad for Basic Java Semantics. AMAST (2000)
Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT (1999)
Erik Poll, Jan Zwanenburg
A Logic for Abstract Data Types as Existential Types. TLCA (1999)
Herman Geuvers, Erik Poll, Jan Zwanenburg
Safe Proof Checking in Type Theory with Y. CSL (1999)
Erik Poll
Expansion Postponement for Normalising Pure Type Systems. J. Funct. Program. 8 (1) (1998)
Erik Poll
System F with Width-Subtyping and Record Updating. TACS (1997)
Paula Severi, Erik Poll
Pure Type Systems with Definitions. LFCS (1994)
Erik Poll, C. Hemerik, Huub M. M. ten Eikelder
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. RAIRO Theor. Informatics Appl. 27 (3) (1993)