Samurai: protecting critical data in unsafe languages

No abstract is available for this paper.

• Publication year

  2008

• Venue

  European Conference on Computer Systems

• Publication date

  2008-04-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1352592.1352616
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Control-flow integrity principles, implementations, and applications

  2009cited by this paper
• Archipelago: trading address space for reliability and security

  2008cited by this paper
• Colorama: Architectural Support for Data-Centric Synchronization

  2007cited by this paper
• Goal-Directed Reasoning for Specification-Based Data Structure Repair

  2006cited by this paper
• Backwards-compatible array bounds checking for C with very low overhead

  2006cited by this paper
• Comprehensively and efficiently protecting the heap

  2006cited by this paper
• DieHard: probabilistic memory safety for unsafe languages

  2006influential reference
• SafeDrive: safe and recoverable extensions using language-based techniques

  2006cited by this paper
• CCured: type-safe retrofitting of legacy software

  2005cited by this paper
• Control-flow integrity

  2005cited by this paper
• Rx: treating bugs as allergies---a safe method to survive software failures

  2005cited by this paper
• A Practical Dynamic Buffer Overflow Detector

  2004cited by this paper
• A dynamic technique for eliminating buffer overflow vulnerabilities (and other memory errors)

  2004cited by this paper
• Automatic detection and repair of errors in data structures

  2003cited by this paper
• Valgrind: A Program Supervision Framework

  2003cited by this paper
• CCured in the real world

  2003cited by this paper
• Reconsidering custom memory allocation

  2002cited by this paper
• Cyclone: A Safe Dialect of C

  2002cited by this paper
• Composing high-performance memory allocators

  2001influential reference
• SPEC CPU2000: Measuring CPU Performance in the New Millennium

  2000influential reference
• malloc(3) Revisited

  1998cited by this paper
• Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs

  1997cited by this paper
• Software fault injection: inoculating programs against errors

  1997cited by this paper
• STL tutorial and reference guide - C++ programming with the standard template library

  1996cited by this paper
• Dynamic Storage Allocation: A Survey and Critical Review

  1995cited by this paper
• Supporting dynamic data structures on distributed-memory machines

  1995cited by this paper
• Software Fault Tolerance in the Application Layer

  1995cited by this paper
• On-line error monitoring for several data structures

  1995cited by this paper
• Efficient software-based fault isolation

  1994influential reference
• The Recovery Box: Using Fast Recovery to Provide High Availability in the UNIX Environment

  1992cited by this paper
• Fast detection of memory leaks and access errors

  1991cited by this paper
• Synthesizing Robust Data STructures - An Introduction

  1990cited by this paper

• InvisiGuard: Data Integrity for Microcontroller-Based Devices via Hardware-Triggered Write Monitoring

  2025influential citation
• ShadowHeap: Memory Safety through Efficient Heap Metadata Validation

  2021cites this paper
• Automatic Code Generation of Safety Mechanisms in Model-Driven Development

  2021cites this paper
• Shadow-Heap: Preventing Heap-based Memory Corruptions by Metadata Validation

  2020cites this paper
• Dependability Aspects in Configurable Embedded Operating Systems

  2020cites this paper
• Programming Unreliable Hardware

  2020cites this paper
• UML-based Model-Driven Code Generation of Er ror Detection Mechanisms ICSEA 2020 Porto, Portugal

  2020cites this paper
• StackVault: Protection from Untrusted Functions

  2019cites this paper
• Selfie: User-defined Sensitive Memory Protection and Recovery

  2019cites this paper
• UML Specification and Transformation of Safety Features for Memory Protection

  2019cites this paper
• Types for the Chain of Trust: No (Loader) Write Left Behind

  2018cites this paper
• Dependable Non-Volatile Memory

  2018cites this paper
• Dynamic buffer overflow detection for GPGPUs

  2017cites this paper
• Error-Efficient Computing Systems

  2017cites this paper
