77 citations · 211 across the 17 of their papers we have counts for
15 papers · 1 filter
Gate-Level Side-Channel Leakage Assessment with Architecture Correlation Analysis
Pantea Kiaei, Yuan Yao, Zhenyuan Liu +7
While side-channel leakage is traditionally evaluated from a fabricated chip, it is more time-efficient and cost-effective to do so during the design phase of the chip. We present…
An End-to-End Analysis of EMFI on Bit-sliced Post-Quantum Implementations
Richa Singh, Saad Islam, Berk Sunar +1
Bit-slicing is a software implementation technique that treats an N-bit processor datapath as N parallel single-bit datapaths. The natural spatial redundancy of bit-sliced software…
Signature Correction Attack on Dilithium Signature Scheme
Saad Islam, Koksal Mus, Richa Singh +2
Motivated by the rise of quantum computers, existing public-key cryptosystems are expected to be replaced by post-quantum schemes in the next decade in billions of devices. To faci…
Dimming Down LED: An Open-source Threshold Implementation on Light Encryption Device (LED) Block Cipher
Yuan Yao, Mo Yang, Pantea Kiaei +1
Lightweight block ciphers have been widely used in applications such as RFID tags, IoTs, and network sensors. Among them, with comparable parameters, the Light Encryption Device (L…
Real-time Detection and Adaptive Mitigation of Power-based Side-Channel Leakage in SoC
Pantea Kiaei, Yuan Yao, Patrick Schaumont
Power-based side-channel is a serious security threat to the System on Chip (SoC). The secret information is leaked from the power profile of the system while a cryptographic algor…
Programmable RO (PRO): A Multipurpose Countermeasure against Side-channel and Fault Injection Attack
Yuan Yao, Pantea Kiaei, Richa Singh +2
Side-channel and fault injection attacks reveal secret information by monitoring or manipulating the physical effects of computations involving secret variables. Circuit-level coun…
Security for Emerging Miniaturized Wireless Biomedical Devices: Threat Modeling with Application to Case Studies
Vladimir Vakhter, Betul Soysal, Patrick Schaumont +1
The landscape of miniaturized wireless biomedical devices (MWBDs) is rapidly expanding as proactive mobile healthcare proliferates. MWBDs are diverse and include various injectable…
SoK: Design Tools for Side-Channel-Aware Implementations
Ileana Buhan, Lejla Batina, Yuval Yarom +1
Side-channel attacks that leak sensitive information through a computing device's interaction with its physical environment have proven to be a severe threat to devices' security,…
KHOVID: Interoperable Privacy Preserving Digital Contact Tracing
Xiang Cheng, Hanchao Yang, Archanaa S Krishnan +2
During a pandemic, contact tracing is an essential tool to drive down the infection rate within a population. To accelerate the laborious manual contact tracing process, digital co…
Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection
Pantea Kiaei, Cees-Bart Breunesse, Mohsen Ahmadi +2
Fault injection attacks can cause errors in software for malicious purposes. Oftentimes, vulnerable points of a program are detected after its development. It is therefore critical…
Synthesis of Parallel Synchronous Software
Pantea Kiaei, Patrick Schaumont
In typical embedded applications, the precise execution time of the program does not matter, and it is sufficient to meet a real-time deadline. However, modern applications in info…
Fault Attacks on Secure Embedded Software: Threats, Design and Evaluation
Bilgiday Yuce, Patrick Schaumont, Marc Witteman
Embedded software is developed under the assumption that hardware execution is always correct. Fault attacks break and exploit that assumption. Through the careful introduction of…
Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA
Johann Knechtel, Elif Bilge Kavun, Francesco Regazzoni +10
Modern electronic systems become evermore complex, yet remain modular, with integrated circuits (ICs) acting as versatile hardware components at their heart. Electronic design auto…
Eliminating Timing Side-Channel Leaks using Program Repair
Meng Wu, Shengjian Guo, Patrick Schaumont +1
We propose a method, based on program analysis and transformation, for eliminating timing side channels in software code that implements security-critical applications. Our method…
Report on the NSF Workshop on Formal Methods for Security
Stephen Chong, Joshua Guttman, Anupam Datta +5
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.