Sciweavers

CCS
2005
ACM

119views Security Privacy» more CCS 2005»

Towards computationally sound symbolic analysis of key exchange protocols

13 years 10 months ago

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers