DMCA

Decidable analysis of cryptographic protocols with products and modular exponentiation (2004)

Cached

Download Links

by Vitaly Shmatikov
Venue:In Proc. 13th European Symposium on Programming (ESOP ’04), volume 2986 of LNCS
Citations:18 - 2 self