2303 search results - page 7 / 461 » The Cryptographic Abstract Machine |
86
Voted
FLOPS
1999
Springer
15 years 6 months ago
1999
Springer
FAC
2000
15 years 2 months ago
2000
s and Abstract Machines Stephan Diehl Universit
129
Voted
POPL
1990
ACM
15 years 6 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
146
Voted
IACR
2011
14 years 2 months ago
2011
Search for cryptographic keys in RAM is a new and prospective technology which can be used, primarily, in the computer forensics. In order to use it, a cryptanalyst must solve, at...
128
click to vote
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...