PEASOUP: preventing exploits against software of uncertain provenance (position paper)

No abstract is available for this paper.

• Publication year

  2011

• Venue

  SESS '11

• Publication date

  2011-05-22

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1988630.1988639
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automatic program repair with evolutionary computation

  2010cited by this paper
• Automated program repair through the evolution of assembly code

  2010cited by this paper
• On the effectiveness of the metamorphic shield

  2010cited by this paper
• ASSURE: automatic software self-healing using rescue points

  2009influential reference
• Secure in-VM monitoring using hardware virtualization

  2009influential reference
• Automatically patching errors in deployed software

  2009cited by this paper
• MEDS: The Memory Error Detection System

  2009influential reference
• Automating Intrusion Response via Virtualization for Realizing Uninterruptible Web Services

  2009cited by this paper
• Automated Whitebox Fuzz Testing

  2008cited by this paper
• KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs

  2008influential reference
• Creating Vulnerability Signatures Using Weakest Preconditions

  2007cited by this paper
• Hybrid Concolic Testing

  2007cited by this paper
• Inference and enforcement of data structure consistency specifications

  2006cited by this paper
• Secure and practical defense against code-injection attacks using software dynamic translation

  2006cited by this paper
• Execution Generated Test Cases: How to Make Systems Code Crash Itself

  2005cited by this paper
• Data structure repair using goal-directed reasoning

  2005cited by this paper
• Vigilante: end-to-end containment of internet worms

  2005cited by this paper
• DART: directed automated random testing

  2005cited by this paper
• CUTE: a concolic unit testing engine for C

  2005cited by this paper
• Randomized instruction set emulation

  2005cited by this paper
• On the effectiveness of address-space randomization

  2004cited by this paper
• Enhancing Server Availability and Security Through Failure-Oblivious Computing

  2004cited by this paper
• Retargetable and reconfigurable software dynamic translation

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

  2003cited by this paper
• Countering code-injection attacks with instruction-set randomization

  2003cited by this paper
• Secure Execution via Program Shepherding

  2002cited by this paper
• Slipstream processors: improving both performance and fault tolerance

  2000cited by this paper
• Software rejuvenation: analysis, module and applications

  1995cited by this paper

• Sandboxing of biomedical applications in Linux containers based on system call evaluation

  2018cites this paper
• Fine-Grained Supervision and Restriction of Biomedical Applications in Linux Containers

  2017cites this paper
• Searching for software diversity: attaining artificial diversity through program synthesis

  2016cites this paper
• Preventing Exploits Against Software of Uncertain Provenance (PEASOUP)

  2015cites this paper
• To B or not to B: Blessing OS Commands with Software DNA Shotgun Sequencing

  2014cites this paper
• Seventh international workshop on software engineering for secure systems: (SESS 2011)

  2011cites this paper