Engelbert Hubbers

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