2081 search results - page 148 / 417 » codes 2006 |
122
click to vote
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
ICPADS
2006
IEEE
15 years 5 months ago
2006
IEEE
iDIBS is a peer-to-peer backup system which optimizes the Distributed Internet Backup System (DIBS). iDIBS offers increased reliability by enhancing the robustness of existing pac...
ICISC
2008
15 years 1 months ago
2008
This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a...
OSDI
2006
ACM
16 years 1 hour ago
2006
ACM
An overall sensornet architecture would help tame the increasingly complex structure of wireless sensornet software and help foster greater interoperability between different code...
FM
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...