One-time programs
security engineering - a guide to building dependable distributed systems .