2303 search results - page 42 / 461 » The Cryptographic Abstract Machine |
147
click to vote
CRYPTO
2008
Springer
15 years 6 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...
125
Voted
ESORICS
2002
Springer
16 years 4 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...
145
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
1) the Warren’s Abstract Machine and (2) constraints on finite set.
136
click to vote
ICICS
2007
Springer
15 years 11 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...
119
click to vote
OTM
2007
Springer
15 years 11 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...