4731 search results - page 546 / 947 » Securing Interactive Programs |
200
Voted
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...
182
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Modern websites are powered by JavaScript, a flexible dynamic scripting language that executes in client browsers. A common paradigm in such websites is to include third-party Ja...
197
Voted
PLDI
2006
ACM
16 years 25 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
181
Voted
OOPSLA
2004
Springer
16 years 6 days ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
181
Voted
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...