Logic locking is a promising solution against emerging hardware security threats, which
entails protecting a Boolean circuit using a “keying” mechanism. The latest and hitherto …

The semiconductor industry is fully globalized and integrated circuits (ICs) are commonly
defined, designed and fabricated in different premises across the world. This reduces …

With advances in shrinking process technology sizes, the parasitic effects of closely routed
adjacent wires, crosstalk, still present problems in practice since they directly influence …

Security against hardware trojans is currently becoming an essential ingredient to ensure
trust in information systems. A variety of solutions have been introduced to reach this goal …

Trusted execution environments (TEEs) enable secure execution of programs on untrusted
hosts and cryptographically attest the correctness of outputs. As these are complex systems …

Decentralization has been touted as the principal security advantage which propelled
blockchain systems at the forefront of developments in the financial technology space. Its …

The notion of “efficiently testable circuits”(ETC) was recently put forward by Baig et
al.(ITCS'23). Informally, an ETC compiler takes as input any Boolean circuit C and outputs a …

The fabrication process of integrated circuits (ICs) is complex and requires the use of off-
shore foundries to lower the costs and to have access to leading-edge manufacturing …

Abstract $\ell $-more extractable hash functions were introduced by Kiayias et al.(CCS'16)
as a strengthening of extractable hash functions by Goldwasser et al.(Eprint'11) and …

Non-malleable codes were introduced by Dziembowski et al.(in: Yao (ed) ICS2010,
Tsinghua University Press, 2010), and its main application is the protection of cryptographic …