773 search results - page 9 / 155 » On Cryptographic Assumptions and Challenges |
CJ
2002
15 years 1 months ago
2002
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
109
click to vote
ENTCS
2006
15 years 1 months ago
2006
In recent years several successful GALS realizations have been presented. The core of a GALS system is a locally synchronous island that is designed using industry standard synchr...
107
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
We enforce information flow policies in programs that run at multiple locations, with diverse levels of security. We build a compiler from a small imperative language with locali...
106
Voted
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we attempt to formally study two very intuitive physical models: sealed envelopes and locked boxes, often used as illustrations for common cryptographic ope...
146
click to vote
CRYPTO
2010
Springer
15 years 2 months ago
2010
Springer
Side-channel attacks have often proven to have a devastating effect on the security of cryptographic schemes. In this paper, we address the problem of storing cryptographic keys a...