Erik Poll - RankMe

94 papers A* 2A 2B 4C 7Misc 3Journal 23Unranked 53

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