494 search results - page 1 / 99 » Static Analysis for Guarded Code |
70
Voted
LCR
2000
Springer
15 years 1 months ago
2000
Springer
OSDI
2006
ACM
15 years 10 months ago
2006
ACM
XFI is a comprehensive protection system that offers both flexible access control and fundamental integrity guarantees, at any privilege level and even for legacy code in commodit...
98
Voted
WWW
2004
ACM
15 years 11 months ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...
157
Voted
PEPM
2009
ACM
16 years 10 months ago
2009
ACM
The Verilog hardware description language has padding semantics that allow designers to write descriptions where wires of different bit widths can be interconnected. However, many ...
199
Voted
POPL
2007
ACM
15 years 10 months ago
2007
ACM
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a p...