719 search results - page 81 / 144 » Proving Security Protocols Correct |
ASIACRYPT
2000
Springer
15 years 2 months ago
2000
Springer
This paper presents a secure and flexible Mix-net that has the following properties; it efficiently handles long plaintexts that exceed the modulus size of underlying public-key e...
JCS
2010
14 years 8 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
TCC
2010
Springer
15 years 6 months ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
SPAA
1998
ACM
15 years 2 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
IFIP
2009
Springer
14 years 7 months ago
2009
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...