English
Related papers

Related papers: Efficacy of Satisfiability Based Attacks in the Pr…

200 papers

Propositional satisfiability (SAT) is at the nucleus of state-of-the-art approaches to a variety of computationally hard problems, one of which is cryptanalysis. Moreover, a number of practical applications of SAT can only be tackled…

Artificial Intelligence · Computer Science 2018-03-14 Alexander Semenov , Oleg Zaikin , Ilya Otpuschennikov , Stepan Kochemazov , Alexey Ignatiev

Logic locking (LL) has gained attention as a promising intellectual property protection measure for integrated circuits. However, recent attacks, facilitated by machine learning (ML), have shown the potential to predict the correct key in…

Cryptography and Security · Computer Science 2024-03-05 Yinghua Hu , Kaixin Yang , Subhajit Dutta Chowdhury , Pierluigi Nuzzo

Protecting intellectual property (IP) in electronic circuits has become a serious challenge in recent years. Logic locking/encryption and layout camouflaging are two prominent techniques for IP protection. Most existing approaches, however,…

Cryptography and Security · Computer Science 2019-06-07 Satwik Patnaik , Nikhil Rangarajan , Johann Knechtel , Ozgur Sinanoglu , Shaloo Rakheja

Discovering new vulnerabilities and implementing security and privacy measures are important to protect systems and data against physical attacks. One such vulnerability is impedance, an inherent property of a device that can be exploited…

Cryptography and Security · Computer Science 2023-12-15 Md Sadik Awal , Md Tauhidur Rahman

After attacking the RSA by injecting fault and corresponding countermeasures, works appear now about the need for protecting RSA public elements against fault attacks. We provide here an extension of a recent attack based on the public…

Cryptography and Security · Computer Science 2011-02-01 Alexandre Berzati , Cécile Canovas , Jean-Guillaume Dumas , Louis Goubin

The advances of the Internet of Things (IoT) have had a fundamental impact and influence in sharping our rich living experiences. However, since IoT devices are usually resource-constrained, lightweight block ciphers have played a major…

Cryptography and Security · Computer Science 2020-10-13 Duc-Phong Le , Rongxing Lu , Ali A. Ghorbani

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

Modern processors use branch prediction and speculative execution to maximize performance. For example, if the destination of a branch depends on a memory value that is in the process of being read, CPUs will try guess the destination and…

Cryptography and Security · Computer Science 2018-01-08 Paul Kocher , Daniel Genkin , Daniel Gruss , Werner Haas , Mike Hamburg , Moritz Lipp , Stefan Mangard , Thomas Prescher , Michael Schwarz , Yuval Yarom

The IoT consists of a lot of devices such as embedded systems, wireless sensor nodes (WSNs), control systems, etc. It is essential for some of these devices to protect information that they process and transmit. The issue is that an…

Cryptography and Security · Computer Science 2022-01-19 Dmytro Petryk , Zoya Dyka , Peter Langendoerfer

In recent years, quantum computing has started to demonstrate superior efficiency to classical computing. In quantum computing, quantum circuits that implement specific quantum algorithms are usually not directly executable on quantum…

Quantum Physics · Physics 2025-08-19 Yuntao Liu , Jayden John , Qian Wang

Code obfuscation is a major tool for protecting software intellectual property from attacks such as reverse engineering or code tampering. Yet, recently proposed (automated) attacks based on Dynamic Symbolic Execution (DSE) shows very…

Cryptography and Security · Computer Science 2019-08-08 Mathilde Ollivier , Sébastien Bardin , Richard Bonichon , Jean-Yves Marion

The power consumption of a microprocessor is a huge channel for information leakage. While the most popular exploitation of this channel is to recover cryptographic keys from embedded devices, other applications such as mobile app…

Cryptography and Security · Computer Science 2021-08-27 Muhammad Arsath K F , Vinod Ganesan , Rahul Bodduna , Chester Rebeiro

The availability of wide-ranging third-party intellectual property (3PIP) cores enables integrated circuit (IC) designers to focus on designing high-level features in ASICs/SoCs. The massive proliferation of ICs brings with it an increased…

Machine Learning · Computer Science 2022-03-07 Nikhil Muralidhar , Abdullah Zubair , Nathanael Weidler , Ryan Gerdes , Naren Ramakrishnan

Logic locking is a prominent technique to protect the integrity of hardware designs throughout the integrated circuit design and fabrication flow. However, in recent years, the security of locking schemes has been thoroughly challenged by…

Cryptography and Security · Computer Science 2021-05-20 Dominik Sisejkovic , Farhad Merchant , Lennart M. Reimann , Harshit Srivastava , Ahmed Hallawa , Rainer Leupers

Circuit obfuscation is a recently proposed defense mechanism to protect digital integrated circuits (ICs) from reverse engineering by using camouflaged gates i.e., logic gates whose functionality cannot be precisely determined by the…

Cryptography and Security · Computer Science 2020-03-24 Zhiqian Chen , Gaurav Kolhe , Setareh Rafatirad , Sai Manoj P. D. , Houman Homayoun , Liang Zhao , Chang-Tien Lu

Fault attacks against embedded circuits enabled to define many new attack paths against secure circuits. Every attack path relies on a specific fault model which defines the type of faults that the attacker can perform. On embedded…

Cryptography and Security · Computer Science 2014-02-27 Nicolas Moro , Karine Heydemann , Emmanuelle Encrenaz , Bruno Robisson

Hardware Trojans have drawn the attention of academia, industry and government agencies. Effective detection mechanisms and countermeasures against such malicious designs can only be developed when there is a deep understanding of how…

Cryptography and Security · Computer Science 2019-10-03 Samaneh Ghandali , Thorben Moos , Amir Moradi , Christof Paar

Reversible logic is emerging as an important research area having its application in diverse fields such as low power CMOS design, digital signal processing, cryptography, quantum computing and optical information processing. This paper…

Hardware Architecture · Computer Science 2010-08-20 Md. Saiful Islam , Muhammad Mahbubur Rahman , Zerina Begum , Mohd. Zulfiquar Hafiz , Abdullah Al Mahmud

The interest in quantum computing has grown rapidly in recent years, and with it grows the importance of securing quantum circuits. A novel type of threat to quantum circuits that dedicated attackers could launch are power trace attacks. To…

Cryptography and Security · Computer Science 2025-02-25 Ferhat Erata , Chuanqi Xu , Ruzica Piskac , Jakub Szefer

Internal Safety Collapse (ISC) is a failure mode in which frontier LLMs, when executing legitimate professional tasks whose correct completion structurally requires harmful content, spontaneously generate that content with safety failure…

Cryptography and Security · Computer Science 2026-04-24 Chao Pan , Yu Wu , Xin Yao