Engelbert Hubbers

According to our database, Engelbert Hubbers authored at least 11 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

LPO Proofs in Two Educational Contexts.

Engelbert Hubbers

Proceedings of the 13th International Conference on Computer Supported Education, 2021

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

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

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Crossing Borders: Security and Privacy Issues of the European e-Passport.

Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur

Proceedings of the Advances in Information and Computer Security, 2006

2005

RIES - Internet Voting in Action.

Engelbert Hubbers, Bart Jacobs, Wolter Pieters

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Reasoning about Card Tears and Transactions in Java Card.

Engelbert Hubbers, Erik Poll

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Counting Votes with Formal Methods.

Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Implementing a Formally Verifiable Security Protocol in Java Card.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security in Pervasive Computing, 2003

From Finite State Machines to Provably Correct Java Card Applets.

Engelbert Hubbers, Martijn Oostdijk, Erik Poll

Proceedings of the Security and Privacy in the Age of Uncertainty, 2003

Generating JML Specifications from UML State Diagrams.

Engelbert Hubbers, Martijn Oostdijk

Proceedings of the Forum on specification and Design Languages, 2003

Integrating Tools for Automatic Program Verification.

Engelbert Hubbers

Proceedings of the Perspectives of Systems Informatics, 2003