2945 search results - page 348 / 589 » Designing and Implementing Malicious Hardware |
194
click to vote
ISCA
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper explores the design space of MMU caches that accelerate virtual-to-physical address translation in processor architectures, such as x86-64, that use a radix tree page t...
175
click to vote
MICRO
2008
IEEE
16 years 1 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
225
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
182
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper presents an implementation of iris recognition algorithm using phase-based image matching -- an image matching technique using phase components in 2D Discrete Fourier T...
188
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...