Erik Poll

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Erik Poll
[Erik]

Erik Poll

Researcher in the SOS (Security of Systems) group at the Computing Science Department of the Radboud University Nijmegen.

Address and contact information

Teaching

Topics voor afstudeeropdrachten/MSc Projects
Software Security (2007)
Operating System Security [slides] [slides 6up] for Tias Nimbas (2007)
Kwaliteit van Informatiesystemen (2006)
ESC/Java2 assignment for Semantiek & Logica 2 (2006)
Formal Methods in the Software Life Cycle for the OOTI postgraduate training program at the TU/e (2007)
Introduction to theorem proving with PVS for IPA PhD students (2006).

Master courses taught by the SoS group are part of the Computing Security MSc programme of the

Research

Recent papers and slides of some talks.

My research interests include program specification and verification, foundations and software engineering for object-oriented languages, security, theorem proving, and type theory.
My current work focuses on formal specification and tool-assisted verification for Java, more in particular on

the specification language JML (Java Modeling Language) that provides assertions and Design-by-Contract for Java,
the Java Card language for programming smart cards.

For more info see the pages of the SOS group.

Program committees, events, etc.

WISSEC'2007 (2nd Benelux Workshop on Information and System Security) - Deadline for submission June 14, 2007
VAMP 2007 - Deadline for Submissions June 1, 2007
REM'2007 (The First International Workshop on Run Time Enforcement for Mobile and Distributed Systems) - Deadline for submission May 15, 2007
FMOODS 2007
Bytecode 2007 at ETAPS
Exploratory Workshop: Challenges in Java Program Verification in Nijmegen, 16-18 Oct 2006
OWASP AppSec Europe 2007
FTfJP - Formal Techniques for Java-like Programs at ECOOP
Tutorial on Design by contract and automatic verification for Java with JML and ESC/Java2 given at ETAPS, FM, and ECOOP.

Organisations

Safe-NL platform for computer security research in the Netherlands
OWASP Netherlands Open Web Application Security Project - Netherlands local chapter
IFIP WG 11.2: Small Systems Security

Projects

Robin, funded by EU PASR.
Mobius, funded by EU IST FP6.
PINPAS JC, funded by STW Sentinels.
JASON, funded by STW Sentinels.
Samasc funded by NWO, finished February 2006. 1/02/2002 - 1/02/2006
VerifiCard, funded by EU IST FP5, finished November 2003.