Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2108.04892
Cited By
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption
10 August 2021
Yinghua Hu
Yuke Zhang
Kaixin Yang
Dake Chen
Peter A. Beerel
Pierluigi Nuzzo
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential Logic Encryption"
3 / 3 papers shown
Title
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP
Dake Chen
Xuan Zhou
Yinghua Hu
Yuke Zhang
Kaixin Yang
A. Rittenbach
Pierluigi Nuzzo
Peter A. Beerel
53
2
0
28 Apr 2023
Complexity Analysis of the SAT Attack on Logic Locking
Yadi Zhong
Ujjwal Guin
61
18
0
05 Jul 2022
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal Attacks
Yuke Zhang
Yinghua Hu
Pierluigi Nuzzo
Peter A. Beerel
30
3
0
16 Jan 2022
1