Algorithmic Tamper-Proof (ATP) Security: Theoretical Foundations for Security against Hardware Tampering.

Rosario Gennaro, Anna Lysyanskaya, Tal Malkin, Silvio Micali, Tal Rabin

Browse the full TCC paper archive.