Searching for authors named "Engelbert Hubbers" – sorted by Relevance.
-
Reasoning about Card Tears and Transactions in Java Card
- Reasoning about Card Tears and Transactions in Java Card Engelbert Hubbers and Erik Poll # So
- Cited by 2 (1 self) – Add To MetaCart
-
From Finite State Machines to Provably Correct Java Card Applets
- FROM FINITE STATE MACHINES TO PROVABLY CORRECT JAVA CARD APPLETS Engelbert Hubbers, Martijn
- Cited by 4 (1 self) – Add To MetaCart
-
RIES: Internet voting in action
- RIES - Internet Voting in Action Engelbert Hubbers, Bart Jacobs and Wolter Pieters Security
- Cited by 7 (3 self) – Add To MetaCart
-
Tearing JAVA CARDs
- Tearing Java Cards Engelbert Hubbers, Wojciech Mostowski, and Erik Poll Security of Systems (So
- Cited by 4 (4 self) – Add To MetaCart
-
in collaboration with
- Counting Votes with Formal Methods Bart Jacobs in collaboration with Engelbert Hubbers, Joseph
- Add To MetaCart
-
Implementing a Formally Verifiable Security Protocol in Java Card
- Implementing a Formally Verifiable Security Protocol in Java Card Engelbert Hubbers, Martijn
- Cited by 8 (2 self) – Add To MetaCart
-
and Hanne Riis Nielson. 2-level -lifting
- Cochran and Fintan Fairmichael 1 , Patrice Chalin 2 , Martijn Oostdijk and Engelbert Hubbers 3 1 School
- Cited by 1 (0 self) – Add To MetaCart
-
Crossing borders: Security and privacy issues of the european e-passport
- of the European e-Passport ⋆ Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers
- Cited by 2 (1 self) – Add To MetaCart

