Erik Poll

According to our database, Erik Poll authored at least 80 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Fuzzers for Stateful Systems: Survey and Research Directions.

Cristian Daniele, Seyed Behnam Andarzian, Erik Poll

ACM Comput. Surv., September, 2024

Uses of Active and Passive Learning in Stateful Fuzzing.

Cristian Daniele, Seyed Behnam Andarzian, Erik Poll

CoRR, 2024

2023

Evaluating the Fork-Awareness of Coverage-Guided Fuzzers.

Marcello Maugeri, Cristian Daniele, Giampaolo Bella, Erik Poll

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Green-Fuzz: Efficient Fuzzing for Network Protocol Implementations.

Seyed Behnam Andarzian, Cristian Daniele, Erik Poll

Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023

2022

Security of EV-Charging Protocols.

Pol Van Aubel, Erik Poll

CoRR, 2022

2021

Adversarial Examples on Object Recognition: A Comprehensive Survey.

Alexandru Constantin Serban, Erik Poll, Joost Visser

ACM Comput. Surv., 2021

Deep Repulsive Prototypes for Adversarial Robustness.

Alex Serban, Erik Poll, Joost Visser

CoRR, 2021

Blockchain adoption drivers: The rationality of irrational choices.

Tommy Koens, Pol Van Aubel, Erik Poll

Concurr. Comput. Pract. Exp., 2021

Compromised Through Compression - Privacy Implications of Smart Meter Traffic Analysis.

Pol Van Aubel, Erik Poll

Proceedings of the Security and Privacy in Communication Networks, 2021

2020

Learning to Learn from Mistakes: Robust Optimization for Adversarial Noise.

Alex Serban, Erik Poll, Joost Visser

Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2020, 2020

Blockchain Utility in Use Cases: Observations, Red Flags, and Requirements.

Tommy Koens, Erik Poll

Proceedings of the Euro-Par 2020: Parallel Processing Workshops, 2020

Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty.

Alex Serban, Erik Poll, Joost Visser

Proceedings of the Software Architecture - 14th European Conference, 2020

Drivers and Impediments: Experts Opinions on Blockchain Adoption in the Netherlands.

Maarten Vergouwen, Tommy Koens, Erik Poll

Proceedings of the 2020 Second International Conference on Blockchain Computing and Applications, 2020

2019

Assessing interoperability solutions for distributed ledgers.

Tommy Koens, Erik Poll

Pervasive Mob. Comput., 2019

Non-Repudiation and End-to-End Security for Electric-Vehicle Charging.

Pol Van Aubel, Erik Poll, Joost Rijneveld

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

2018

Strings Considered Harmful.

Erik Poll

login Usenix Mag., 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

Adversarial Examples - A Complete Characterisation of the Phenomenon.

Alexandru Constantin Serban, Erik Poll

CoRR, 2018

Tactical Safety Reasoning. A Case for Autonomous Vehicles.

Alexandru Constantin Serban, Erik Poll, Joost Visser

Proceedings of the 87th IEEE Vehicular Technology Conference, 2018

LangSec Revisited: Input Security Flaws of the Second Kind.

Erik Poll

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

A Security Analysis of the ETSI ITS Vehicular Communications.

Alexandru Constantin Serban, Erik Poll, Joost Visser

Proceedings of the Computer Safety, Reliability, and Security, 2018

A Standard Driven Software Architecture for Fully Autonomous Vehicles.

Alexandru Constantin Serban, Erik Poll, Joost Visser

Proceedings of the 2018 IEEE International Conference on Software Architecture Companion, 2018

Inferring OpenVPN State Machines Using Protocol State Fuzzing.

Lesly-Ann Daniel, Erik Poll, Joeri de Ruiter

Proceedings of the 2018 IEEE European Symposium on Security and Privacy Workshops, 2018

The Drivers Behind Blockchain Adoption: The Rationality of Irrational Choices.

Tommy Koens, Erik Poll

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

What Blockchain Alternative Do You Need?

Tommy Koens, Erik Poll

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018

2017

Model learning and model checking of SSH implementations.

Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

Logical Attacks on Secured Containers of the Java Card Platform.

Sergei Volokitin, Erik Poll

Proceedings of the Smart Card Research and Advanced Applications, 2016

2015

An Information-Centric Communication Infrastructure for Real-Time State Estimation of Active Distribution Networks.

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

IEEE Trans. Smart Grid, 2015

Protocol State Fuzzing of TLS Implementations.

Joeri de Ruiter, Erik Poll

Proceedings of the 24th USENIX Security Symposium, 2015

Protocol State Machines and Session Languages: Specification, implementation, and Security Flaws.

Erik Poll, Joeri de Ruiter, Aleksy Schubert

Proceedings of the 2015 IEEE Symposium on Security and Privacy Workshops, 2015

An RFID Skimming Gate Using Higher Harmonics.

René Habraken, Peter Dolron, Erik Poll, Joeri de Ruiter

Proceedings of the Radio Frequency Identification. Security and Privacy Issues, 2015

Securing the Information Infrastructure for EV Charging.

Fabian van den Broek, Erik Poll, Bárbara Vieira

Proceedings of the Wireless and Satellite Systems, 2015

A security architecture for the publish/subscribe C-DAX middleware.

Florian Heimgaertner, Michael Hoefling, Bárbara Vieira, Erik Poll, Michael Menth

Proceedings of the IEEE International Conference on Communication, 2015

