24 search results - page 2 / 5 » Hardware Trojan Detection and Isolation Using Current Integr... |
SOSP
2005
ACM
14 years 5 months ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...
MICRO
2008
IEEE
14 years 3 months ago
2008
IEEE
Hardware signatures have been recently proposed as an efficient mechanism to detect conflicts amongst concurrently running transactions in transactional memory systems (e.g., Bulk...
IEEEPACT
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
—Malicious software is rampant on the Internet and costs billions of dollars each year. Safe and thorough analysis of malware is key to protecting vulnerable systems and cleaning...