ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2108.04892
  4. Cited By
Fun-SAT: Functional Corruptibility-Guided SAT-Based Attack on Sequential
  Logic Encryption

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

IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2021
10 August 2021
Yinghua Hu
Yuke Zhang
Kaixin Yang
Dake Chen
Peter A. Beerel
Pierluigi Nuzzo
ArXiv (abs)PDFHTMLGithub

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

3 / 3 papers shown
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and
  ILP
Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILPIEEE International Symposium on Quality Electronic Design (ISQED), 2023
Dake Chen
Xuan Zhou
Yinghua Hu
Yuke Zhang
Kaixin Yang
A. Rittenbach
Pierluigi Nuzzo
Peter A. Beerel
165
2
0
28 Apr 2023
Complexity Analysis of the SAT Attack on Logic Locking
Complexity Analysis of the SAT Attack on Logic LockingIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD), 2022
Yadi Zhong
Ujjwal Guin
205
29
0
05 Jul 2022
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT
  and Removal Attacks
TriLock: IC Protection with Tunable Corruptibility and Resilience to SAT and Removal AttacksDesign, Automation and Test in Europe (DATE), 2022
Yuke Zhang
Yinghua Hu
Pierluigi Nuzzo
Peter A. Beerel
128
6
0
16 Jan 2022
1
Page 1 of 1