F-leak — Leakage, physically observable computation

F-leak (Leakage, physically observable computation) is part of Idealized Setup and Resources in the UC functionality encyclopedia. Status: an idealized setup assumption or shared resource.

References:

• Micali and Reyzin. Physically observable cryptography. In 1st Theory of Cryptography Conference (TCC), volume 2951 of LNCS, 2004.
• Bitansky, Canetti, and Halevi. Leakage-tolerant interactive protocols. In 9th Theory of Cryptography Conference (TCC), pages 266–284, 2012.