2303 search results - page 123 / 461 » The Cryptographic Abstract Machine |
187
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
197
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
185
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
169
click to vote
ASM
2003
ASM
15 years 11 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
146
click to vote
CTRSA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Fault Analysis is a powerful cryptanalytic technique that enables to break cryptographic implementations embedded in portable devices more efficiently than any other tech...