20 search results - page 3 / 4 » Static Detection of Vulnerabilities in x86 Executables |
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
We present ClearView, a system for automatically patching errors in deployed software. ClearView works on stripped Windows x86 binaries without any need for source code, debugging...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
Recent Microsoft security bulletins show that kernel vulnerabilities are becoming more and more important security threats. Despite the pretty extensive security mitigations many ...
ESSOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
ICDE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Database developers today use data access APIs such as ADO.NET to execute SQL queries from their application. These applications often have security problems such as SQL injecti...