Get started
Author

Engelbert Hubbers

Observed names: E. Hubbers, Hubbers, E., Hubbers, E.M.G.M.
Observed institution: Radboud University Nijmegen
OpenAlex ID: A5083398486
Crossing Borders: Security and Privacy Issues of the European e-Passport
2006 · Jaap-Henk Hoepman, Engelbert Hubbers, et al. · Lecture notes in computer science · 115
PDF
A Polynomial Counterexample to the Markus–Yamabe Conjecture
1997 · Anna Cima, Arno van den Essen, et al. · Advances in Mathematics · 105
RIES — Internet Voting in Action
2006 · E. Hubbers, B. Jacobs, et al. · IEEE Annual International Computer Software and Applications Conference (COMPSAC) · 42
PDF
Polynomial maps with strongly nilpotent Jacobian matrix and the Jacobian conjecture
1996 · Arno van den Essen, Engelbert Hubbers · Linear Algebra and its Applications · 28
Transactions and non-atomic API calls in Java Card: specification ambiguity and strange implementation behaviours
2004 · Engelbert Hubbers, Erik Poll · Radboud Repository (Radboud University) · 27
Implementing a Formally Verifiable Security Protocol in Java Card
2004 · Engelbert Hubbers, Martijn Oostdijk, et al. · Lecture notes in computer science · 24
The KOA Remote Voting System: A Summary of Work to Date
2007 · Joseph R. Kiniry, Alan E. Morkan, et al. · Springer eBooks · 21
Reasoning about Card Tears and Transactions in Java Card
2004 · Engelbert Hubbers, Erik Poll · Lecture notes in computer science · 18
PDF
Chaotic Polynomial Automorphisms: Counterexamples to Several Conjectures
1997 · Arno van den Essen, Engelbert Hubbers · Advances in Applied Mathematics · 18
From Finite State Machines to Provably Correct Java Card Applets
2003 · Engelbert Hubbers, Martijn Oostdijk, et al. · Springer eBooks · 17
PDF
A new class of invertible polynomial maps
1996 · Essen, A.R.P. van den, Hubbers, E.M.G.M. · Radboud Repository (Radboud University) · 14
PDF
Description and analysis of the RIES internet voting system
2008 · Engelbert Hubbers, Bart Jacobs, et al. · Radboud Repository (Radboud University) · 9
PDF
RIES -- Internet Voting in Action
2004 · Engelbert Hubbers, Bart Jacobs, et al. · 9
Generating JML Specifications from UML State Diagrams
2003 · Engelbert Hubbers, Martijn Oostdijk · 9
Tearing Java Cards
2006 · Engelbert Hubbers, Wojciech Mostowski, et al. · 7
Counting Votes with Formal Methods
2004 · Bart Jacobs, Engelbert Hubbers, et al. · Lecture notes in computer science · 7
Dn(A) for a Class of Polynomial Automorphisms and Stably Tameness
1997 · Arno van den Essen, Engelbert Hubbers · Journal of Algebra · 4
Integrating Tools for Automatic Program Verification
2004 · Engelbert Hubbers · Lecture notes in computer science · 3
Stemmen via internet geen probleem
2004 · Engelbert Hubbers, B. Jacobs · Radboud Repository (Radboud University) · 3
PDF
Testing the eSTV program for the Scottish Local Government Elections
2007 · Pieter Koopman, Engelbert Hubbers, et al. · University of Twente Research Information · 2
PDF
Formal techniques in a remote voting system
2006 · Joseph R. Kiniry, Alan E. Morkan, et al. · ACM SIGSOFT Software Engineering Notes · 2
Reasoning about Card Tears and Transactions in Java Card
2003 · Engelbert Hubbers, Erik Poll · 2
A counterexample to Meister's cubic-linear linearization conjecture
1996 · A.R.P. van den Essen, Engelbert Hubbers · 2
Cubic similarity in dimension five
1996 · Engelbert Hubbers · Radboud Repository (Radboud University) · 2
PDF
Blackboard Security Assessment
2013 · M.C.J.D. van Eekelen, Reem Moussa, et al. · CTIT technical reports series · 1
Works count: 47
Citation count: 492
H-index: 11
I10-index: 11
Year
Topic
Type