Dan Tsafrir Tomer Hertz David Wagner Dilma Da Silva Portably Solving File TOCTTOU Races with Hardness Amplification. 189-206 2008 FAST http://www.usenix.org/events/fast08/tech/tsafrir.html conf/fast/2008 db/conf/fast/fast2008.html#TsafrirHWS08