Integrating Tools for Automatic Program Verification. - Engelbert Hubbers (Ershov Memorial Conference, 2003)

Generating JML Specifications from UML State Diagrams. - Engelbert Hubbers; Martijn Oostdijk (FDL, 2003)

From Finite State Machines to Provably Correct Java Card Applets. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SEC, 2003)

Implementing a Formally Verifiable Security Protocol in Java Card. - Engelbert Hubbers; Martijn Oostdijk; Erik Poll (SPC, 2003)

Counting Votes with Formal Methods. - Bart Jacobs 001; Engelbert Hubbers; Joseph Kiniry; Martijn Oostdijk (AMAST, 2004)

Reasoning about Card Tears and Transactions in Java Card. - Engelbert Hubbers; Erik Poll (FASE, 2004)

RIES - Internet Voting in Action. - Engelbert Hubbers; Bart Jacobs 001; Wolter Pieters (COMPSAC (1), 2005)

Crossing Borders: Security and Privacy Issues of the European e-Passport. - Jaap-Henk Hoepman; Engelbert Hubbers; Bart Jacobs 001; Martijn Oostdijk; Ronny Wichers Schreur (IWSEC, 2006)

The KOA Remote Voting System: A Summary of Work to Date. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Fintan Fairmichael; Patrice Chalin; Martijn Oostdijk; Engelbert Hubbers (TGC, 2006)

Formal techniques in a remote voting system. - Joseph R. Kiniry; Alan E. Morkan; Dermot Cochran; Martijn Oostdijk; Engelbert Hubbers (ACM SIGSOFT Softw. Eng. Notes, 2006)

LPO Proofs in Two Educational Contexts. - Engelbert Hubbers (CSEDU (1), 2021)