28 search results - page 3 / 6 » HAVE: Detecting Atomicity Violations via Integrated Dynamic ... |
IEEEARES
2009
IEEE
14 years 17 days ago
2009
IEEE
—Targeting the operating system kernel, the core of trust in a system, kernel rootkits are able to compromise the entire system, placing it under malicious control, while eluding...
SIGSOFT
2002
ACM
14 years 6 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
PLDI
2009
ACM
14 years 6 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
CCS
2009
ACM
13 years 9 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Writes via unchecked pointer dereferences rank high among vulnerabilities most often exploited by malicious code. The most common attacks use an unchecked string copy to cause a b...