output
20152026
most citedOn the (Statistical) Detection of Adversarial Examples

364 citations

177 papers

cs.CR2026

SatBleed: Security of Commoditized Communication Modules in Satellites

Ulysse Planta, Julian Rederlechner, Martin Strohmeier +2

Substantial reduction in launch and manufacturing costs has resulted in the accelerated deployment of small satellite missions, with commercial off-the-shelf (COTS) components beco…

cs.DS2026

Faster Exponential Algorithms for Multi-Machine Scheduling Problems

Anubhav Dhar, Anita Dürr, Ahmed Ghazy +2

Minimizing the weighted completion times () and weighted number of tardy jobs () on multiple identical machines are two classical NP-har…

cs.CR2026

A Sound Translation from Tamarin to ProVerif: Enabling Comparative Analysis

Kevin Morio, Yavor Ivanov, Robert Künnemann

Tamarin and ProVerif are two prominent tools for the formal verification of security protocols. They share the same high-level goal but differ significantly in their underlying for…

cs.CR2026

Reflection, Education, Consistency: Towards Best Ethics Practices At Security And Privacy Conferences

Florian Hantke, Rafael Mrowczynski, Til Dralle +1

Research ethics is a controversial and emotionally charged topic in the security and privacy community, sparking discussions at conferences and on social media. In recent years, so…

cs.CR2026

BadBone: Backdoor Attacks Against Backbone Models in Visual Prompt Learning

Ziqing Yang, Rui Wen, Xinlei He +3

Prompt learning is a new machine learning paradigm that has attracted ample attention due to its simplicity and proven efficacy. Despite its growing adoption, the security vulnerab…

cs.LG2026

Curation Leaks: Membership Inference Attacks against Data Curation for Machine Learning

Dariush Wahdany, Matthew Jagielski, Adam Dziedzic +1

In machine learning, curation is used to select the most valuable data for improving both model accuracy and computational efficiency. Recently, curation has also been explored as…