See http://www.cs.umass.edu/~kevinfu/publications.html for the securely updated USENIX HotSec paper.