Thwarting Reverse Engineering Attacks through Keyless Logic Obfuscation

Proceedings Paper Computer Science, Hardware & Architecture

Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption

Yinghua Hu et al.

Summary: The SAT attack has proven to be effective against most combinational logic encryption methods and can be extended to attack sequential logic encryption techniques. However, without guidance on the number of circuit unrollings needed, the attack may solve many SAT and model checking problems inefficiently. Fun-SAT introduces functional corruptibility guidance to decrease SAT solving and model checking time, achieving significant speedup compared to previous attacks against state-of-the-art encryption methods.

2021 IEEE INTERNATIONAL SYMPOSIUM ON HARDWARE ORIENTED SECURITY AND TRUST (HOST) (2021)

Add to Collection

Proceedings Paper Computer Science, Hardware & Architecture

JavaSMT 3: Interacting with SMT Solvers in Java

Daniel Baier et al.

Summary: SMT technology has many applications, but different solvers have different APIs, making it difficult to switch between them. JAVASMT is a unified API framework that supports multiple SMT solvers.

COMPUTER AIDED VERIFICATION, PT II, CAV 2021 (2021)

Add to Collection

Proceedings Paper Computer Science, Hardware & Architecture