MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Engelbert Hubbers" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • From Finite State Machines to Provably Correct Java Card Applets  
  • by Engelbert Hubbers, Martijn Oostdijk, Erik Poll — 2003 — In Dimitris Gritzalis, Sabrina De Capitani di Vimercati, Pierangela Samarati, and Sokratis K. Katsikas, editors, Proceedings of the 18th IFIP Information Security Conference
  • …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  
  • by Engelbert Hubbers, Bart Jacobs, Wolter Pieters — 2005 — Proceedings of the 29th Annual International Computer Software and Applications Conference, COMPSAC’05
  • …RIES - Internet Voting in Action Engelbert Hubbers, Bart Jacobs and Wolter Pieters Security…
  • Cited by 7 (3 self) – Add To MetaCart
  • Tearing JAVA CARDs  
  • by Engelbert Hubbers, Wojciech Mostowski, Erik Poll — 2006 — In Proceedings, e-Smart 2006, Sophia-Antipolis
  • …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  
  • by Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
  • …Counting Votes with Formal Methods Bart Jacobs in collaboration with Engelbert Hubbers, Joseph…
  • Add To MetaCart
  • and Hanne Riis Nielson. 2-level -lifting  
  • by Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk, Engelbert Hubbers — 1988 — Proceedings of the Second European Symposium on Programming, number 300 in Lecture Notes in Computer Science
  • … Cochran and Fintan Fairmichael 1 , Patrice Chalin 2 , Martijn Oostdijk and Engelbert Hubbers 3 1 School…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB