Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Erik Poll
2010 – today
- 2013
[c35]Fabian van den Broek, Erik Poll: A Comparison of Time-Memory Trade-Off Attacks on Stream Ciphers. AFRICACRYPT 2013: 406-423- [c34]Erik Poll, Joeri de Ruiter: The Radboud Reader: A Minimal Trusted Smartcard Reader for Securing Online Transactions. IDMAN 2013: 107-120
- 2012
- [c33]Arjan Blom, Gerhard de Koning Gans, Erik Poll, Joeri de Ruiter, Roel Verdult: Designed to Fail: A USB-Connected Reader for Online Banking. NordSec 2012: 1-16
- 2011
- [c32]
- 2010
- [c31]
2000 – 2009
- 2009
- [c30]Christian Haack, Erik Poll: Type-Based Object Immutability with Flexible Initialization. ECOOP 2009: 520-545
- [c29]Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur: Model-Based Testing of Electronic Passports. FMICS 2009: 207-209
- [c28]Erik Poll: Teaching Program Specification and Verification Using JML and ESC/Java2. TFM 2009: 92-104
- 2008
- [c27]Wojciech Mostowski, Erik Poll: Malicious Code on Java Card Smartcards: Attacks and Countermeasures. CARDIS 2008: 1-16
- 2007
- [c26]Gary T. Leavens, Joseph R. Kiniry, Erik Poll: A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java. CAV 2007: 37
- [c25]Christian Haack, Erik Poll, Jan Schäfer, Aleksy Schubert: Immutable Objects for a Java-Like Language. ESOP 2007: 347-362
- [c24]Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers: AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming 2007: 36-53
- 2006
- [c23]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: MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29
- 2005
- [j9]Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph R. Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. STTT 7(3): 212-232 (2005)
- [c22]Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll: Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. FMCO 2005: 342-363
- 2004
- [c21]Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
- [c20]Engelbert Hubbers, Erik Poll: Reasoning about Card Tears and Transactions in Java Card. FASE 2004: 114-128
- 2003
- [j8]Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. Electr. Notes Theor. Comput. Sci. 80: 75-91 (2003)
- [j7]Bart Jacobs, Erik Poll: Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291(3): 329-349 (2003)
- [c19]Susan Eisenbach, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-Like Programs. ECOOP Workshops 2003: 62-71
- [c18]Bart Jacobs, Erik Poll: Java Program Verification at Nijmegen: Developments and Perspective. ISSS 2003: 134-153
- [c17]Engelbert Hubbers, Martijn Oostdijk, Erik Poll: From Finite State Machines to Provably Correct Java Card Applets. SEC 2003: 465-470
- [c16]Engelbert Hubbers, Martijn Oostdijk, Erik Poll: Implementing a Formally Verifiable Security Protocol in Java Card. SPC 2003: 213-226
- 2002
- [c15]Erik Poll, Pieter H. Hartel, Eduard de Jong: A Java Reference Model of Transacted Memory for Smart Cards. CARDIS 2002: 75-86
- [c14]Sophia Drossopoulou, Susan Eisenbach, Gary T. Leavens, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java-like Programs. ECOOP Workshops 2002: 203-210
- 2001
- [j6]Erik Poll, Joachim van den Berg, Bart Jacobs: Formal specification of the JavaCard API in JML: the APDU class. Computer Networks 36(4): 407-421 (2001)
- [j5]Erik Poll, Jan Zwanenburg: From Algebras and Coalgebras to Dialgebras. Electr. Notes Theor. Comput. Sci. 44(1): 289-307 (2001)
- [j4]
- [c13]Gary T. Leavens, Sophia Drossopoulou, Susan Eisenbach, Arnd Poetzsch-Heffter, Erik Poll: Formal Techniques for Java Programs. ECOOP Workshops 2001: 30-40
- [c12]Hans Meijer, Erik Poll: Towards a Full Formal Specification of the JavaCard API. E-smart 2001: 165-178
- [c11]
- 2000
- [j3]Erik Poll: A Coalgebraic Semantics of Subtyping. Electr. Notes Theor. Comput. Sci. 33: 276-293 (2000)
- [c10]
- [c9]Erik Poll, Joachim van den Berg, Bart Jacobs: Specification of the JavaCard API in JML. CARDIS 2000: 135-154
- [c8]Erik Poll, Simon J. Thompson: Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS 2000: 136-150
- [c7]Joachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150
- [c6]Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs: JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum 2000: 105-106
1990 – 1999
- 1999
- [c5]Herman Geuvers, Erik Poll, Jan Zwanenburg: Safe Proof Checking in Type Theory with Y. CSL 1999: 439-452
- [c4]
- [c3]Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT 1999: 1-21
- 1998
- [j2]Erik Poll: Expansion Postponement for Normalising Pure Type Systems. J. Funct. Program. 8(1): 89-96 (1998)
- 1997
- [c2]
- 1994
- [c1]
- 1993
- [j1]Erik Poll, C. Hemerik, Huub M. M. ten Eikelder: CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. ITA 27(3): 221-260 (1993)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-04 22:20 CEST by the dblp team