Erik Poll

Cited by

	All	Since 2016
Citations	4913	1497
h-index	34	21
i10-index	76	37

380

190

285

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202115 46 99 97 127 160 240 267 315 251 277 258 248 242 194 216 211 225 220 272 310 363 104

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 RuiterResearch engineer at SIDN LabsVerified email at sidn.nl
Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerified email at cs.ru.nl
Peter MüllerETH ZurichVerified email at inf.ethz.ch
Wojciech MostowskiHalmstad UniversityVerified email at hh.se
Marieke HuismanVerified email at ewi.utwente.nl
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
Aleksy SchubertUniversity of Warsaw, Faculty of Mathematics, Informatics and MechanicsVerified email at mimuw.edu.pl
Alex SerbanSoftware Improvement Group, Radboud UniversityVerified email at cs.ru.nl
Tommy KoensRadboud universityVerified email at cs.ru.nl
Daniel M. ZimmermanPrincipal Researcher, Galois, Inc.Verified email at acm.org
Barbara VieiraABN AMROVerified email at nl.abnamro.com
Simon ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Fabian van den BroekAssistant professor Computer Science, Open University Netherlands & Guest Researcher RadboudVerified email at cs.ru.nl
Lejla Batina,Professor, applied cryptography and embedded systems security, Radboud University, The NetherlandsVerified email at cs.ru.nl
Jaap-Henk HoepmanAssociate Professor of Computer Science, Radboud University Nijmegen and Associate Professor, IT LawVerified email at cs.ru.nl
Roland van Rijswijk-DeijProfessor of Network Security, University of TwenteVerified email at utwente.nl
Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerified email at win.tue.nl
Patrice ChalinDependable Software Research Group

Erik Poll

Radboud University Nijmegen

Verified email at cs.ru.nl - Homepage

Computer security smartcards 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	840	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	319	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	313	2005
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	263	2008
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	234	2000
Protocol State Fuzzing of TLS Implementations J De Ruiter, E Poll 24th {USENIX} Security Symposium ({USENIX} Security 15), 193-206, 2015	169	2015
A logic for the Java Modeling Language JML B Jacobs, E Poll International Conference on Fundamental Approaches to Software Engineering …, 2001	134	2001
Java program verification at Nijmegen: Developments and perspective B Jacobs, E Poll International Symposium on Software Security, 134-153, 2003	118	2003
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	101	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	92	2013
Pure type systems with definitions P Severi, E Poll International Symposium on Logical Foundations of Computer Science, 316-328, 1994	92*	1994
EMV in a nutshell J van den Breekel, DA Ortiz-Yepes, E Poll, J de Ruiter Technical Report, 1-37, 2016	81	2016
Specification of the JavaCard API in JML E Poll, J van den Berg, B Jacobs Smart Card Research and Advanced Applications, 135-154, 2000	80	2000
A type-theoretic memory model for verification of sequential Java programs J van den Berg, M Huisman, B Jacobs, E Poll International Workshop on Algebraic Development Techniques, 1-21, 1999	75	1999
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	65	2014
SmartCards and RFID L Batina, E Poll Course PowerPoint Presentation for IPA Security Course, Digital Security at …, 0	61
From algebras and coalgebras to dialgebras E Poll, J Zwanenburg Electronic Notes in Theoretical Computer Science 44 (1), 289-307, 2001	59	2001
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	58	2015
Formal analysis of the EMV protocol suite J De Ruiter, E Poll Joint Workshop on Theory of Security and Applications, 113-129, 2011	58	2011
Coalgebras and monads in the semantics of Java B Jacobs, E Poll Theoretical Computer Science 291 (3), 329-349, 2003	58	2003

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

Upload PDF

Follow this author

Cited by

Co-authors