2303 search results - page 7 / 461 » The Cryptographic Abstract Machine |
FLOPS
1999
Springer
13 years 11 months ago
1999
Springer
FAC
2000
13 years 7 months ago
2000
s and Abstract Machines Stephan Diehl Universit
POPL
1990
ACM
13 years 11 months ago
1990
ACM
ical Abstract Machine Introduced in and G. Boudol. The chemical abstract machine. Theoretical Computer Science, 96(1):217
IACR
2011
12 years 7 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...
FSTTCS
2003
Springer
14 years 18 days 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...