\input zb-basic
\input zb-ioport
\iteman{io-port 06086094}
\itemau{Dachman-Soled, Dana; Kalai, Yael Tauman}
\itemti{Securing circuits against constant-rate tampering.}
\itemso{Safavi-Naini, Reihaneh (ed.) et al., Advances in cryptology -- CRYPTO 2012. 32nd annual cryptology conference, Santa Barbara, CA, USA, August 19--23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32008-8/pbk). Lecture Notes in Computer Science 7417, 533-551 (2012).}
\itemab
Summary: We present a compiler that converts any circuit into one that remains secure even if a constant fraction of its wires are tampered with. Following the seminal work of Ishai et. al. (Eurocrypt 2006), we consider adversaries who may choose an arbitrary set of wires to corrupt, and may set each such wire to 0 or to 1, or may toggle with the wire. We prove that such adversaries, who continuously tamper with the circuit, can learn at most logarithmically many bits of secret information (in addition to black-box access to the circuit). Our results are information theoretic.
\itemrv{~}
\itemcc{}
\itemut{side-channel attacks; tampering; circuit compiler; PCP of proximity}
\itemli{doi:10.1007/978-3-642-32009-5\_31}
\end