Erik Poll

Cited by

	All	Since 2017
Citations	5396	1723
h-index	37	20
i10-index	81	36

420

210

105

315

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202217 45 92 98 127 166 247 269 318 253 279 262 249 246 199 219 212 223 209 267 308 378 404 154

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gary T. LeavensProfessor, University of Central FloridaVerified email at cs.ucf.edu
Joseph KiniryPrincipal Scientist, Galois and Principled CEO & Chief Scientist, Free & FairVerified email at acm.org
Joeri de RuiterSpecialist security and privacy at SURFVerified email at surf.nl
Yoonsik CheonThe University of Texas at El PasoVerified email at utep.edu
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Engelbert HubbersLecturer Radboud UniversityVerified email at cs.ru.nl
Alex SerbanSiemens HealthineersVerified email at cs.ru.nl
Tommy KoensRadboud universityVerified email at cs.ru.nl
Aleksy SchubertUniversity of Warsaw, Faculty of Mathematics, Informatics and MechanicsVerified email at mimuw.edu.pl
Marieke HuismanVerified email at ewi.utwente.nl
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Barbara VieiraVerified email at tomtom.com
Daniel M. ZimmermanSenior Staff Research Scientist, CertiKVerified email at acm.org
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Michael MenthProfessor of Computer Networks, Department of Computer Science, University of TuebingenVerified email at uni-tuebingen.de
Simon ThompsonTechnical Project Director, dApp Platform, IOHK; Professor, University of Kent and ELTEVerified email at kent.ac.uk
Fides AartsASMLVerified email at asml.com

Erik Poll

Radboud University Nijmegen

Verified email at cs.ru.nl - Homepage

Software security smartcards LangSec formal methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An overview of JML tools and applications L Burdy, Y Cheon, DR Cok, MD Ernst, JR Kiniry, GT Leavens, KRM Leino, ... International journal on software tools for technology transfer 7 (3), 212-232, 2005	857	2005
An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, K Rustan, ... Electronic Notes in Theoretical Computer Science 80, 75-91, 2003	334	2003
Beyond assertions: Advanced specification and verification with JML and ESC/Java2 P Chalin, JR Kiniry, GT Leavens, E Poll International Symposium on Formal Methods for Components and Objects, 342-363, 2005	323	2005
JML: notations and tools supporting detailed design in Java GT Leavens, C Ruby, KRM Leino, E Poll, B Jacobs Addendum to the 2000 proceedings of the conference on Object-oriented …, 2000	241	2000
Protocol State Fuzzing of TLS Implementations J De Ruiter, E Poll 24th {USENIX} Security Symposium ({USENIX} Security 15), 193-206, 2015	227	2015
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, J Kiniry	179	2004
A logic for the Java Modeling Language JML B Jacobs, E Poll International Conference on Fundamental Approaches to Software Engineering …, 2001	135	2001
EMV in a nutshell J van den Breekel, DA Ortiz-Yepes, E Poll, J de Ruiter Technical Report, 2016 [retrieved on Mar. 25, 2019]. Retrieved from Internet …, 2016	120	2016
Java program verification at Nijmegen: Developments and perspective B Jacobs, E Poll International Symposium on Software Security, 134-153, 2003	120	2003
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	117	2008
Malicious code on Java Card smartcards: Attacks and countermeasures W Mostowski, E Poll International Conference on Smart Card Research and Advanced Applications, 1-16, 2008	108	2008
Formal models of bank cards for free F Aarts, J De Ruiter, E Poll 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	103	2013
Pure type systems with definitions P Severi, E Poll International Symposium on Logical Foundations of Computer Science, 316-328, 1994	96*	1994
SmartCards and RFID L Batina, E Poll Course PowerPoint Presentation for IPA Security Course, Digital Security at …, 0	90
Specification of the JavaCard API in JML E Poll, J Berg, B Jacobs Smart Card Research and Advanced Applications, 135-154, 2000	83	2000
Analysis of secure key storage solutions on Android T Cooijmans, J de Ruiter, E Poll Proceedings of the 4th ACM Workshop on Security and Privacy in Smartphones …, 2014	78	2014
A type-theoretic memory model for verification of sequential Java programs J Berg, M Huisman, B Jacobs, E Poll International Workshop on Algebraic Development Techniques, 1-21, 1999	77	1999
What blockchain alternative do you need? T Koens, E Poll Data Privacy Management, Cryptocurrencies and Blockchain Technology, 113-129, 2018	73	2018
Formal analysis of the EMV protocol suite J Ruiter, E Poll Joint Workshop on Theory of Security and Applications, 113-129, 2011	71	2011
An information-centric communication infrastructure for real-time state estimation of active distribution networks WK Chai, N Wang, KV Katsaros, G Kamel, G Pavlou, S Melis, M Hoefling, ... IEEE Transactions on Smart Grid 6 (4), 2134-2146, 2015	64	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors