37 search results - page 8 / 8 » Towards automated proofs for asymmetric encryption schemes i... |
EUROCRYPT
2004
Springer
13 years 10 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
The Unified Model (UM) key agreement protocol is an efficient Diffie-Hellman scheme that has been included in many cryptographic standards, most recently in the NIST SP 80056A sta...