MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Steve Kremer – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 37 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Formal Verification of Cryptographic Protocols  
  • by Steve Kremer — 2006, http://www.lsv.enscachan.fr/Publis/PAPERS/PDF/kremer-movep06.pdf, Invited tutorial, 7th School on Modelling and Verifying Parallel Processes (MOVEP’06
  • …Formal Verification of Cryptographic Protocols Steve Kremer Laboratoire Spécification et…
  • Cited by 1 (0 self) – Add To MetaCart
  • A multi-party optimistic non-repudiation protocol  
  • by Olivier Markowitch, Steve Kremer — 2000 — Proceedings of The 3rd International Conference on Information Security and Cryptology (ICISC 2000), volume 2015 of Lecture Notes in Computer Science, Seoul, Korea
  • … A Multi-party Optimistic Non-repudiation Protocol Olivier Markowitch and Steve Kremer fomarkow…
  • Cited by 6 (2 self) – Add To MetaCart
  • Adaptive soundness of static equivalence  
  • by Steve Kremer, Laurent Mazaré — 2007 — In Proc. 12th European Symposium on Research in Computer Security (ESORICS’07), volume 4734 of LNCS
  • …Adaptive Soundness of Static Equivalence ⋆ Steve Kremer and Laurent Mazaré LSV, ENS Cachan & CNRS…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB