Sciweavers

53390 search results - page 340 / 10678
» Computer Systems Analysis
Sort
View
CCS
2005
ACM
16 years 7 days ago
Towards computationally sound symbolic analysis of key exchange protocols
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...
Prateek Gupta, Vitaly Shmatikov
TACAS
2004
Springer
114views Algorithms» more  TACAS 2004»
16 years 1 days ago
Symbolically Computing Most-Precise Abstract Operations for Shape Analysis
Greta Yorsh, Thomas W. Reps, Shmuel Sagiv
CSMR
2003
IEEE
15 years 12 months ago
Fast Flow Analysis to Compute Fuzzy Estimates of Risk Levels
Ettore Merlo, Giuliano Antoniol, Pierre-Luc Brunel...
« Prev « First page 340 / 10678 Last » Next »