TechRxiv
PQ_Obfuscation_paper_final.pdf (399.63 kB)
Download file

Post-Quantum Logic Locking

Download (399.63 kB)
preprint
posted on 2022-06-13, 14:18 authored by Johanna BaehrJohanna Baehr, Alexander Zeh

The obfuscation of a combinational logic circuit using logic locking is similar to symmetric cryptography and can be expressed in terms of a quantified Boolean function. Satisfiability checking algorithms are used to reveal the secret key of the logic locking (so-called SAT attacks). In this paper, we analyze the impact of quantum computers for these SAT-based attacks similar to the impact on symmetric cryptographic ciphers. For the first time to our knowledge, we propose modifications of existing logic locking schemes to achieve the same security level in a post-quantum era. Furthermore, we investigate dedicated countermeasures against SAT- based algorithms, suggest modifications and evaluate their effectiveness against quantum attacks. 

Funding

IUK623/002

History

Email Address of Submitting Author

Johanna.Baehr@tum.de

ORCID of Submitting Author

0000-0002-3264-907X

Submitting Author's Institution

Technische Universität München

Submitting Author's Country

  • Germany

Usage metrics

    Licence

    Exports