Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering
Probabilistic encryption