92 search results - page 19 / 19 » Correct-by-construction microarchitectural pipelining |
PLDI
2011
ACM
12 years 8 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
CF
2011
ACM
12 years 5 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...