248 search results - page 11 / 50 » Authentication Primitives and Their Compilation |
WS
2006
ACM
15 years 3 months ago
2006
ACM
We introduce Integrity (I) regions, a novel security primitive that enables message authentication in wireless networks without the use of pre-established or pre-certified keys. ...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We introduce a calculus with mobile names, distributed principals and primitives for secure remote communication, without any reference to explicit cryptography. The calc...
POPL
1995
ACM
15 years 1 months ago
1995
ACM
Traditional techniques for implementing polymorphism use a universal representation for objects of unknown type. Often, this forces a compiler to use universal representations eve...
IWSEC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract—Password-authenticated key exchange (PAKE) protocols are designed to be secure even when the secret key used for authentication is a human-memorable password. In this pa...
ISCA
2007
IEEE
15 years 4 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...