English
Related papers

Related papers: A Turning Point for Verified Spectre Sandboxing

200 papers

Despite the excellent performance of neural-network-based audio source separation methods and their wide range of applications, their robustness against intentional attacks has been largely neglected. In this work, we reformulate various…

Sound · Computer Science 2021-02-16 Naoya Takahashi , Shota Inoue , Yuki Mitsufuji

Over the last few years, a rapidly increasing number of Internet-of-Things (IoT) systems that adopt voice as the primary user input have emerged. These systems have been shown to be vulnerable to various types of voice spoofing attacks.…

Cryptography and Security · Computer Science 2018-11-20 Yuan Gong , Christian Poellabauer

Sandboxing restricts what applications do, and prevents exploited processes being abused; yet relatively few applications get sandboxed: why? We report a usability trial with 7 experienced Seccomp developers exploring how they approached…

Operating Systems · Computer Science 2025-06-13 Maysara Alhindi , Joseph Hallett

Randomized smoothing is the dominant standard for provable defenses against adversarial examples. Nevertheless, this method has recently been proven to suffer from important information theoretic limitations. In this paper, we argue that…

Machine Learning · Computer Science 2022-06-06 Raphael Ettedgui , Alexandre Araujo , Rafael Pinot , Yann Chevaleyre , Jamal Atif

We consider a communication scenario, in which an intruder tries to determine the modulation scheme of the intercepted signal. Our aim is to minimize the accuracy of the intruder, while guaranteeing that the intended receiver can still…

Machine Learning · Computer Science 2020-04-09 Muhammad Zaid Hameed , Andras Gyorgy , Deniz Gunduz

Machine learning algorithms are known to be susceptible to data poisoning attacks, where an adversary manipulates the training data to degrade performance of the resulting classifier. In this work, we present a unifying view of randomized…

Machine Learning · Computer Science 2021-02-24 Elan Rosenfeld , Ezra Winston , Pradeep Ravikumar , J. Zico Kolter

We are interested in investigating the security of source encryption with a symmetric key under side-channel attacks. In this paper, we propose a general framework of source encryption with a symmetric key under the side-channel attacks,…

Information Theory · Computer Science 2022-05-05 Yasutada Oohama , Bagus Santoso

A prompt injection attack aims to inject malicious instruction/data into the input of an LLM-Integrated Application such that it produces results as an attacker desires. Existing works are limited to case studies. As a result, the…

Cryptography and Security · Computer Science 2025-11-13 Yupei Liu , Yuqi Jia , Runpeng Geng , Jinyuan Jia , Neil Zhenqiang Gong

The Internet enables users to access vast resources, but it can also expose users to harmful cyber-attacks. This paper investigates human factors issues concerning the use of sounds in a cyber-security domain. It describes a methodology,…

Cryptography and Security · Computer Science 2018-05-23 Akbar Siami Namin , Rattikorn Hewett , Keith S. Jones , Rona Pogrund

From past couple of years there is a cycle of researchers proposing a defence model for adversaries in machine learning which is arguably defensible to most of the existing attacks in restricted condition (they evaluate on some bounded…

Cryptography and Security · Computer Science 2022-02-21 Kanak Tekwani , Manojkumar Parmar

Software privacy provides the ability to limit data access to unauthorized parties. Privacy is achieved through different means, such as implementing GDPR into software applications. However, previous research revealed that the lack of poor…

Cryptography and Security · Computer Science 2022-11-08 Abdulrahman Hassan Alhazmi , Mumtaz Abdul Hameed , Nalin Asanka Gamagedara Arachchilage

Text-to-image diffusion models have been widely adopted in real-world applications due to their ability to generate realistic images from textual descriptions. However, recent studies have shown that these methods are vulnerable to backdoor…

Computer Vision and Pattern Recognition · Computer Science 2024-08-29 Oscar Chew , Po-Yi Lu , Jayden Lin , Hsuan-Tien Lin

The rapid advancements in wireless technology have significantly increased the demand for communication resources, leading to the development of Spectrum Access Systems (SAS). However, network regulations require disclosing sensitive user…

Cryptography and Security · Computer Science 2025-11-14 Saleh Darzi , Attila A. Yavuz

Machine unlearning has emerged as a key component in ensuring ``Right to be Forgotten'', enabling the removal of specific data points from trained models. However, even when the unlearning is performed without poisoning the forget-set…

Cryptography and Security · Computer Science 2025-06-17 Marco Arazzi , Antonino Nocera , Vinod P

Voice authentication systems remain susceptible to two major threats: backdoor triggered attacks and targeted data poisoning attacks. This dual vulnerability is critical because conventional solutions typically address each threat type…

Cryptography and Security · Computer Science 2025-05-07 Alireza Mohammadi , Keshav Sood , Dhananjay Thiruvady , Asef Nazari

With the advent of modern technology, critical infrastructure, communications, and national security depend increasingly on space-based assets. These assets, along with associated assets like data relay systems and ground stations, are,…

Cryptography and Security · Computer Science 2025-07-24 Nafisa Anjum , Tasnuva Farheen

Software systems are increasingly relying on Artificial Intelligence (AI) and Machine Learning (ML) components. The emerging popularity of AI techniques in various application domains attracts malicious actors and adversaries. Therefore,…

Cryptography and Security · Computer Science 2022-02-22 Mohamad Fazelnia , Igor Khokhlov , Mehdi Mirakhorli

Recent progress in (Large) Language Models (LMs) has enabled the development of autonomous LM-based agents capable of executing complex tasks with minimal supervision. These agents have started to be integrated into systems with significant…

Cryptography and Security · Computer Science 2026-03-04 Federico Villa , F. Betül Durak , Tadayoshi Kohno , Tapdig Maharramli , Franziska Roesner

Real-time cyber-physical systems depend on deterministic task execution to guarantee safety and correctness. Unfortunately, this determinism can unintentionally expose timing information that enables adversaries to infer task execution…

Systems and Control · Electrical Eng. & Systems 2026-02-04 Arkaprava Sain , Sunandan Adhikary , Soumyajit Dey

Quantum protocols on hardware are subject to noise that prohibits performance. Protocols for addressing errors, such as error correction or error mitigation, may fail to combat errors in quantum computation if noise violates critical…

Quantum Physics · Physics 2025-08-06 Riddhi S. Gupta , Salini Karuvade , Kerstin Beer , Laura J. Henderson , Sally Shrapnel