BeSAT: Behavioral SAT-based Attack on Cyclic Logic Encryption. - Yuanqi Shen; You Li 008; Amin Rezaei 001; Shuyu Kong; David Dlott; Hai Zhou 001 (IACR Cryptol. ePrint Arch., 2019)

Saving Energy with Per-Variable Bitwidth Speculation. - Tommy McMichen; David Dlott; Panitan Wongse-ammat; Nathan Greiner; Hussain Khajanchi; Russ Joseph; Simone Campanoni (ASPLOS (2), 2025)