Hardware Private Circuits: From Trivial Composition to Full Verification

DOI10.1109/TC.2020.3022979MaRDI QIDQ3390006

Gaëtan Cassiers, Benjamin Grégoire, Itamar Levi, François-Xavier Standaert

Publication date: 23 March 2022

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (9)

Towards tight random probing security ⋮ Resilient uniformity: applying resiliency in masking ⋮ Effective and efficient masking with low noise using small-Mersenne-prime ciphers ⋮ A holistic approach towards side-channel secure fixed-weight polynomial sampling ⋮ Handcrafting: improving automated masking in hardware with manual optimizations ⋮ Energy consumption of protected cryptographic hardware cores. An experimental study ⋮ \texttt{POLKA}: towards leakage-resistant post-quantum CCA-secure public key encryption ⋮ Secret can be public: low-memory AEAD mode for high-order masking ⋮ Unifying freedom and separation for tight probing-secure composition

This page was built for publication: Hardware Private Circuits: From Trivial Composition to Full Verification