Engelbert Hubbers

Publication Activity (10 Years)

Years Active: 2003-2021
Publications (10 Years): 1

Top Topics

Educational Contexts

Student Centered

Top Venues

Publications

Engelbert Hubbers
LPO Proofs in Two Educational Contexts. CSEDU (1) (2021)
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Crossing Borders: Security and Privacy Issues of the European e-Passport CoRR (2008)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Martijn Oostdijk, Engelbert Hubbers
Formal techniques in a remote voting system. ACM SIGSOFT Softw. Eng. Notes 31 (6) (2006)
Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers
The KOA Remote Voting System: A Summary of Work to Date. TGC (2006)
Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC (2006)
Engelbert Hubbers, Bart Jacobs, Wolter Pieters
RIES - Internet Voting in Action. COMPSAC (1) (2005)
Engelbert Hubbers, Erik Poll
Reasoning about Card Tears and Transactions in Java Card. FASE (2004)
Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
Counting Votes with Formal Methods. AMAST (2004)
Engelbert Hubbers
Integrating Tools for Automatic Program Verification. Ershov Memorial Conference (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
Implementing a Formally Verifiable Security Protocol in Java Card. SPC (2003)
Engelbert Hubbers, Martijn Oostdijk, Erik Poll
From Finite State Machines to Provably Correct Java Card Applets. SEC (2003)
Engelbert Hubbers, Martijn Oostdijk
Generating JML Specifications from UML State Diagrams. FDL (2003)