2014

Automated Reverse Engineering using Lego®.

Georg Chalupar, Stefan Peherstorfer, Erik Poll, Joeri de Ruiter

Proceedings of the 8th USENIX Workshop on Offensive Technologies, 2014

Analysis of Secure Key Storage Solutions on Android.

Tim Cooijmans, Joeri de Ruiter, Erik Poll

Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones & Mobile Devices, 2014

2013

Using Trusted Execution Environments in Two-factor Authentication: comparing approaches.

Roland van Rijswijk-Deij, Erik Poll

Proceedings of the Open Identity Summit 2013, September 9th, 2013

The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions.

Erik Poll, Joeri de Ruiter

Proceedings of the Policies and Research in Identity Management, 2013

Formal Models of Bank Cards for Free.

Fides Aarts, Joeri de Ruiter, Erik Poll

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

A security protocol for information-centric networking in smart grids.

Bárbara Vieira, Erik Poll

Proceedings of the SEGS'13, 2013

A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers.

Fabian van den Broek, Erik Poll

Proceedings of the Progress in Cryptology, 2013

2012

Designed to Fail: A USB-Connected Reader for Online Banking.

Arjan Blom, Gerhard de Koning Gans, Erik Poll, Joeri de Ruiter, Roel Verdult

Proceedings of the Secure IT Systems - 17th Nordic Conference, 2012

2011

Formal Analysis of the EMV Protocol Suite.

Joeri de Ruiter, Erik Poll

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

2010

Midlet Navigation Graphs in JML.

Wojciech Mostowski, Erik Poll

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

Teaching Program Specification and Verification Using JML and ESC/Java2.

Erik Poll

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

Model-Based Testing of Electronic Passports.

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Type-Based Object Immutability with Flexible Initialization.

Christian Haack, Erik Poll

Proceedings of the ECOOP 2009, 2009

2008

Malicious Code on Java Card Smartcards: Attacks and Countermeasures.

Wojciech Mostowski, Erik Poll

Proceedings of the Smart Card Research and Advanced Applications, 2008

2007

AHA: Amortized Heap Space Usage Analysis.

Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers

Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Immutable Objects for a Java-Like Language.

Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert

Proceedings of the Programming Languages and Systems, 2007

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java.

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

MOBIUS: Mobility, Ubiquity, Security.

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

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

Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2.

Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Reasoning about Card Tears and Transactions in Java Card.

Engelbert Hubbers, Erik Poll

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Formal Techniques for Java-Like Programs (FTfJP).

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003

Coalgebras and monads in the semantics of Java.

Bart Jacobs, Erik Poll

Theor. Comput. Sci., 2003

Implementing a Formally Verifiable Security Protocol in Java Card.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security in Pervasive Computing, 2003

From Finite State Machines to Provably Correct Java Card Applets.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

Java Program Verification at Nijmegen: Developments and Perspective.

Bart Jacobs, Erik Poll

Proceedings of the Software Security, 2003

Formal Techniques for Java-Like Programs.

Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

Formal Techniques for Java-like Programs.

Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology, 2002

A Java Reference Model of Transacted Memory for Smart Cards.

Erik Poll, Pieter H. Hartel, Eduard de Jong

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002

2001

From Algebras and Coalgebras to Dialgebras.

Erik Poll, Jan Zwanenburg

Proceedings of the Coalgebraic Methods in Computer Science, 2001

Formal specification of the JavaCard API in JML: the APDU class.

Erik Poll, Joachim van den Berg, Bart Jacobs

Comput. Networks, 2001

A Logic for the Java Modeling Language JML.

Bart Jacobs, Erik Poll

Proceedings of the Fundamental Approaches to Software Engineering, 2001

Towards a Full Formal Specification of the JavaCard API.

Hans Meijer, Erik Poll

Proceedings of the Smart Card Programming and Security, 2001

Formal Techniques for Java Programs.

Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll

Proceedings of the Object-Oriented Technology ECOOP 2001 Workshop Reader, 2001

2000

A Coalgebraic Semantics of Subtyping.

Erik Poll

Proceedings of the Coalgebraic Methods in Computer Science, 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

Proceedings of the Addendum to the 2000 Proceedings of the Conference on Object-Oriented Programming Systems, 2000

Formal Specification and Verification of JavaCard's Application Identifier Class.

Joachim van den Berg, Bart Jacobs, Erik Poll

Proceedings of the Java on Smart Cards: Programming and Security, 2000

Integrating Computer Algebra and Reasoning through the Type System of Aldor.

Erik Poll, Simon J. Thompson

Proceedings of the Frontiers of Combining Systems, 2000

Specification of the JavaCard API in JML.

Erik Poll, Joachim van den Berg, Bart Jacobs

Proceedings of the Smart Card Research and Advanced Applications, 2000

A Monad for Basic Java Semantics.

Bart Jacobs, Erik Poll

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

A Logic for Abstract Data Types as Existential Types.

Erik Poll, Jan Zwanenburg

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

Safe Proof Checking in Type Theory with Y.

Herman Geuvers, Erik Poll, Jan Zwanenburg

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998

Expansion Postponement for Normalising Pure Type Systems.

Erik Poll

J. Funct. Program., 1998

1997

System F with Width-Subtyping and Record Updating.

Erik Poll

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1994

Pure Type Systems with Definitions.

Paula Severi, Erik Poll

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1993

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