Portably solving file TOCTTOU races with hardness amplification

Dan Tsafrir, Tomer Hertz, David Wagner, Dilma Da Silva

Research output: Contribution to conferencePaperpeer-review

32 Scopus citations

Abstract

The file-system API of contemporary systems makes programs vulnerable to TOCTTOU (time of check to time of use) race conditions. Existing solutions either help users to detect these problems (by pinpointing their locations in the code), or prevent the problem altogether (by modifying the kernel or its API). The latter alternative is not prevalent, and the former is just the first step: programmers must still address TOCTTOU flaws within the limits of the existing API with which several important tasks can not be accomplished in a portable straightforward manner. Recently, Dean and Hu addressed this problem and suggested a probabilistic hardness amplification approach that alleviated the matter. Alas, shortly after, Borisov et al. responded with an attack termed “filesystem maze” that defeated the new approach. We begin by noting that mazes constitute a generic way to deterministically win many TOCTTOU races (gone are the days when the probability was small). In the face of this threat, we (1) develop a new user-level defense that can withstand mazes, and (2) show that our method is undefeated even by much stronger hypothetical attacks that provide the adversary program with ideal conditions to win the race (enjoying complete and instantaneous knowledge about the defending program’s actions and being able to perfectly synchronize accordingly). The fact that our approach is immune to these unrealistic attacks suggests it can be used as a simple and portable solution to a large class of TOCTTOU vulnerabilities, without requiring modifications to the underlying operating system.

Original languageEnglish
Pages189-206
Number of pages18
StatePublished - 1 Jan 2008
Externally publishedYes
Event6th USENIX Conference on File and Storage Technologies, FAST 2008 - San Jose, United States
Duration: 26 Feb 200829 Feb 2008

Conference

Conference6th USENIX Conference on File and Storage Technologies, FAST 2008
Country/TerritoryUnited States
CitySan Jose
Period26/02/0829/02/08

Fingerprint

Dive into the research topics of 'Portably solving file TOCTTOU races with hardness amplification'. Together they form a unique fingerprint.

Cite this