English
Related papers

Related papers: PoSyn: Secure Power Side-Channel Aware Synthesis

200 papers

Reconfigurable intelligent surface (RIS) facilitates the extraction of unpredictable channel features for physical layer key generation (PKG), securing communications among legitimate users with symmetric keys. Previous works have…

Signal Processing · Electrical Eng. & Systems 2024-08-15 Ningya Xu , Guoshun Nan , Xiaofeng Tao , Na Li , Pengxuan Mao , Tianyuan Yang

Cyber Physical Systems (cps) are deployed in many mission-critical settings, such as medical devices, autonomous vehicular systems and aircraft control management systems. As more and more CPS adopt Deep Neural Networks (Deep Neural Network…

Systems and Control · Electrical Eng. & Systems 2021-05-24 Aarti Kashyap , Syed Mubashir Iqbal , Karthik Pattabiraman , Margo Seltzer

Side-channel attacks pose significant challenges to the security of embedded systems, often allowing attackers to circumvent encryption algorithms in minutes compared to the trillions of years required for brute-force attacks. To mitigate…

Cryptography and Security · Computer Science 2023-07-27 Gabriel Klasson Landin , Truls Jilborg

Security vulnerability analysis of Integrated Circuits using conventional design-time validation and verification techniques (like simulations, emulations, etc.) is generally a computationally intensive task and incomplete by nature,…

Cryptography and Security · Computer Science 2021-04-22 Faiq Khalid , Imran Hafeez Abbassi , Semeen Rehman , Awais Mehmood Kamboh , Osman Hasan , Muhammad Shafique

RISC-V processors are becoming ubiquitous in critical applications, but their susceptibility to microarchitectural side-channel attacks is a serious concern. Detection of microarchitectural attacks in RISC-V is an emerging research topic…

Cryptography and Security · Computer Science 2025-10-22 Muhammad Hassan , Maria Mushtaq , Jaan Raik , Tara Ghasempouri

Single-event upset (SEU) fault tolerance for systems-on-chip (SoCs) in radiation-heavy environments is often addressed by architectural fault-tolerance approaches protecting individual SoC components (e.g., cores, memories) in isolation.…

Hardware Architecture · Computer Science 2026-03-30 Michael Rogenmoser , Philippe Sauter , Chen Wu , Angelo Garofalo , Luca Benini

Face image synthesis is gaining more attention in computer security due to concerns about its potential negative impacts, including those related to fake biometrics. Hence, building models that can detect the synthesized face images is an…

Computer Vision and Pattern Recognition · Computer Science 2024-01-10 Roberto Leyva , Victor Sanchez , Gregory Epiphaniou , Carsten Maple

Recently, adversarial attacks can be applied to the physical world, causing practical issues to various Convolutional Neural Networks (CNNs) powered applications. Most existing physical adversarial attack defense works only focus on…

Computer Vision and Pattern Recognition · Computer Science 2019-10-22 Zirui Xu , Fuxun Yu , Xiang Chen

Modern computer-assisted synthesis planning (CASP) systems show promises at generating chemically valid reaction steps but struggle to incorporate strategic considerations such as convergent assembly, protecting group minimization, and…

Artificial Intelligence · Computer Science 2025-12-02 Daniel Armstrong , Zlatko Jončev , Andres M Bran , Philippe Schwaller

Side-channel attacks extracting sensitive data from implementations have been considered a major threat to the security of cryptographic schemes. This has elevated the need for improved designs by embodying countermeasures, with masking…

Cryptography and Security · Computer Science 2021-07-01 Ana Covic , Fatemeh Ganji , Domenic Forte

Deep neural networks (DNNs), which support services such as driving assistants and medical diagnoses, undergo lengthy and expensive training procedures. Therefore, the training's outcome - the DNN weights - represents a significant…

Cryptography and Security · Computer Science 2026-01-14 Lorenzo Casalino , Maria Méndez Real , Jean-Christophe Prévotet , Rubén Salvador

Since the development of semiconductor technologies, exascale computing and its associated applications have required increasing degrees of efficiency. Semiconductor-transistor-based circuits (STbCs) have struggled in increasing the GHz…

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

Secret keys can be extracted from the power consumption or electromagnetic emanations of unprotected devices. Traditional counter-measures have limited scope of protection, and impose several restrictions on how sensitive data must be…

Cryptography and Security · Computer Science 2022-10-04 Kleber Stangherlin , Manoj Sachdev

Cache randomization has recently been revived as a promising defense against conflict-based cache side-channel attacks. As two of the latest implementations, CEASER-S and ScatterCache both claim to thwart conflict-based cache side-channel…

Cryptography and Security · Computer Science 2021-11-30 Wei Song , Boya Li , Zihan Xue , Zhenzhen Li , Wenhao Wang , Peng Liu

Crosstalk computing, involving engineered interference between nanoscale metal lines, offers a fresh perspective to scaling through co-existence with CMOS. Through capacitive manipulations and innovative circuit style, not only primitive…

Emerging Technologies · Computer Science 2019-04-09 Md Arif Iqbal , Naveen Kumar Macha , Bhavana Tejaswini Repalle , Mostafizur Rahman

The code generation modules inside modern compilers such as GCC and LLVM, which use a limited number of CPU registers to store a large number of program variables, may introduce side-channel leaks even in software equipped with…

Cryptography and Security · Computer Science 2019-02-28 Jingbo Wang , Chungha Sung , Chao Wang

We present CLEAR (Cross-Layer Exploration for Architecting Resilience), a first of its kind framework which overcomes a major challenge in the design of digital systems that are resilient to reliability failures: achieve desired resilience…

This paper is concerned with synthesizing programs based on black-box oracles: we are interested in the case where there exists an executable implementation of a component or library, but its internal structure is unknown. We are provided…

Programming Languages · Computer Science 2020-10-13 Bruce Collie , Jackson Woodruff , Michael F. P. O'Boyle

With the increasing use of neural policies in control systems, ensuring their safety and reliability has become a critical software engineering task. One prevalent approach to ensuring the safety of neural policies is to deploy programmatic…

Software Engineering · Computer Science 2025-10-24 Jieke Shi , Junda He , Zhou Yang , Đorđe Žikelić , David Lo

To implement important quality attributes of software such as architectural security tactics, developers incorporate API of software frameworks, as building blocks, to avoid re-inventing the wheel and improve their productivity. However,…

Software Engineering · Computer Science 2024-03-19 Ali Shokri , Ibrahim Jameel Mujhid , Mehdi Mirakhorli