David Dlott

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Fixed Point Semantics

Answer Set Programming

Countermeasures

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption. IACR Cryptol. ePrint Arch. 2019 (2019)
Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou
BeSAT: behavioral SAT-based attack on cyclic logic encryption. ASP-DAC (2019)