Searching for authors named "Vitaly Shmatikov" – sorted by Relevance.
-
Security Against Probe-Response Attacks inCollaborative Intrusion Detection
- Security Against Probe-Response Attacks inCollaborative Intrusion Detection Vitaly Shmatikov
- Add To MetaCart
-
Decidable analysis of cryptographic protocols with products and modular exponentiation
- Shmatikov ? SRI International shmat@(email omitted); Abstract. We demonstrate that the symbolic trace
- Cited by 8 (2 self) – Add To MetaCart
-
Probabilistic Model Checking of an Anonymity System
- Probabilistic Model Checking of an Anonymity System Vitaly Shmatikov SRI International 333
- Cited by 16 (1 self) – Add To MetaCart
-
Probabilistic Analysis of Anonymity
- Probabilistic Analysis of Anonymity Vitaly Shmatikov SRI International 333 Ravenswood Avenue
- Cited by 30 (1 self) – Add To MetaCart
-
• Example: x = (b*b- sqrt(4*a*c))/2*a
- CS 345 Functions Vitaly Shmatikov slide 1 Quote of the Day “It is better to have 100 functions
- Add To MetaCart
-
Key confirmation and adaptive corruptionsin the protocol security logic
- Shmatikov The University of Texas at Austin Abstract. Cryptographic security for key exchange and secure
- Add To MetaCart
-
Is It Possible to Decide Whether a Cryptographic Protocol Is Secure or Not?
- OF TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY Hubert Comon and Vitaly Shmatikov 2. Abstract protocol modeling
- Add To MetaCart
-
Probabilistic Escrow of Financial Transactions with Cumulative Threshold Disclosure
- ̷law Jarecki 1 and Vitaly Shmatikov 2 1 University of California, Irvine 2 University of Texas at Austin
- Add To MetaCart
-
Analysis of probabilistic contract signing
- Analysis of Probabilistic Contract Signing ∗ Gethin Norman 1 and Vitaly Shmatikov 2 1 University
- Cited by 14 (4 self) – Add To MetaCart
-
Symbolic Protocol Analysis with an Abelian Group Operator or Diffie-Hellman Exponentiation
- Jonathan Millen and Vitaly Shmatikov Computer Science Laboratory SRI ¡ International @(email omitted); millen
- Cited by 11 (0 self) – Add To MetaCart

