fig : a prototype tool for online verification of recovery mechanisms .
A Secure Environment for Untrusted Helper Applications (Confining the Wily Hacker)