4690 search results - page 385 / 938 » An operational semantics for Scheme |
231
click to vote
ASIACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
In an effort to design a MAC scheme that is built using block cipher components and runs faster than the modes of operation for message authentication, Daemen and Rijmen have propo...
178
click to vote
FDTC
2006
Springer
15 years 10 months ago
2006
Springer
With physical attacks threatening the security of current cryptographic schemes, no security policy can be developed without taking into account the physical nature of computation....
186
click to vote
EUROCRYPT
2000
Springer
15 years 10 months ago
2000
Springer
The use of quantum bits (qubits) in cryptography holds the promise of secure cryptographic quantum key distribution schemes. Unfortunately, the implemented schemes are often operat...
181
click to vote
PEPM
1995
ACM
15 years 10 months ago
1995
ACM
In [23] we presented a partial evaluation scheme for a “real life” subset of Prolog, containing first-order built-in’s, simple side-effects and the operational predicate i...
200
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
We propose a new real-time authentication scheme for memory. As in previous proposals the scheme uses a Merkle tree to guarantee dynamic protection of memory. We use the universal...