Search Sciweavers | Sciweavers

50 search results - page 1 / 10

» DieHarder: securing the heap

click to vote

CCS
2010
ACM

173views Security Privacy» more CCS 2010»

DieHarder: securing the heap

13 years 5 months ago

Download www.cs.umass.edu

Heap-based attacks depend on a combination of memory management errors and an exploitable memory allocator. We analyze a range of widely-deployed memory allocators, including thos...

Gene Novark, Emery D. Berger

claim paper

Read More »

click to vote

OOPSLA
2010
Springer

112views Security Privacy» more OOPSLA 2010»

Symbolic heap abstraction with demand-driven axiomatization of memory invariants

13 years 3 months ago

Download www.stanford.edu

Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants Isil Dillig Thomas Dillig Alex Aiken Stanford University lig Thomas Dillig Alex Aiken Symbolic Heap Abstract...

Isil Dillig, Thomas Dillig, Alex Aiken

claim paper

Read More »

click to vote

ACSAC
2007
IEEE

106views Security Privacy» more ACSAC 2007»

The Age of Data: Pinpointing Guilty Bytes in Polymorphic Buffer Overflows on Heap or Stack

13 years 11 months ago

Download www.acsa-admin.org

Asia Slowinska, Herbert Bos

claim paper

Read More »