6 search results - page 2 / 2 » Unification Modulo Homomorphic Encryption |
148
Voted
IANDC
2008
15 years 3 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...