• Home
  • Search
  • StatSAT: A Boolean Satisfiability based Attack on Logic-Locked Probabilistic Circuits
  • Cite Icon3
  • https://doi.org/10.1109/dac18072.2020.9218703Copy DOI Icon

StatSAT: A Boolean Satisfiability based Attack on Logic-Locked Probabilistic Circuits

  • Jul 1, 2020
  • Ankit Mondal +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

The outsourcing of chip designs for fabrication has raised concerns regarding the protection of Intellectual Property (IP) from an untrustworthy foundry. Logic locking is a design-for-security technique that has the potential to thwart attacks from such an adversary. On the other hand, the notions of approximate and probabilistic computing have been popularized due to their low energy consumption characteristics and their potential application in error-tolerant frameworks. Prior work has looked into and exposed the vulnerability of logic-locked circuits using concepts of Boolean Satisfiability (SAT), but mostly from the perspective of deterministic designs. Despite existing attack frameworks not being directly applicable, we show in this work that circuits exhibiting probabilistic behavior also face the same threat. We propose StatSAT, an attack methodology incorporating statistical techniques into the existing SAT attack, that can overcome the hurdles imposed by the probabilistic behavior. Our attack results show that the adversary is capable of unlocking the circuit to an extent good for all practical purposes.

Similar Papers
  • Research Article

Protection of Intellectual Rights in International Agricultural Trade as Illustrated by the Experience of China and Russia

  • Nov 27, 2025
  • legal education and science
  • Chun Feng +1
  • Research Article
  • Citations22

How does intellectual property protection in the host country affect outward foreign direct investment?

  • Jun 05, 2021
  • Research in International Business and Finance
  • Fengchun Li +2
  • Book Chapter
  • Citations2

Interest Groups and Sino-US Conflicts over Intellectual Property Protection

  • Jan 01, 2011
  • Li-Hong Yu
  • Book Chapter

Initial Exploration of Cross-Generational Attitudes Towards Piracy of Chinese Online Literature

  • Jan 01, 2022
  • Rob Kim Marjerison +1
  • Research Article

Intellectual Property Information Service in Colleges and Universities Under the Background of Innovation Driven

  • Nov 16, 2021
  • Forest Chemicals Review
  • Li Yuan
  • Research Article

The Colour of Copyright

  • Jul 01, 2002
  • M/C Journal
  • Margaret Mcdonnell
  • Research Article

Incomplete Harmonization Contracts in International Economic Law: Report of the Panel, China - Measures Affecting the Protection and Enforcement of Intellectual Property Rights, Wt/Ds362/R, Adopted 20 March 2009

  • Mar 31, 2011
  • SSRN Electronic Journal
  • Kamal Saggi +1
  • Research Article

СУЧАСНЕ БАЧЕННЯ ПРИРОДИ БЕЗПЕКИ ІНТЕЛЕКТУАЛЬНОЇ ВЛАСНОСТІ ПІДПРИЄМСТВ УКРАЇНИ

  • Jan 01, 2021
  • Law Journal of Donbass
  • Victoria Shekhovtsova
  • Research Article

Saudi Arabia’s Generative AI Strategy: Legal Challenges in Intellectual Property Protection

  • Jan 30, 2025
  • Journal of Lifestyle and SDGs Review
  • Mahmoud Mohammed Abu Farwah
  • Research Article

CRIMINAL AND CIVIL PROTECTION TO INDUSTRIAL INTELLECTUAL PROPERTY AND PATENT: IT’S HISTORICAL, GRASSROOTS, DEVELOPMENT AND CONTEMPORARY IMPLEMENTATIONS, UNITED ARAB EMIRATES, LAW AS A CASE STUDY

  • Jan 01, 2023
  • RIMAK International Journal of Humanities and Social Sciences
  • Ahmed El-Murdi Saeed Omar +1
  • Book Chapter
  • Citations5

Overlaps and conflict norms in human rights law: Approaches of European courts to address intersections with intellectual property rights

  • Nov 22, 2013
  • Henning Grosse Ruse-Khan
  • PDF
  • Research Article
  • Citations11

Retracted] Mode Optimization and Rule Management of Intellectual Property Rights Protection of Educational Resource Data Based on Machine Learning Algorithm

  • Jan 01, 2021
  • Complexity
  • Jiawei Cao
  • Research Article

МІЖНАРОДНІ ЗАСАДИ КРИМІНАЛЬНО-ПРАВОВОГО ЗАХИСТУ ОБ’ЄКТІВ ІНТЕЛЕКТУАЛЬНОЇ ВЛАСНОСТІ

  • Sep 02, 2022
  • Scientific journal Criminal and Executive System: Yesterday. Today. Tomorrow
  • I.V Berdnik
  • Research Article
  • Citations70

A Pay-per-Use Licensing Scheme for Hardware IP Cores in Recent SRAM-Based FPGAs

  • Feb 01, 2012
  • IEEE Transactions on Information Forensics and Security
  • Roel Maes +2
  • Research Article

������� �� �̲�� �������� ���˲����� ��̲Ͳ��������� � ���в �������������ί �������Ҳ � ������� ������������� �����

  • Jun 01, 2021
  • Bulletin of Alfred Nobel University Series "Law"
  • Pavlo V Makushev +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.