argp argp.github.io

Paper notes: HeapHopper

argp.github.io·401w

Paper notes: Block oriented programming: automating data-only attacks

argp.github.io·406w

Paper notes: Reverse engineering x86 processor microcode

argp.github.io·452w

Paper notes: Telling your secrets without page faults

argp.github.io·455w

Paper notes: BinSim

argp.github.io·456w

Paper notes: ARTISTE

argp.github.io·525w

Paper notes: Towards automatic inference of kernel object semantics from binary code

argp.github.io·534w

Paper notes: Automating information flow analysis of low level code

argp.github.io·558w

Paper notes: Fuzzy stack hash

argp.github.io·594w

Paper notes: Enhancing symbolic execution with veritesting

argp.github.io·595w

Paper notes: Toward a foundational typed assembly language

argp.github.io·600w

Paper notes: Time-ordered event traces

argp.github.io·600w

Paper notes: Interprocedural program analysis

argp.github.io·600w

Paper notes: A first step towards automated detection of buffer overrun vulnerabilities

argp.github.io·601w

Paper notes: Undangle

argp.github.io·601w

Paper notes: Efficiently detecting all dangling pointer uses in production servers

argp.github.io·601w

Paper notes: Type-based memory allocator hardening notes

argp.github.io·601w

Paper notes: Memory leak detection based on memory state transition graph

argp.github.io·601w

Paper notes: Path and context sensitive inter-procedural memory leak detection

argp.github.io·602w

Paper notes: A memory model for static analysis of C programs

argp.github.io·602w

Log in to enable infinite scrolling