18 citations
- Himanshu Gupta3 profiles3 · h 10
- Micah Carroll2 profiles3 · h 15
- Michael Kirchhof2 profiles3 · h 10
- Orion Weller2 profiles3 · h 22
- Zheng-Xin Yong3 profiles3 · h 18
- Abdallah Galal2 profiles2 · h 1
- Alon Amit2 profiles2 · h 8
- Ankit Singh2 profiles2 · h 3
- Antonella Pinto2 profiles2 · h 2
- Anton Peristyy2 profiles2 · h 2
- Archimedes T. Apronti2 profiles2 · h 1
- Arunim Agarwal2 profiles2 · h 2
- Max Planck Institute for Security and PrivacyDE3 papers
- Ruhr University BochumDE3 papers
- Czech Technical University in PragueCZ2 papers
- Leibniz University HannoverDE2 papers
- The Alan Turing InstituteGB2 papers
- Universitat Politècnica de ValènciaES2 papers
- University of CambridgeGB2 papers
- University of Illinois Urbana-ChampaignUS2 papers
- University of WashingtonUS2 papers
- 3DT Holdings (United States)US1 paper
- Aalborg UniversityDK1 paper
- Aalto UniversityFI1 paper
4 papers · 1 filter
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…
"That's another doom I haven't thought about": A User Study on AI Labels as a Safeguard Against Image-Based Misinformation
Sandra Höltervennhoff, Jonas Ricker, Maike M. Raphael +6
As generative AI is increasingly contributing to the spread of deceptively realistic misinformation, lawmakers have introduced regulations requiring the disclosure of AI-generated…