Automatically generating malicious disks using symbolic execution

  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)},
  pages={15 pp.-257}
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
Highly Cited
This paper has 86 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 65 extracted citations

86 Citations

Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…