Ruifeng Jiang

Publication Activity (10 Years)

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

Top Topics

Bounded Model Checking

Answer Set Programming

Countermeasures

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Hai Zhou, Ruifeng Jiang, Shuyu Kong
CycSAT: SAT-based attack on cyclic logic encryptions. ICCAD (2017)
Hai Zhou, Ruifeng Jiang, Shuyu Kong
CycSAT: SAT-Based Attack on Cyclic Logic Encryptions. IACR Cryptol. ePrint Arch. 2017 (2017)