• DataShield: Configurable Data Confidentiality and Integrity

  2017cites this paper
• Tolerating and Correcting Memory Errors in C and C

  2017cites this paper
• Generic Soft-Error Detection and Correction for Concurrent Data Structures

  2017cites this paper
• Hardening an L4 Microkernel Against Soft Errors by Aspect-Oriented Programming and Whole-Program Analysis

  2016cites this paper
• Efficient fault-injection-based assessment of software-implemented hardware fault tolerance

  2016cites this paper
• Heterogeneous-Reliability Memory: Exploiting Application-Level Memory Error Tolerance

  2016cites this paper
• A method to avoid smartphone memory errors impacting encryption keys

  2016cites this paper
• Logical reasoning for approximate and unreliable computation

  2015cites this paper
• Hardening an L4 microkernel against soft errors by aspect-oriented programming and whole-program analysis

  2015cites this paper
• FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance

  2015cites this paper
• Characterizing Application Memory Error Vulnerability to Optimize Datacenter Cost via Heterogeneous-Reliability Memory

  2014cites this paper
• Exploiting Speculative and Asymmetric Execution on Multicore Architectures

  2014cites this paper
• A Task Morphing Framework For Energy Consumption and Reliability Tradeoffs

  2014cites this paper
• Stabilization, Safety, and Security of Distributed Systems

  2013cites this paper
• Generative software-based memory error detection and correction for operating system data structures

  2013cites this paper
• Predictable, system-level fault tolerance in composite

  2013cites this paper
• Transactional Encoding for Tolerating Transient Hardware Errors

  2013cites this paper
• Automatically Tolerating Arbitrary Faults in Non-malicious Settings

  2013cites this paper
• Verifying quantitative reliability for programs that execute on unreliable hardware

  2013cites this paper
• A Mirrored Data Structures Approach to Diverse Partial Memory Replication

  2012influential citation
• DESIGN AND EVALUATION OF INFORMATION FLOW SIGNATURE FOR SECURE COMPUTATION OF APPLICATIONS BY PRATEEK PATEL

  2012cites this paper
• Toward a Better Understanding of the Properties and Impact of Memory Hardware Errors

  2012influential citation
• Proceedings Work-in-progress Session of the 33 Rd Ieee Real-time Systems Symposium Message from the Wip Chair

  2012cites this paper
• Design and evaluation of information flow signature for secure computation of applications

  2012cites this paper
• Practical low-overhead enforcement of memory safety for c programs

  2012cites this paper
• Hardware Error Detection Using AN-Codes

  2011cites this paper
• Modular protections against non-control data attacks

  2011influential citation
• Flikker: saving DRAM refresh-power through critical data partitioning

  2011cites this paper
• Explorer On Protection by Layout Randomization

  2011cites this paper
• Isolating bugs in multithreaded programs using execution suppression

  2011cites this paper
• Hardware error detection using AN-Codes

  2010cites this paper
• Software-Implemented Hardware Error Detection: Costs and Gains

  2010cites this paper
• Diverse Partial Memory Replication

  2010cites this paper
• A Realistic Evaluation of Memory Hardware Errors and Software System Susceptibility

  2010cites this paper
• Execution suppression: An automated iterative technique for locating memory errors

  2010cites this paper
• Automatically identifying critical input regions and code in applications

  2010cites this paper
• On Protection by Layout Randomization

  2010cites this paper
• Automatically identifying critical behaviors in programs

  2009cites this paper
• AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

  2009cites this paper
• Flicker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning

  2009cites this paper
• Automated Derivation of Application-Aware Error and Attack Detectors

  2009cites this paper
• Dynamic State Alteration Techniques for Automatically Locating Software Errors

  2009cites this paper
• Position Paper — ToleRace : Tolerating and Detecting Races

  2007cites this paper
• Ensuring Critical Data Integrity via Information Flow Signatures

  2007cites this paper