Erik Poll - Google Scholar

Cited by

	All	Since 2015
Citations	4501	1348
h-index	33	17
i10-index	71	33

320

160

240

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202015 45 99 94 129 167 236 265 311 248 277 259 242 231 196 218 210 213 204 272 288 154

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
Daniel M. ZimmermanPrincipal Researcher, Galois, Inc.Verified email at acm.org
Werner DietlElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Simon ThompsonSenior Research Lead, IOHK; Professor Emeritus of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Fabian van den BroekPost Doc Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Roel VerdultFactorIT BVVerified email at factorit.nl
Peter van RossumVerified 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
Gerhard de Koning GansRadboud University NijmegenVerified email at cs.ru.nl
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenVerified email at cs.ru.nl
Ronny Wichers SchreurProgrammer, Radboud University NijmegenVerified email at cs.ru.nl
Julien SchmaltzEindhoven University of TechnologyVerified email at tue.nl
Roland van Rijswijk-DeijAssociate Professor, University of TwenteVerified email at utwente.nl
Pieter HartelProfessor Emeritus Cyber securityVerified email at tudelft.nl

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	813	2005
An overview of JML tools and applications L Burdy, Y Cheon, D Cok, MD Ernst, J Kiniry, GT Leavens, KRM Leino, ... Electronic Notes in Theoretical Computer Science 80, 1-17, 2003	327	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	288	2005
JML reference manual GT Leavens, E Poll, C Clifton, Y Cheon, C Ruby, D Cok, P Müller, J Kiniry, ...	249	2008
JML (poster session) 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	221	2000
Protocol State Fuzzing of {TLS} Implementations J De Ruiter, E Poll 24th {USENIX} Security Symposium ({USENIX} Security 15), 193-206, 2015	149	2015
A logic for the Java Modeling Language JML B Jacobs, E Poll International Conference on Fundamental Approaches to Software Engineering …, 2001	131	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	96	2008
Pure type systems with definitions P Severi, E Poll International Symposium on Logical Foundations of Computer Science, 316-328, 1994	89*	1994
Formal models of bank cards for free F Aarts, J De Ruiter, E Poll 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	79	2013
Specification of the JavaCard API in JML E Poll, J van den Berg, B Jacobs Smart Card Research and Advanced Applications, 135-154, 2000	79	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	74	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	60	2014
Coalgebras and monads in the semantics of Java B Jacobs, E Poll Theoretical Computer Science 291 (3), 329-349, 2003	55	2003
From algebras and coalgebras to dialgebras E Poll, J Zwanenburg Electronic Notes in Theoretical Computer Science 44 (1), 289-307, 2001	54	2001
Formal analysis of the EMV protocol suite J De Ruiter, E Poll Joint Workshop on Theory of Security and Applications, 113-129, 2011	53	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	49	2015
Automated reverse engineering using lego® G Chalupar, S Peherstorfer, E Poll, J De Ruiter 8th {USENIX} Workshop on Offensive Technologies ({WOOT} 14), 2014	47	2014
Immutable objects for a Java-like language C Haack, E Poll, J Schäfer, A Schubert European Symposium on Programming, 347-362, 2007	45	2007

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