Engelbert Hubbers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2003–2021
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CSEDU | LPO Proofs in Two Educational Contexts. | Engelbert Hubbers |
| 2006 | IWSEC | Crossing Borders: Security and Privacy Issues of the European e-Passport. | Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur |
| 2005 | COMPSAC | RIES - Internet Voting in Action. | Engelbert Hubbers, Bart Jacobs, Wolter Pieters |
| 2004 | FASE | Reasoning about Card Tears and Transactions in Java Card. | Engelbert Hubbers, Erik Poll |
| 2003 | FDL | Generating JML Specifications from UML State Diagrams. | Engelbert Hubbers, Martijn Oostdijk |
| 2003 | SEC | From Finite State Machines to Provably Correct Java Card Applets. | Engelbert Hubbers, Martijn Oostdijk, Erik Poll |