SeqL: SAT-attack Resilient Sequential Locking

Seetal Potluri, Akash Kumar 0001, Aydin Aysu. SeqL: SAT-attack Resilient Sequential Locking. IACR Cryptology ePrint Archive, 2019:656, 2019. [doi]

Abstract

Abstract is missing.