Automatically generating malicious disks using symbolic execution

@article{Yang2006AutomaticallyGM,
  title={Automatically generating malicious disks using symbolic execution},
  author={Junfeng Yang and Can Sar and Paul Twohey and Cristian Cadar and Dawson R. Engler},
  journal={2006 IEEE Symposium on Security and Privacy (S&P'06)},
  year={2006},
  pages={15 pp.-257}
}
  • Junfeng Yang, Can Sar, +2 authors Dawson R. Engler
  • Published in
    IEEE Symposium on Security…
    2006
  • Computer Science
  • Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant violations before using it. Because file system code typically runs inside the operating system kernel, even a single unchecked value can crash the machine or lead to an exploit. Unfortunately, validating file system images is complex: they form DAGs with complex dependency relationships across massive amounts of data… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 79 CITATIONS

    Recon: Verifying file system consistency at runtime

    VIEW 4 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Finding semantic bugs in file systems with an extensible fuzzing framework

    VIEW 1 EXCERPT
    CITES BACKGROUND

    Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks

    VIEW 1 EXCERPT
    CITES BACKGROUND

    CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems

    VIEW 2 EXCERPTS
    CITES METHODS & BACKGROUND

    FILTER CITATIONS BY YEAR

    2006
    2020

    CITATION STATISTICS

    • 3 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 29 REFERENCES

    IRON file systems

    VIEW 1 EXCERPT

    A theory of predicate-complete test coverage and generation

    • T. Ball
    • In FMCO’2004: Symp. on Formal Methods for Components and Objects. SpringerPress,
    • 2004
    VIEW 2 EXCERPTS

    An Extensible SAT-solver

    VIEW 2 EXCERPTS