3865 search results - page 321 / 773 » Active memory operations |
196
Voted
ACSAC
2005
IEEE
16 years 1 months ago
2005
IEEE
Recent research has proposed self-checksumming as a method by which a program can detect any possibly malicious modification to its code. Wurster et al. developed an attack again...
214
click to vote
CC
2005
Springer
16 years 1 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
156
Voted
HOTOS
2003
IEEE
16 years 22 days ago
2003
IEEE
Cerium is a trusted computing architecture that protects a program’s execution from being tampered while the program is running. Cerium uses a physically tamperresistant CPU and...
192
click to vote
IEEEPACT
2003
IEEE
16 years 22 days ago
2003
IEEE
Shared memory multiprocessor systems typically provide a set of hardware primitives in order to support synchronization. Generally, they provide single-word read-modify-write hard...
182
click to vote
ISQED
2003
IEEE
16 years 22 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...