Springer
L. Aceto (Luca) , M. Henzinger , J. Sgall
Lecture Notes in Computer Science
International Colloquium on Automata, Languages and Programming
Cryptology

Faust, S., Pietrzak, K., & Venturi, D. (2011). Tamper-proof circuits: how to trade leakage for tamper-resilience. In L. Aceto, M. Henzinger, & J. Sgall (Eds.), Proceedings of International Colloquium on Automata, Languages and Programming 2011 (pp. 391–402). Springer.