13 search results - page 2 / 3 » A Logical Framework for Evaluating Network Resilience Agains... |
BCS
2008
13 years 6 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
ASPLOS
2006
ACM
13 years 10 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
INFOCOM
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...
SP
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...
ISCA
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper presents a high-availability system architecture called INDRA — an INtegrated framework for Dependable and Revivable Architecture that enhances a multicore processor ...