50 search results - page 8 / 10 » DieHarder: securing the heap |
120
click to vote
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
125
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
106
click to vote
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...
103
click to vote
OOPSLA
1999
Springer
15 years 6 months ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
130
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
We present Chorus, a high-level parallel programming model suitable for irregular, heap-manipulating applications like mesh refinement and epidemic simulations, and JChorus, an i...