English
Related papers

Related papers: C-SAR: SAT Attack Resistant Logic Locking for RSFQ…

200 papers

Logic locking has emerged to prevent piracy and overproduction of integrated circuits ever since the split of the design house and manufacturing foundry was established. While there has been a lot of research using a single global key to…

Cryptography and Security · Computer Science 2025-01-07 Kevin Lopez , Amin Rezaei

The Circuit Satisfiability (CSAT) problem, a variant of the Boolean Satisfiability (SAT) problem, plays a critical role in integrated circuit design and verification. However, existing SAT solvers, optimized for Conjunctive Normal Form…

Logic in Computer Science · Computer Science 2025-07-03 Zhengyuan Shi , Tiebing Tang , Jiaying Zhu , Sadaf Khan , Hui-Ling Zhen , Mingxuan Yuan , Zhufei Chu , Qiang Xu

Side-channel attacks have empowered bypassing of cryptographic components in circuits. Power side-channel (PSC) attacks have received particular traction, owing to their non-invasiveness and proven effectiveness. Aside from prior art…

Cryptography and Security · Computer Science 2020-07-09 Johann Knechtel , Satwik Patnaik , Mohammed Nabeel , Mohammed Ashraf , Yogesh S. Chauhan , Jörg Henkel , Ozgur Sinanoglu , Hussam Amrouch

Protecting intellectual property (IP) has become a serious challenge for chip designers. Most countermeasures are tailored for CMOS integration and tend to incur excessive overheads, resulting from additional circuitry or device-level…

Emerging Technologies · Computer Science 2019-06-05 Satwik Patnaik , Nikhil Rangarajan , Johann Knechtel , Ozgur Sinanoglu , Shaloo Rakheja

Semi-Private Function Evaluation (SPFE) enables joint computation while protecting both input data and the function itself. A practical instantiation is gate-hiding garbled circuits, which conceal gate functionalities while revealing…

Cryptography and Security · Computer Science 2026-05-05 Chao Yin , Zunchen Huang , Chenglu Jin , Marten van Dijk , Fabio Massacci

Exascale computing and its associated applications have required increasing degrees of efficiency. Semiconductor-Transistor-based Circuits (STbCs) have struggled with increasing the GHz frequency while dealing with power dissipation issues.…

Logic in Computer Science · Computer Science 2023-01-26 Junyao Zhang , Paul Bogdan , Shahin Nazarian

The need for reducing manufacturing defect escape in today's safety-critical applications requires increased fault coverage. However, generating a test set using commercial automatic test pattern generation (ATPG) tools that lead to…

Cryptography and Security · Computer Science 2023-02-10 Yadi Zhong , Ujjwal Guin

Logic locking has been a promising solution to many hardware security threats, such as intellectual property infringement and overproduction. Due to the increased attention that threats have received, many efficient specialized attacks…

Cryptography and Security · Computer Science 2023-01-12 F. Almeida , L. Aksoy , Q-L. Nguyen , S. Dupuis , M-L. Flottes , S. Pagliarini

Logic locking aims to prevent intellectual property (IP) piracy and unauthorized overproduction of integrated circuits (ICs). However, initial logic locking techniques were vulnerable to the Boolean satisfiability (SAT)-based attacks. In…

Cryptography and Security · Computer Science 2021-11-16 Lilas Alrahis , Satwik Patnaik , Muhammad Abdullah Hanif , Muhammad Shafique , Ozgur Sinanoglu

This is the first work augmenting hardware attacks mounted on obfuscated circuits by incorporating deep recurrent neural network (D-RNN). Logic encryption obfuscation has been used for thwarting counterfeiting, overproduction, and reverse…

Cryptography and Security · Computer Science 2018-03-12 Fatemeh Tehranipoor , Nima Karimian , Mehran Mozaffari Kermani , Hamid Mahmoodi

Fault injection attacks represent a type of active, physical attack against cryptographic circuits. Various countermeasures have been proposed to thwart such attacks, the design and implementation of which are, however, intricate,…

Cryptography and Security · Computer Science 2023-07-04 Huiyu Tan , Pengfei Gao , Taolue Chen , Fu Song , Zhilin Wu

The outsourcing of semiconductor manufacturing raises security risks, such as piracy and overproduction of hardware intellectual property. To overcome this challenge, logic locking has emerged to lock a given circuit using additional key…

Cryptography and Security · Computer Science 2025-01-30 Kevin Lopez , Amin Rezaei

Circuit obfuscation is a frequently used approach to conceal logic functionalities in order to prevent reverse engineering attacks on fabricated chips. Efficient obfuscation implementations are expected with lower design complexity and…

Emerging Technologies · Computer Science 2018-02-09 Jianlei Yang , Xueyan Wang , Qiang Zhou , Zhaohao Wang , Hai , Li , Yiran Chen , Weisheng Zhao

The semiconductor industry's paradigm shift towards fabless integrated circuit (IC) manufacturing has introduced security threats, including piracy, counterfeiting, hardware Trojans, and overproduction. In response to these challenges,…

Cryptography and Security · Computer Science 2024-09-26 Felipe Almeida , Levent Aksoy , Samuel Pagliarini

Consumer and defense systems demanded design and manufacturing of electronics with increased performance, compared to their predecessors. As such systems became ubiquitous in a plethora of domains, their application surface increased, thus…

Cryptography and Security · Computer Science 2022-08-19 Abhijitt Dhavlle

Gate camouflaging is a known security enhancement technique that tries to thwart reverse engineering by hiding the functions of gates or the connections between them. A number of works on SAT-based attacks have shown that it is often…

Cryptography and Security · Computer Science 2018-02-27 Shahrzad Keshavarz , Falk Schellenberg , Bastian Richter , Christof Paar , Daniel Holcomb

Numerous threats are associated with the globalized integrated circuit (IC) supply chain, such as piracy, reverse engineering, overproduction, and malicious logic insertion. Many obfuscation approaches have been proposed to mitigate these…

Cryptography and Security · Computer Science 2022-07-13 Zain UlAbideen , Tiago Diadami Perez , Mayler Martins , Samuel Pagliarini

Outsourcing in semiconductor industry opened up venues for faster and cost-effective chip manufacturing. However, this also introduced untrusted entities with malicious intent, to steal intellectual property (IP), overproduce the circuits,…

Cryptography and Security · Computer Science 2020-01-22 Nimisha Limaye , Ozgur Sinanoglu

Power side-channel (PSC) attacks are well-known threats to sensitive hardware like advanced encryption standard (AES) crypto cores. Given the significant impact of supply voltages (VCCs) on power profiles, various countermeasures based on…

Cryptography and Security · Computer Science 2022-11-16 Saideep Sreekumar , Mohammed Ashraf , Mohammed Nabeel , Ozgur Sinanoglu , Johann Knechtel

Attacks based on side-channel analysis (SCA) pose a severe security threat to modern computing platforms, further exacerbated on IoT devices by their pervasiveness and handling of private and critical data. Designing SCA-resistant computing…

Cryptography and Security · Computer Science 2025-03-18 Davide Zoni , Andrea Galimberti , Davide Galli