Dynamic detection and prevention of race conditions in file accesses (2003)

by Eugene Tsyrklevich , Bennet Yee
Venue:In Proceedings of the 12th USENIX Security Symposium
Citations:21 - 0 self

Active Bibliography

521 Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software – James Newsome, Dawn Song - 2005
442 Vulnerabilities Analysis – Matt Bishop - 1999
384 Flow-Sensitive Type Qualifiers – Jeffrey S. Foster, Tachio Terauchi, Alex Aiken - 2002
352 Checking system rules using system-specific, programmer-written compiler extensions – Dawson Engler, Benjamin Chelf, Andy Chou - 2000
327 Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code – Dawson Engler, David Yu Chen, Seth Hallem, Andy Chou, Benjamin Chelf - 2001
280 An Empirical Study of Operating System Errors – Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson Engler - 2001
282 Improving Host Security with System Call Policies – Niels Provos - 2002
11 Portably solving file TOCTTOU races with hardness amplification – Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva - 2008
252 Improving the reliability of commodity operating systems – Michael M. Swift, Brian N. Bershad, Henry M. Levy - 2003