1599 search results - page 232 / 320 » Program Analysis for Security and Privacy |
140
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
Attackers often take advantage of vulnerabilities in benign software, and the authors of benign software must search their code for bugs in hopes of finding vulnerabilities before...
126
Voted
ISI
2007
Springer
15 years 3 months ago
2007
Springer
—Detecting unknown malicious code (malcode) is a challenging task. Current common solutions, such as anti-virus tools, rely heavily on prior explicit knowledge of specific instan...
138
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Modern IDEs for object-oriented languages like Java provide support for a basic set of simple automated refactorings whose behaviour is easy to describe intuitively. It is, howeve...
115
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
We propose a Java-like language where class de nitions are rst class values, hence new classes can be derived from existing, rather than by a xed mechanism like inheritance, by e...
125
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...