Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering
On the Importance of Eliminating Errors in Cryptographic Computations