2303 search results - page 42 / 461 » The Cryptographic Abstract Machine |
128
Voted
CRYPTO
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this work, we introduce one-time programs, a new computational paradigm geared towards security applications. A one-time program can be executed on a single input, who...
108
Voted
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
116
click to vote
MOZ
2004
Springer
15 years 7 months ago
2004
Springer
1) the Warren’s Abstract Machine and (2) constraints on finite set.
105
click to vote
ICICS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. To be accepted, a cryptographic scheme must come with a proof that it satisfies some standard security properties. However, because cryptographic schemes are based on no...
98
Voted
OTM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...