MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Martijn Oostdijk" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Foundations of Attack Trees  
  • by Sjouke Mauw, Martijn Oostdijk — 2005 — International Conference on Information Security and Cryptology – ICISC 2005. LNCS 3935
  • …Foundations of Attack Trees Sjouke Mauw 1 and Martijn Oostdijk 2 1 Eindhoven University…
  • Cited by 5 (0 self) – Add To MetaCart
  • 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
  • in collaboration with  
  • by Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
  • … Kiniry, Martijn Oostdijk Security of Systems Group www.cs.kun.nl/sos Department of Computer Science…
  • Add To MetaCart
  • Implementing a Formally Verifiable Security Protocol in Java Card  
  • by Engelbert Hubbers, Martijn Oostdijk, Erik Poll — 2003 — Proceedings of the First International Conference on Security in Pervasive Computing, volume 2802 of Lecture Notes in Computer Science
  • … and the properties we want to specify and verify. 2 Engelbert Hubbers, Martijn Oostdijk, and Erik Poll The relation…
  • Cited by 8 (2 self) – Add To MetaCart
  • On-the-Fly Formal Testing of a Smart Card Applet  
  • by A. van Weelden, L. Frantzen, M. Oostdijk, P. Koopman, J. Tretmans, Arjen Van Weelden, Lars Frantzen, Martijn Oostdijk, Pieter Koopman, Jan Tretmans — 2004
  • … Arjen van Weelden, Lars Frantzen, Martijn Oostdijk, Pieter Koopman, and Jan Tretmans Nijmegen Institute…
  • Cited by 2 (2 self) – 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 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB