F-wrap — Tamper-proof hardware token

F-wrap (Tamper-proof hardware token) is part of Idealized Setup and Resources in the UC functionality encyclopedia. Status: an idealized setup assumption or shared resource.

References:

• Gennaro et al. Algorithmic tamper-proof (ATP) security: Theoretical foundations for security against hardware tampering. In 1st Theory of Cryptography Conference (TCC), volume 2951 of LNCS, 2004.
• Katz. Universally composable multi-party computation using tamper-proof hardware. In Advances in Cryptology – EUROCRYPT 2007, 2007.