364 citations
- Saarland UniversityDE22 papers
- Max Planck Institute for InformaticsDE20 papers
- Ruhr University BochumDE12 papers
- Max Planck Institute for Security and PrivacyDE7 papers
- Purdue University West LafayetteUS7 papers
- Leibniz University HannoverDE6 papers
- Max Planck SocietyDE6 papers
- Stanford UniversityUS6 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Max Planck Institute for Software SystemsDE5 papers
- Technical University of MunichDE5 papers
- Technische Universität BerlinDE5 papers
4 papers · 2 filters
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…
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…
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…
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…