Fetching the paper…
Reading the bibliography…
Memory-safety violations are a prevalent cause of both reliability and security vulnerabilities in systems software written in unsafe languages like C/C++.
Purify: Fast detection of memory leaks and access errors
1991
Earlier work this paper cites.
Cyclone: A safe dialect of C
2002
Earlier work this paper cites.
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
2003
Earlier work this paper cites.
ARCHER : Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors
2003
Earlier work this paper cites.
Distributed caching with Memcached
2004
Earlier work this paper cites.
A practical dynamic buffer overflow detector
2004
Earlier work this paper cites.
DieHard: Probabilistic memory safety for unsafe languages
2006
Earlier work this paper cites.
Backwards-compatible array bounds checking for C with very low overhead
2006
Earlier work this paper cites.
SAFECode: enforcing alias analysis for weakly typed languages
2006
Earlier work this paper cites.
SPEC CPU2006 benchmark descriptions
2006
Earlier work this paper cites.
Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation
2007
Earlier work this paper cites.
Evaluating MapReduce for multi-core and multiprocessor systems
2007
Earlier work this paper cites.
MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging
2007
Earlier work this paper cites.
Archipelago: Trading address space for reliability and security
2008
Earlier work this paper cites.
Exterminator: Automatically correcting memory errors with high probability
2008
Earlier work this paper cites.
Baggy Bounds Checking: An efficient and backwards-compatible defense against out-of-bounds errors
2009
Earlier work this paper cites.
PARSEC 2.0: A new benchmark suite for chip-multiprocessors
2009
Earlier work this paper cites.
SoftBound: Highly compatible and complete spatial memory safety for C
2009
Earlier work this paper cites.
CETS: Compiler Enforced Temporal Safety for C
2010
Earlier work this paper cites.
Instruction tables: Lists of instruction latencies, throughputs and micro-operation breakdowns for Intel, AMD and VIA CPUs
2011
Cited alongside, same era.
RIPE: Runtime intrusion prevention evaluator
2011
Cited alongside, same era.
Light-weight bounds checking
2012
Cited alongside, same era.
AddressSanitizer: A fast address sanity checker
2012
Cited alongside, same era.
Memory errors: The past, the present, and the future
2012
Cited alongside, same era.
Concurrency attacks
2012
Cited alongside, same era.
Low-fat pointers: Compact encoding and efficient gate-level implementation of fat pointers for spatial safety and capability-based security
http://www.theregister.co.uk/2014/04/09/heartbleed_explained/
Anatomy of OpenSSL’s Heartbleed: Just four bytes trigger horror bug · 2017
Closest in time.
http://httpd.apache.org/
Apache HTTP server project · 2017
Closest in time.
https://github.com/tudinfse/fex
Fex: A Software Systems Evaluator · 2017
Closest in time.
http://www.tedunangst.com/flak/post/heartbleed-vs-mallocconf
Heartbleed vs malloc.conf · 2017
Closest in time.
https://software.intel.com/en-us/articles/intel-memory-protection-extensions-enabling-guide
Intel(R) Memory Protection Extensions Enabling Guide · 2017
Closest in time.
https://swisdev.oracle.com/_files/What-Is-SSM.html
Introduction to SPARC M7 and Silicon Secured Memory (SSM) · 2017
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2013
Cited alongside, same era.
MemSafe: Ensuring the Spatial and Temporal Memory Safety of C at Runtime
2013
Cited alongside, same era.
SoK: Eternal War in Memory
2013
Cited alongside, same era.
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking
2014
Cited alongside, same era.
The CHERI capability model: Revisiting RISC in an age of risk
2014
Cited alongside, same era.
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine
2015
Cited alongside, same era.
http://www.cvedetails.com/cve/cve-2011-4971
Memcached bug: CVE-2011-4971 · 2017
Closest in time.
http://www.aosabook.org/en/nginx.html
nginx: The Architecture of Open Source Applications · 2017
Closest in time.
http://heartbleed.com/
The Heartbleed Bug · 2017
Closest in time.
Tor browser 5.5a4-hardened is released
2017
Closest in time.
Mudflap: pointer use checking for C/C++
2017
Closest in time.
Intel(R) Memory Protection Extensions (Intel MPX) support in the GCC compiler
2017
Closest in time.
Chip Shot: Intel Unleashes Next-Gen Enthusiast Desktop PC Platform at Gamescom
2017
Closest in time.
Introduction to Intel(R) Memory Protection Extensions
2017
Closest in time.
SGXBounds: Memory Safety for Shielded Execution
2017
Closest in time.
Checked C
2017
Closest in time.
National Vulnerability Database
2017
Closest in time.
AddressSanitizerIntraObjectOverflow
2017
Closest in time.