MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ante Derek" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Games and the impossibility of realizable ideal functionality
by Michael Backes, Anupam Datta, Ante Derek, Johnc. Mitchell, Andre Scedrov — 2006 — In Theory of Cryptography, 3rd Theory of Cryptography Conference, TCC 2006, volume 3876 of Lecture Notes in Computer Science
… , Ante Derek 2 ,JohnC.Mitchell 2 ,Ajith Ramanathan 2 , and Andre Scedrov 3 1 Saarland University backes…
Cited by 4 (2 self) – Add To MetaCart

Computationally sound compositional logic for key exchange protocols
by Anupam Datta, Ante Derek, John C. Mitchell — 2006 — In Proceedings of 19th IEEE Computer Security Foundations Workshop
…Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek…
Cited by 8 (5 self) – Add To MetaCart

unknown title
by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
… A Derivation System for Security Protocols and its Logical Formalization Anupam Datta Ante Derek…
Add To MetaCart

unknown title
by Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
… Derek1, John C. Mitchell1, Vitaly Shmatikov2, andMathieu Turuani 3 1 Dept. Computer Science, Stanford…
Add To MetaCart

A derivation system for security protocols and its logical formalization
by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic — 2003 — In Proceedings of 16th IEEE Computer Security Foundations Workshop
…A Derivation System for Security Protocols and its Logical Formalization Anupam Datta Ante Derek…
Cited by 25 (13 self) – Add To MetaCart

Abstraction and refinement in protocol derivation
by Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic — 2004 — In Proceedings of 17th IEEE Computer Security Foundations Workshop
…Abstraction and Refinement in Protocol Derivation Anupam Datta Ante Derek John C. Mitchell Dusko…
Cited by 10 (5 self) – Add To MetaCart

Inductive trace properties for computational security. WITS, 2007. Full version at http://www.stanford.edu/∼arnab/rddm-IndTraceProps.pdf
by Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
…Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C…
Cited by 2 (2 self) – Add To MetaCart

Inductive proofs of computational secrecy
by Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell — 2007 — In ESORICS
…Inductive Proofs of Computational Secrecy ⋆ Arnab Roy 1 , Anupam Datta 2 , Ante Derek 1 , John C…
Cited by 1 (1 self) – Add To MetaCart

Inductive proof method for computational secrecy
by Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell — 2006
…Inductive Proof Method for Computational Secrecy Arnab Roy, Anupam Datta, Ante Derek, John C…
Cited by 2 (1 self) – Add To MetaCart

Key Exchange Protocols: Security Definition, Proof Method and Applications
by Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi — 2006 — In 19th IEEE Computer Security Foundations Workshop (CSFW 19
… Derek 1 , John C. Mitchell 1 , and Bogdan Warinschi 2 1 Stanford University 2 Loria, INRIA…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB