703 search results - page 60 / 141 » A Framework for Outsourcing of Secure Computation |
CISC
2009
Springer
13 years 6 months ago
2009
Springer
Rabbit is a software-oriented synchronous stream cipher with very strong security properties and support for 128-bit keys. Rabbit is part of the European Union's eSTREAM portf...
ACMSE
2008
ACM
13 years 10 months ago
2008
ACM
Firewalls provide very good network security features. However, classical perimeter firewall deployments suffer from limitations due to complex network topologies and the inabilit...
TCC
2005
Springer
14 years 2 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
CRYPTO
2006
Springer
14 years 7 days ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
IACR
2011
12 years 8 months ago
2011
We put forth a framework for expressing security requirements from interactive protocols in the presence of arbitrary leakage. This allows capturing different levels of leakage to...