Michael Backes

551 papers A* 143A 69B 17C 6Misc 6Journal 244Unranked 62

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	"Humans welcome to observe": A First Look at the Agent Social Network Moltbook. CoRR Yukun Jiang, Yage Zhang, Xinyue Shen, Michael Backes, Yang Zhang
2026	J	`jnl`	Benchmark of Benchmarks: Unpacking Influence and Code Repository Quality in LLM Safety Benchmarks. CoRR Junjie Chu, Xinyue Shen, Ye Leng, Michael Backes, Yun Shen, Yang Zhang
2026	J	`jnl`	Real Money, Fake Models: Deceptive Model Claims in Shadow APIs. CoRR Yage Zhang, Yukun Jiang, Zeyuan Chen, Michael Backes, Xinyue Shen, Yang Zhang
2026	J	`jnl`	Revealing the Risk of Hyper-Parameter Leakage in Deep Reinforcement Learning Models. IEEE Trans. Dependable Secur. Comput. Linkang Du, Zhikun Zhang, Min Chen, Mingyang Sun, Shouling Ji, Peng Cheng, Jiming Chen, Michael Backes, Yang Zhang
2026	J	`jnl`	Revisiting Transferable Adversarial Images: Systemization, Evaluation, and New Insights. IEEE Trans. Pattern Anal. Mach. Intell. Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Qian Wang, Chao Shen
2026	J	`jnl`	Robustness Over Time: Understanding Adversarial Examples' Effectiveness on Longitudinal Versions of Large Language Models. IEEE Trans. Inf. Forensics Secur. Yugeng Liu, Tianshuo Cong, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang
2026	J	`jnl`	Sparse Models, Sparse Safety: Unsafe Routes in Mixture-of-Experts LLMs. CoRR Yukun Jiang, Hai Huang, Mingjie Li, Yage Zhang, Michael Backes, Yang Zhang
2026	J	`jnl`	Understanding LLM Behavior When Encountering User-Supplied Harmful Content in Harmless Tasks. CoRR Junjie Chu, Yiting Qu, Ye Leng, Michael Backes, Yun Shen, Savvas Zannettou, Yang Zhang
2026	J	`jnl`	When Understanding Becomes a Risk: Authenticity and Safety Risks in the Emerging Image Generation Paradigm. CoRR Ye Leng, Junjie Chu, Mingjie Li, Chenhao Lin, Chao Shen, Michael Backes, Yun Shen, Yang Zhang
2025	J	`jnl`	Adjacent Words, Divergent Intents: Jailbreaking Large Language Models via Task Concurrency. CoRR Yukun Jiang, Mingjie Li, Michael Backes, Yang Zhang
2025	J	`jnl`	Amplifying Machine Learning Attacks Through Strategic Compositions. CoRR Yugeng Liu, Zheng Li, Hai Huang, Michael Backes, Yang Zhang
2025	—	`conf`	Are We in the AI-Generated Text World Already? Quantifying and Monitoring AIGT on Social Media. ACL (1) Zhen Sun, Zongmin Zhang, Xinyue Shen, Ziyi Zhang, Yule Liu, Michael Backes, Yang Zhang, Xinlei He
2025	J	`jnl`	AttackPilot: Autonomous Inference Attacks Against ML Services With LLM-Based Agents. CoRR Yixin Wu, Rui Wen, Chi Cui, Michael Backes, Yang Zhang
2025	A*	`conf`	Breaking Agents: Compromising Autonomous LLM Agents Through Malfunction Amplification. EMNLP Boyang Zhang, Yicong Tan, Yun Shen, Ahmed Salem, Michael Backes, Savvas Zannettou, Yang Zhang
2025	A*	`conf`	Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities. USENIX Security Symposium Yiting Qu, Michael Backes, Yang Zhang
2025	J	`jnl`	Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities. CoRR Yiting Qu, Michael Backes, Yang Zhang
2025	A*	`conf`	Captured by Captions: On Memorization and its Mitigation in CLIP Models. ICLR Wenhao Wang, Adam Dziedzic, Grace C. Kim, Michael Backes, Franziska Boenisch
2025	J	`jnl`	Captured by Captions: On Memorization and its Mitigation in CLIP Models. CoRR Wenhao Wang, Adam Dziedzic, Grace C. Kim, Michael Backes, Franziska Boenisch
2025	A*	`conf`	DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy. CCS Wenshu Fan, Minxing Zhang, Hongwei Li, Wenbo Jiang, Hanxiao Chen, Xiangyu Yue, Michael Backes, Xiao Zhang
2025	J	`jnl`	DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy. CoRR Wenshu Fan, Minxing Zhang, Hongwei Li, Wenbo Jiang, Hanxiao Chen, Xiangyu Yue, Michael Backes, Xiao Zhang
2025	J	`jnl`	Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks. Proc. ACM Program. Lang. Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes
2025	A*	`conf`	Efficient and Privacy-Preserving Soft Prompt Transfer for LLMs. ICML Xun Wang, Jing Xu, Franziska Boenisch, Michael Backes, Christopher A. Choquette-Choo, Adam Dziedzic
2025	J	`jnl`	Efficient and Privacy-Preserving Soft Prompt Transfer for LLMs. CoRR Xun Wang, Jing Xu, Franziska Boenisch, Michael Backes, Christopher A. Choquette-Choo, Adam Dziedzic
2025	J	`jnl`	Excessive Reasoning Attack on Reasoning LLMs. CoRR Wai Man Si, Mingjie Li, Michael Backes, Yang Zhang
2025	J	`jnl`	Fairness and/or Privacy on Social Graphs. CoRR Bartlomiej Surma, Michael Backes, Yang Zhang
2025	J	`jnl`	From Evidence to Verdict: An Agent-Based Forensic Framework for AI-Generated Image Detection. CoRR Mengfei Liang, Yiting Qu, Yukun Jiang, Michael Backes, Yang Zhang
2025	A*	`conf`	From Meme to Threat: On the Hateful Meme Understanding and Induced Hateful Content Generation in Open-Source Vision Language Models. USENIX Security Symposium Yihan Ma, Xinyue Shen, Yiting Qu, Ning Yu, Michael Backes, Savvas Zannettou, Yang Zhang
2025	J	`jnl`	GEO-Detective: Unveiling Location Privacy Risks in Images with LLM Agents. CoRR Xinyu Zhang, Yixin Wu, Boyang Zhang, Chenhao Lin, Chao Shen, Michael Backes, Yang Zhang
2025	A*	`conf`	GPTracker: A Large-Scale Measurement of Misused GPTs. SP Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang
2025	A*	`conf`	Generated Data with Fake Privacy: Hidden Dangers of Fine-tuning Large Language Models on Generated Data. USENIX Security Symposium Atilla Akkus, Masoud Poorghaffar Aghdam, Mingjie Li, Junjie Chu, Michael Backes, Yang Zhang, Sinem Sav
2025	J	`jnl`	Hate in Plain Sight: On the Risks of Moderating AI-Generated Hateful Illusions. CoRR Yiting Qu, Ziqing Yang, Yihan Ma, Michael Backes, Savvas Zannettou, Yang Zhang
2025	A*	`conf`	HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns. USENIX Security Symposium Xinyue Shen, Yixin Wu, Yiting Qu, Michael Backes, Savvas Zannettou, Yang Zhang
2025	J	`jnl`	HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns. CoRR Xinyue Shen, Yixin Wu, Yiting Qu, Michael Backes, Savvas Zannettou, Yang Zhang
2025	J	`jnl`	JADES: A Universal Framework for Jailbreak Assessment via Decompositional Scoring. CoRR Junjie Chu, Mingjie Li, Ziqing Yang, Ye Leng, Chenhao Lin, Chao Shen, Michael Backes, Yun Shen, Yang Zhang
2025	—	`conf`	JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMs. ACL (1) Junjie Chu, Yugeng Liu, Ziqing Yang, Xinyue Shen, Michael Backes, Yang Zhang
2025	J	`jnl`	Jailbreaking Attacks vs. Content Safety Filters: How Far Are We in the LLM Safety Arms Race? CoRR Yuan Xin, Dingfan Chen, Linyi Yang, Michael Backes, Xiao Zhang
2025	A	`conf`	Neeko: Model Hijacking Attacks Against Generative Adversarial Networks. ICME Junjie Chu, Yugeng Liu, Xinlei He, Michael Backes, Yang Zhang, Ahmed Salem
2025	A*	`conf`	On the Effectiveness of Prompt Stealing Attacks on In-the-Wild Prompts. SP Yicong Tan, Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang
2025	A*	`conf`	On the Proactive Generation of Unsafe Images From Text-To-Image Models Using Benign Prompts. USENIX Security Symposium Yixin Wu, Ning Yu, Michael Backes, Yun Shen, Yang Zhang
2025	J	`jnl`	On the Trustworthiness of Generative Foundation Models: Guideline, Assessment, and Perspective. CoRR Yue Huang, Chujie Gao, Siyuan Wu, Haoran Wang, Xiangqi Wang, Yujun Zhou, Yanbo Wang, Jiayi Ye, Jiawen Shi, Qihui Zhang, Yuan Li, Han Bao, Zhaoyi Liu, Tianrui Guan, Dongping Chen, Ruoxi Chen, Kehan Guo, Andy Zou, Bryan Hooi Kuen-Yew, Caiming Xiong, Elias Stengel-Eskin, Hongyang Zhang, Hongzhi Yin, Huan Zhang, Huaxiu Yao, Jaehong Yoon, Jieyu Zhang, Kai Shu, Kaijie Zhu, Ranjay Krishna, Swabha Swayamdipta, Taiwei Shi, Weijia Shi, Xiang Li, Yiwei Li, Yuexing Hao, Zhihao Jia, Zhize Li, Xiuying Chen, Zhengzhong Tu, Xiyang Hu, Tianyi Zhou, Jieyu Zhao, Lichao Sun, Furong Huang, Or Cohen Sasson, Prasanna Sattigeri, Anka Reuel, Max Lamparth, Yue Zhao, Nouha Dziri, Yu Su, Huan Sun, Heng Ji, Chaowei Xiao, Mohit Bansal, Nitesh V. Chawla, Jian Pei, Jianfeng Gao, Michael Backes, Philip S. Yu, Neil Zhenqiang Gong, Pin-Yu Chen, Bo Li, Xiangliang Zhang
2025	J	`jnl`	Peering Behind the Shield: Guardrail Identification in Large Language Models. CoRR Ziqing Yang, Yixin Wu, Rui Wen, Michael Backes, Yang Zhang
2025	A*	`conf`	Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing. ICML Yuan Xin, Dingfan Chen, Michael Backes, Xiao Zhang
2025	J	`jnl`	Rethinking Data Protection in the (Generative) Artificial Intelligence Era. CoRR Yiming Li, Shuo Shao, Yu He, Junfeng Guo, Tianwei Zhang, Zhan Qin, Pin-Yu Chen, Michael Backes, Philip Torr, Dacheng Tao, Kui Ren
2025	A*	`conf`	SaLoRA: Safety-Alignment Preserved Low-Rank Adaptation. ICLR Mingjie Li, Wai Man Si, Michael Backes, Yang Zhang, Yisen Wang
2025	J	`jnl`	SaLoRA: Safety-Alignment Preserved Low-Rank Adaptation. CoRR Mingjie Li, Wai Man Si, Michael Backes, Yang Zhang, Yisen Wang
2025	A*	`conf`	SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark. USENIX Security Symposium Rui Wen, Yiyong Liu, Michael Backes, Yang Zhang
2025	J	`jnl`	SoK: Data Reconstruction Attacks Against Machine Learning Models: Definition, Metrics, and Benchmark. CoRR Rui Wen, Yiyong Liu, Michael Backes, Yang Zhang
2025	A*	`conf`	Synthetic Artifact Auditing: Tracing LLM-Generated Synthetic Data Usage in Downstream Applications. USENIX Security Symposium Yixin Wu, Ziqing Yang, Yun Shen, Michael Backes, Yang Zhang
2025	J	`jnl`	Synthetic Artifact Auditing: Tracing LLM-Generated Synthetic Data Usage in Downstream Applications. CoRR Yixin Wu, Ziqing Yang, Yun Shen, Michael Backes, Yang Zhang
2025	J	`jnl`	The Challenge of Identifying the Origin of Black-Box Large Language Models. CoRR Ziqing Yang, Yixin Wu, Yun Shen, Wei Dai, Michael Backes, Yang Zhang
2025	A*	`conf`	Understanding Data Importance in Machine Learning Attacks: Does Valuable Data Pose Greater Harm? NDSS Rui Wen, Michael Backes, Yang Zhang
2025	A*	`conf`	UnsafeBench: Benchmarking Image Safety Classifiers on Real-World and AI-Generated Images. CCS Yiting Qu, Xinyue Shen, Yixin Wu, Michael Backes, Savvas Zannettou, Yang Zhang
2025	J	`jnl`	Watermarking LLM-Generated Datasets in Downstream Tasks. CoRR Yugeng Liu, Tianshuo Cong, Michael Backes, Zheng Li, Yang Zhang
2025	—	`conf`	When GPT Spills the Tea: Comprehensive Assessment of Knowledge File Leakage in GPTs. ACL (1) Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang
2025	J	`jnl`	When GPT Spills the Tea: Comprehensive Assessment of Knowledge File Leakage in GPTs. CoRR Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang
2024	A*	`conf`	"Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models. CCS Xinyue Shen, Zeyuan Chen, Michael Backes, Yun Shen, Yang Zhang
2024	J	`jnl`	Are We in the AI-Generated Text World Already? Quantifying and Monitoring AIGT on Social Media. CoRR Zhen Sun, Zongmin Zhang, Xinyue Shen, Ziyi Zhang, Yule Liu, Michael Backes, Yang Zhang, Xinlei He
2024	J	`jnl`	Breaking Agents: Compromising Autonomous LLM Agents Through Malfunction Amplification. CoRR Boyang Zhang, Yicong Tan, Yun Shen, Ahmed Salem, Michael Backes, Savvas Zannettou, Yang Zhang
2024	—	`conf`	Composite Backdoor Attacks Against Large Language Models. NAACL-HLT (Findings) Hai Huang, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang
2024	J	`jnl`	Comprehensive Assessment of Jailbreak Attacks Against LLMs. CoRR Junjie Chu, Yugeng Liu, Ziqing Yang, Xinyue Shen, Michael Backes, Yang Zhang
2024	J	`jnl`	Conversation Reconstruction Attack Against GPT Models. CoRR Junjie Chu, Zeyang Sha, Michael Backes, Yang Zhang
2024	Misc	`conf`	Detection and Attribution of Models Trained on Generated Data. ICASSP Ge Han, Ahmed Salem, Zheng Li, Shanqing Guo, Michael Backes, Yang Zhang
2024	J	`jnl`	Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks. CoRR Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes
2024	J	`jnl`	Efficient Data-Free Model Stealing with Label Diversity. CoRR Yiyong Liu, Rui Wen, Michael Backes, Yang Zhang
2024	A	`conf`	FAKEPCD: Fake Point Cloud Detection via Source Attribution. AsiaCCS Yiting Qu, Zhikun Zhang, Yun Shen, Michael Backes, Yang Zhang
2024	A	`conf`	Games and Beyond: Analyzing the Bullet Chats of Esports Livestreaming. ICWSM Yukun Jiang, Xinyue Shen, Rui Wen, Zeyang Sha, Junjie Chu, Yugeng Liu, Michael Backes, Yang Zhang
2024	J	`jnl`	Generated Data with Fake Privacy: Hidden Dangers of Fine-tuning Large Language Models on Generated Data. CoRR Atilla Akkus, Mingjie Li, Junjie Chu, Michael Backes, Yang Zhang, Sinem Sav
2024	A	`conf`	Generated Distributions Are All You Need for Membership Inference Attacks Against Generative Models. WACV Minxing Zhang, Ning Yu, Rui Wen, Michael Backes, Yang Zhang
2024	J	`jnl`	Generating Less Certain Adversarial Examples Improves Robust Generalization. Trans. Mach. Learn. Res. Minxing Zhang, Michael Backes, Xiao Zhang
2024	J	`jnl`	ICLGuard: Controlling In-Context Learning Behavior for Applicability Authorization. CoRR Wai Man Si, Michael Backes, Yang Zhang
2024	A*	`conf`	Image-Perfect Imperfections: Safety, Bias, and Authenticity in the Shadow of Text-To-Image Model Evolution. CCS Yixin Wu, Yun Shen, Michael Backes, Yang Zhang
2024	J	`jnl`	Image-Perfect Imperfections: Safety, Bias, and Authenticity in the Shadow of Text-To-Image Model Evolution. CoRR Yixin Wu, Yun Shen, Michael Backes, Yang Zhang
2024	A	`conf`	Inside the Black Box: Detecting Data Leakage in Pre-Trained Language Encoders. ECAI Yuan Xin, Zheng Li, Ning Yu, Dingfan Chen, Mario Fritz, Michael Backes, Yang Zhang
2024	J	`jnl`	Inside the Black Box: Detecting Data Leakage in Pre-trained Language Encoders. CoRR Yuan Xin, Zheng Li, Ning Yu, Dingfan Chen, Mario Fritz, Michael Backes, Yang Zhang
2024	A*	`conf`	Instruction Backdoor Attacks Against Customized LLMs. USENIX Security Symposium Rui Zhang, Hongwei Li, Rui Wen, Wenbo Jiang, Yuan Zhang, Michael Backes, Yun Shen, Yang Zhang
2024	J	`jnl`	Invisibility Cloak: Disappearance under Human Pose Estimation via Backdoor Attacks. CoRR Minxing Zhang, Michael Backes, Xiao Zhang
2024	J	`jnl`	Link Stealing Attacks Against Inductive Graph Neural Networks. CoRR Yixin Wu, Xinlei He, Pascal Berrang, Mathias Humbert, Michael Backes, Neil Zhenqiang Gong, Yang Zhang
2024	J	`jnl`	Link Stealing Attacks Against Inductive Graph Neural Networks. Proc. Priv. Enhancing Technol. Yixin Wu, Xinlei He, Pascal Berrang, Mathias Humbert, Michael Backes, Neil Zhenqiang Gong, Yang Zhang
2024	A*	`conf`	Localizing Memorization in SSL Vision Encoders. NeurIPS Wenhao Wang, Adam Dziedzic, Michael Backes, Franziska Boenisch
2024	J	`jnl`	Localizing Memorization in SSL Vision Encoders. CoRR Wenhao Wang, Adam Dziedzic, Michael Backes, Franziska Boenisch
2024	A*	`conf`	MGTBench: Benchmarking Machine-Generated Text Detection. CCS Xinlei He, Xinyue Shen, Zeyuan Chen, Michael Backes, Yang Zhang
2024	A*	`conf`	Measuring the Effects of Stack Overflow Code Snippet Evolution on Open-Source Software Security. SP Alfusainey Jallow, Michael Schilling, Michael Backes, Sven Bugiel
2024	A*	`conf`	Membership Inference Attacks Against In-Context Learning. CCS Rui Wen, Zheng Li, Michael Backes, Yang Zhang
2024	J	`jnl`	Membership Inference Attacks Against In-Context Learning. CoRR Rui Wen, Zheng Li, Michael Backes, Yang Zhang
2024	A*	`conf`	Memorization in Self-Supervised Learning Improves Downstream Generalization. ICLR Wenhao Wang, Muhammad Ahmad Kaleem, Adam Dziedzic, Michael Backes, Nicolas Papernot, Franziska Boenisch
2024	J	`jnl`	Memorization in Self-Supervised Learning Improves Downstream Generalization. CoRR Wenhao Wang, Muhammad Ahmad Kaleem, Adam Dziedzic, Michael Backes, Nicolas Papernot, Franziska Boenisch
2024	A*	`conf`	ModSCAN: Measuring Stereotypical Bias in Large Vision-Language Models from Vision and Language Modalities. EMNLP Yukun Jiang, Zheng Li, Xinyue Shen, Yugeng Liu, Michael Backes, Yang Zhang
2024	A*	`conf`	Open LLMs are Necessary for Current Private Adaptations and Outperform their Closed Alternatives. NeurIPS Vincent Hanke, Tom Blanchard, Franziska Boenisch, Iyiola E. Olatunji, Michael Backes, Adam Dziedzic
2024	J	`jnl`	Open LLMs are Necessary for Current Private Adaptations and Outperform their Closed Alternatives. CoRR Vincent Hanke, Tom Blanchard, Franziska Boenisch, Iyiola E. Olatunji, Michael Backes, Adam Dziedzic
2024	J	`jnl`	PSGraph: Differentially Private Streaming Graph Synthesis by Considering Temporal Dynamics. CoRR Quan Yuan, Zhikun Zhang, Linkang Du, Min Chen, Mingyang Sun, Yunjun Gao, Michael Backes, Shibo He, Ji-ming Chen
2024	A*	`conf`	Position: TrustLLM: Trustworthiness in Large Language Models. ICML Yue Huang, Lichao Sun, Haoran Wang, Siyuan Wu, Qihui Zhang, Yuan Li, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Hanchi Sun, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, Bertie Vidgen, Bhavya Kailkhura, Caiming Xiong, Chaowei Xiao, Chunyuan Li, Eric P. Xing, Furong Huang, Hao Liu, Heng Ji, Hongyi Wang, Huan Zhang, Huaxiu Yao, Manolis Kellis, Marinka Zitnik, Meng Jiang, Mohit Bansal, James Zou, Jian Pei, Jian Liu, Jianfeng Gao, Jiawei Han, Jieyu Zhao, Jiliang Tang, Jindong Wang, Joaquin Vanschoren, John C. Mitchell, Kai Shu, Kaidi Xu, Kai-Wei Chang, Lifang He, Lifu Huang, Michael Backes, Neil Zhenqiang Gong, Philip S. Yu, Pin-Yu Chen, Quanquan Gu, Ran Xu, Rex Ying, Shuiwang Ji, Suman Jana, Tianlong Chen, Tianming Liu, Tianyi Zhou, William Wang, Xiang Li, Xiangliang Zhang, Xiao Wang, Xing Xie, Xun Chen, Xuyu Wang, Yan Liu, Yanfang Ye, Yinzhi Cao, Yong Chen, Yue Zhao
2024	A*	`conf`	Prompt Stealing Attacks Against Text-to-Image Generation Models. USENIX Security Symposium Xinyue Shen, Yiting Qu, Michael Backes, Yang Zhang
2024	A*	`conf`	Quantifying Privacy Risks of Prompts in Visual Prompt Learning. USENIX Security Symposium Yixin Wu, Rui Wen, Michael Backes, Pascal Berrang, Mathias Humbert, Yun Shen, Yang Zhang
2024	J	`jnl`	Rapid Adoption, Hidden Risks: The Dual Impact of Large Language Model Customization. CoRR Rui Zhang, Hongwei Li, Rui Wen, Wenbo Jiang, Yuan Zhang, Michael Backes, Yun Shen, Yang Zhang
2024	A*	`conf`	Reconstruct Your Previous Conversations! Comprehensively Investigating Privacy Leakage Risks in Conversations with GPT Models. EMNLP Junjie Chu, Zeyang Sha, Michael Backes, Yang Zhang
2024	J	`jnl`	SOS! Soft Prompt Attack Against Open-Source Large Language Models. CoRR Ziqing Yang, Michael Backes, Yang Zhang, Ahmed Salem
2024	A*	`conf`	SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models. USENIX Security Symposium Boyang Zhang, Zheng Li, Ziqing Yang, Xinlei He, Michael Backes, Mario Fritz, Yang Zhang
2024	A*	`conf`	The Death and Life of Great Prompts: Analyzing the Evolution of LLM Prompts from the Structural Perspective. EMNLP Yihan Ma, Xinyue Shen, Yixin Wu, Boyang Zhang, Michael Backes, Yang Zhang
2024	J	`jnl`	TrustLLM: Trustworthiness in Large Language Models. CoRR Lichao Sun, Yue Huang, Haoran Wang, Siyuan Wu, Qihui Zhang, Chujie Gao, Yixin Huang, Wenhan Lyu, Yixuan Zhang, Xiner Li, Zhengliang Liu, Yixin Liu, Yijue Wang, Zhikun Zhang, Bhavya Kailkhura, Caiming Xiong, Chaowei Xiao, Chunyuan Li, Eric P. Xing, Furong Huang, Hao Liu, Heng Ji, Hongyi Wang, Huan Zhang, Huaxiu Yao, Manolis Kellis, Marinka Zitnik, Meng Jiang, Mohit Bansal, James Zou, Jian Pei, Jian Liu, Jianfeng Gao, Jiawei Han, Jieyu Zhao, Jiliang Tang, Jindong Wang, John C. Mitchell, Kai Shu, Kaidi Xu, Kai-Wei Chang, Lifang He, Lifu Huang, Michael Backes, Neil Zhenqiang Gong, Philip S. Yu, Pin-Yu Chen, Quanquan Gu, Ran Xu, Rex Ying, Shuiwang Ji, Suman Jana, Tianlong Chen, Tianming Liu, Tianyi Zhou, William Wang, Xiang Li, Xiangliang Zhang, Xiao Wang, Xing Xie, Xun Chen, Xuyu Wang, Yan Liu, Yanfang Ye, Yinzhi Cao, Yue Zhao
2024	J	`jnl`	Understanding Data Importance in Machine Learning Attacks: Does Valuable Data Pose Greater Harm? CoRR Rui Wen, Michael Backes, Yang Zhang
2024	J	`jnl`	UnsafeBench: Benchmarking Image Safety Classifiers on Real-World and AI-Generated Images. CoRR Yiting Qu, Xinyue Shen, Yixin Wu, Michael Backes, Savvas Zannettou, Yang Zhang
2024	J	`jnl`	Vera Verto: Multimodal Hijacking Attack. CoRR Minxing Zhang, Ahmed Salem, Michael Backes, Yang Zhang
2024	J	`jnl`	Voice Jailbreak Attacks Against GPT-4o. CoRR Xinyue Shen, Yixin Wu, Michael Backes, Yang Zhang
2024	A*	`conf`	ZeroFake: Zero-Shot Detection of Fake Images Generated and Edited by Text-to-Image Generation Models. CCS Zeyang Sha, Yicong Tan, Mingjie Li, Michael Backes, Yang Zhang
2023	J	`jnl`	"Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models. CoRR Xinyue Shen, Zeyuan Chen, Michael Backes, Yun Shen, Yang Zhang
2023	A*	`conf`	A Systematic Study of the Consistency of Two-Factor Authentication User Journeys on Top-Ranked Websites. NDSS Sanam Ghorbani Lyastani, Michael Backes, Sven Bugiel
2023	J	`jnl`	Adversarial vulnerability bounds for Gaussian process classification. Mach. Learn. Michael Thomas Smith, Kathrin Grosse, Michael Backes, Mauricio A. Álvarez
2023	A*	`conf`	Backdoor Attacks Against Dataset Distillation. NDSS Yugeng Liu, Zheng Li, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Backdoor Attacks Against Dataset Distillation. CoRR Yugeng Liu, Zheng Li, Michael Backes, Yun Shen, Yang Zhang
2023	A*	`conf`	Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages. USENIX Security Symposium Cristian-Alexandru Staicu, Sazzadur Rahaman, Ágnes Kiss, Michael Backes
2023	A*	`conf`	Can't Steal? Cont-Steal! Contrastive Stealing Attacks Against Image Encoders. CVPR Zeyang Sha, Xinlei He, Ning Yu, Michael Backes, Yang Zhang
2023	J	`jnl`	Composite Backdoor Attacks Against Large Language Models. CoRR Hai Huang, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Comprehensive Assessment of Toxicity in ChatGPT. CoRR Boyang Zhang, Xinyue Shen, Wai Man Si, Zeyang Sha, Zeyuan Chen, Ahmed Salem, Yun Shen, Michael Backes, Yang Zhang
2023	A*	`conf`	Data Poisoning Attacks Against Multimodal Encoders. ICML Ziqing Yang, Xinlei He, Zheng Li, Michael Backes, Mathias Humbert, Pascal Berrang, Yang Zhang
2023	A*	`conf`	FACE-AUDITOR: Data Auditing in Facial Recognition Systems. USENIX Security Symposium Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Yang Zhang
2023	J	`jnl`	FACE-AUDITOR: Data Auditing in Facial Recognition Systems. CoRR Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Yang Zhang
2023	J	`jnl`	FAKEPCD: Fake Point Cloud Detection via Source Attribution. CoRR Yiting Qu, Zhikun Zhang, Yun Shen, Michael Backes, Yang Zhang
2023	J	`jnl`	From Visual Prompt Learning to Zero-Shot Transfer: Mapping Is All You Need. CoRR Ziqing Yang, Zeyang Sha, Michael Backes, Yang Zhang
2023	J	`jnl`	Generated Distributions Are All You Need for Membership Inference Attacks Against Generative Models. CoRR Minxing Zhang, Ning Yu, Rui Wen, Michael Backes, Yang Zhang
2023	A*	`conf`	Generated Graph Detection. ICML Yihan Ma, Zhikun Zhang, Ning Yu, Xinlei He, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Generated Graph Detection. CoRR Yihan Ma, Zhikun Zhang, Ning Yu, Xinlei He, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Generating Less Certain Adversarial Examples Improves Robust Generalization. CoRR Minxing Zhang, Michael Backes, Xiao Zhang
2023	J	`jnl`	Generative Watermarking Against Unauthorized Subject-Driven Image Synthesis. CoRR Yihan Ma, Zhengyu Zhao, Xinlei He, Zheng Li, Michael Backes, Yang Zhang
2023	J	`jnl`	In ChatGPT We Trust? Measuring and Characterizing the Reliability of ChatGPT. CoRR Xinyue Shen, Zeyuan Chen, Michael Backes, Yang Zhang
2023	A*	`conf`	Is Adversarial Training Really a Silver Bullet for Mitigating Data Poisoning? ICLR Rui Wen, Zhengyu Zhao, Zhuoran Liu, Michael Backes, Tianhao Wang, Yang Zhang
2023	J	`jnl`	Last One Standing: A Comparative Analysis of Security and Privacy of Soft Prompt Tuning, LoRA, and In-Context Learning. CoRR Rui Wen, Tianhao Wang, Michael Backes, Yang Zhang, Ahmed Salem
2023	J	`jnl`	MGTBench: Benchmarking Machine-Generated Text Detection. CoRR Xinlei He, Xinyue Shen, Zeyuan Chen, Michael Backes, Yang Zhang
2023	J	`jnl`	Mondrian: Prompt Abstraction Attack Against Large Language Models for Cheaper API Pricing. CoRR Wai Man Si, Michael Backes, Yang Zhang
2023	A*	`conf`	On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning. SP Yiting Qu, Xinlei He, Shannon Pierson, Michael Backes, Yang Zhang, Savvas Zannettou
2023	J	`jnl`	On the Proactive Generation of Unsafe Images From Text-To-Image Models Using Benign Prompts. CoRR Yixin Wu, Ning Yu, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice. ACM Trans. Priv. Secur. Giorgio Di Tizio, Patrick Speicher, Milivoj Simeonovski, Michael Backes, Ben Stock, Robert Künnemann
2023	A*	`conf`	PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Models. USENIX Security Symposium Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang
2023	J	`jnl`	Prompt Backdoors in Visual Prompt Learning. CoRR Hai Huang, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	Prompt Stealing Attacks Against Text-to-Image Generation Models. CoRR Xinyue Shen, Yiting Qu, Michael Backes, Yang Zhang
2023	J	`jnl`	Provably Robust Cost-Sensitive Learning via Randomized Smoothing. CoRR Yuan Xin, Michael Backes, Xiao Zhang
2023	J	`jnl`	Quantifying Privacy Risks of Prompts in Visual Prompt Learning. CoRR Yixin Wu, Rui Wen, Michael Backes, Pascal Berrang, Mathias Humbert, Yun Shen, Yang Zhang
2023	J	`jnl`	Revisiting Transferable Adversarial Image Examples: Attack Categorization, Evaluation Guidelines, and New Insights. CoRR Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes, Qi Li, Chao Shen
2023	J	`jnl`	Robustness Over Time: Understanding Adversarial Examples' Effectiveness on Longitudinal Versions of Large Language Models. CoRR Yugeng Liu, Tianshuo Cong, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang
2023	C	`conf`	SEAL: Capability-Based Access Control for Data-Analytic Scenarios. SACMAT Hamed Rasifard, Rahul Gopinath, Michael Backes, Hamed Nemati
2023	J	`jnl`	Secure Composition of Robust and Optimising Compilers. CoRR Matthis Kruse, Michael Backes, Marco Patrignani
2023	J	`jnl`	SecurityNet: Assessing Machine Learning Vulnerabilities on Public Models. CoRR Boyang Zhang, Zheng Li, Ziqing Yang, Xinlei He, Michael Backes, Mario Fritz, Yang Zhang
2023	J	`jnl`	Transferable Availability Poisoning Attacks. CoRR Yiyong Liu, Michael Backes, Xiao Zhang
2023	A*	`conf`	Two-in-One: A Model Hijacking Attack Against Text Generation Models. USENIX Security Symposium Wai Man Si, Michael Backes, Yang Zhang, Ahmed Salem
2023	J	`jnl`	Two-in-One: A Model Hijacking Attack Against Text Generation Models. CoRR Wai Man Si, Michael Backes, Yang Zhang, Ahmed Salem
2023	A*	`conf`	UnGANable: Defending Against GAN-based Face Manipulation. USENIX Security Symposium Zheng Li, Ning Yu, Ahmed Salem, Michael Backes, Mario Fritz, Yang Zhang
2023	A*	`conf`	Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models. CCS Yiting Qu, Xinyue Shen, Xinlei He, Michael Backes, Savvas Zannettou, Yang Zhang
2023	J	`jnl`	Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models. CoRR Yiting Qu, Xinyue Shen, Xinlei He, Michael Backes, Savvas Zannettou, Yang Zhang
2023	J	`jnl`	Vision-language models boost food composition compilation. CoRR Peihua Ma, Yixin Wu, Ning Yu, Yang Zhang, Michael Backes, Qin Wang, Cheng-I Wei
2023	J	`jnl`	Watermarking Diffusion Model. CoRR Yugeng Liu, Zheng Li, Michael Backes, Yun Shen, Yang Zhang
2023	J	`jnl`	You Are How You Walk: Quantifying Privacy Risks in Step Count Data. CoRR Bartlomiej Surma, Tahleen A. Rahman, Monique M. B. Breteler, Michael Backes, Yang Zhang
2022	—	`conf`	A Framework for Constructing Single Secret Leader Election from MPC. ESORICS (2) Michael Backes, Pascal Berrang, Lucjan Hanzlik, Ivan Pryvalov
2022	J	`jnl`	A Systematic Study of the Consistency of Two-Factor Authentication User Journeys on Top-Ranked Websites (Extended Version). CoRR Sanam Ghorbani Lyastani, Michael Backes, Sven Bugiel
2022	J	`jnl`	A framework for constructing Single Secret Leader Election from MPC. IACR Cryptol. ePrint Arch. Michael Backes, Pascal Berrang, Lucjan Hanzlik, Ivan Pryvalov
2022	A*	`conf`	Auditing Membership Leakages of Multi-Exit Networks. CCS Zheng Li, Yiyong Liu, Xinlei He, Ning Yu, Michael Backes, Yang Zhang
2022	J	`jnl`	Auditing Membership Leakages of Multi-Exit Networks. CoRR Zheng Li, Yiyong Liu, Xinlei He, Ning Yu, Michael Backes, Yang Zhang
2022	J	`jnl`	Backdoor Attacks in the Supply Chain of Masked Image Modeling. CoRR Xinyue Shen, Xinlei He, Zheng Li, Yun Shen, Michael Backes, Yang Zhang
2022	J	`jnl`	Backdoor smoothing: Demystifying backdoor attacks on deep neural networks. Comput. Secur. Kathrin Grosse, Taesung Lee, Battista Biggio, Youngja Park, Michael Backes, Ian M. Molloy
2022	J	`jnl`	Can't Steal? Cont-Steal! Contrastive Stealing Attacks Against Image Encoders. CoRR Zeyang Sha, Xinlei He, Ning Yu, Michael Backes, Yang Zhang
2022	J	`jnl`	Data Poisoning Attacks Against Multimodal Encoders. CoRR Ziqing Yang, Xinlei He, Zheng Li, Michael Backes, Mathias Humbert, Pascal Berrang, Yang Zhang
2022	A	`conf`	Dynamic Backdoor Attacks Against Machine Learning Models. EuroS&P Ahmed Salem, Rui Wen, Michael Backes, Shiqing Ma, Yang Zhang
2022	A*	`conf`	Finding MNEMON: Reviving Memories of Node Embeddings. CCS Yun Shen, Yufei Han, Zhikun Zhang, Min Chen, Ting Yu, Michael Backes, Yang Zhang, Gianluca Stringhini
2022	J	`jnl`	Finding MNEMON: Reviving Memories of Node Embeddings. CoRR Yun Shen, Yufei Han, Zhikun Zhang, Min Chen, Ting Yu, Michael Backes, Yang Zhang, Gianluca Stringhini
2022	A*	`conf`	Freely Given Consent?: Studying Consent Notice of Third-Party Tracking and Its Violations of GDPR in Android Apps. CCS Trung Tin Nguyen, Michael Backes, Ben Stock
2022	A*	`conf`	Get a Model! Model Hijacking Attack Against Machine Learning Models. NDSS Ahmed Salem, Michael Backes, Yang Zhang
2022	A*	`conf`	Graph Unlearning. CCS Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang
2022	—	`conf`	Industrial practitioners' mental models of adversarial machine learning. SOUPS @ USENIX Security Symposium Lukas Bieringer, Kathrin Grosse, Michael Backes, Battista Biggio, Katharina Krombholz
2022	A*	`conf`	Inference Attacks Against Graph Neural Networks. USENIX Security Symposium Zhikun Zhang, Min Chen, Michael Backes, Yun Shen, Yang Zhang
2022	A*	`conf`	ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models. USENIX Security Symposium Yugeng Liu, Rui Wen, Xinlei He, Ahmed Salem, Zhikun Zhang, Michael Backes, Emiliano De Cristofaro, Mario Fritz, Yang Zhang
2022	J	`jnl`	Membership Inference Attacks Against Text-to-image Generation Models. CoRR Yixin Wu, Ning Yu, Zheng Li, Michael Backes, Yang Zhang
2022	A*	`conf`	Membership Inference Attacks by Exploiting Loss Trajectory. CCS Yiyong Liu, Zhengyu Zhao, Michael Backes, Yang Zhang
2022	J	`jnl`	Membership Inference Attacks by Exploiting Loss Trajectory. CoRR Yiyong Liu, Zhengyu Zhao, Michael Backes, Yang Zhang
2022	A	`conf`	On Xing Tian and the Perseverance of Anti-China Sentiment Online. ICWSM Xinyue Shen, Xinlei He, Michael Backes, Jeremy Blackburn, Savvas Zannettou, Yang Zhang
2022	J	`jnl`	On Xing Tian and the Perseverance of Anti-China Sentiment Online. CoRR Xinyue Shen, Xinlei He, Michael Backes, Jeremy Blackburn, Savvas Zannettou, Yang Zhang
2022	J	`jnl`	On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning. CoRR Yiting Qu, Xinlei He, Shannon Pierson, Michael Backes, Yang Zhang, Savvas Zannettou
2022	A*	`conf`	On the Privacy Risks of Cell-Based NAS Architectures. CCS Hai Huang, Zhikun Zhang, Yun Shen, Michael Backes, Qi Li, Yang Zhang
2022	J	`jnl`	On the Privacy Risks of Cell-Based NAS Architectures. CoRR Hai Huang, Zhikun Zhang, Yun Shen, Michael Backes, Qi Li, Yang Zhang
2022	J	`jnl`	PrivTrace: Differentially Private Trajectory Synthesis by Adaptive Markov Model. CoRR Haiming Wang, Zhikun Zhang, Tianhao Wang, Shibo He, Michael Backes, Jiming Chen, Yang Zhang
2022	J	`jnl`	Towards Good Practices in Evaluating Transfer Adversarial Attacks. CoRR Zhengyu Zhao, Hanwei Zhang, Renjue Li, Ronan Sicre, Laurent Amsaleg, Michael Backes
2022	J	`jnl`	UnGANable: Defending Against GAN-based Face Manipulation. CoRR Zheng Li, Ning Yu, Ahmed Salem, Michael Backes, Mario Fritz, Yang Zhang
2022	J	`jnl`	Why So Toxic? Measuring and Triggering Toxic Behavior in Open-Domain Chatbots. CoRR Wai Man Si, Michael Backes, Jeremy Blackburn, Emiliano De Cristofaro, Gianluca Stringhini, Savvas Zannettou, Yang Zhang
2022	A*	`conf`	Why So Toxic?: Measuring and Triggering Toxic Behavior in Open-Domain Chatbots. CCS Wai Man Si, Michael Backes, Jeremy Blackburn, Emiliano De Cristofaro, Gianluca Stringhini, Savvas Zannettou, Yang Zhang
2021	A*	`conf`	12 Angry Developers - A Qualitative Study on Developers' Struggles with CSP. CCS Sebastian Roth, Lea Gröber, Michael Backes, Katharina Krombholz, Ben Stock
2021	A*	`conf`	A11y and Privacy don't have to be mutually exclusive: Constraining Accessibility Service Misuse on Android. USENIX Security Symposium Jie Huang, Michael Backes, Sven Bugiel
2021	A	`conf`	Accountability in the Decentralised-Adversary Setting. CSF Robert Künnemann, Deepak Garg, Michael Backes
2021	A	`conf`	BadNL: Backdoor Attacks against NLP Models with Semantic-preserving Improvements. ACSAC Xiaoyi Chen, Ahmed Salem, Dingfan Chen, Michael Backes, Shiqing Ma, Qingni Shen, Zhonghai Wu, Yang Zhang
2021	J	`jnl`	Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages. CoRR Cristian-Alexandru Staicu, Sazzadur Rahaman, Ágnes Kiss, Michael Backes
2021	A	`conf`	Do winning tickets exist before DNN training? SDM Kathrin Grosse, Michael Backes
2021	A*	`conf`	DoubleX: Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale. CCS Aurore Fass, Dolière Francis Somé, Michael Backes, Ben Stock
2021	A*	`conf`	Explanation Beats Context: The Effect of Timing & Rationales on Users' Runtime Permission Decisions. USENIX Security Symposium Yusra Elbitar, Michael Schilling, Trung Tin Nguyen, Michael Backes, Sven Bugiel
2021	J	`jnl`	Get a Model! Model Hijacking Attack Against Machine Learning Models. CoRR Ahmed Salem, Michael Backes, Yang Zhang
2021	J	`jnl`	Graph Unlearning. CoRR Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang
2021	J	`jnl`	Inference Attacks Against Graph Neural Networks. CoRR Zhikun Zhang, Min Chen, Michael Backes, Yun Shen, Yang Zhang
2021	J	`jnl`	ML-Doctor: Holistic Risk Assessment of Inference Attacks Against Machine Learning Models. CoRR Yugeng Liu, Rui Wen, Xinlei He, Ahmed Salem, Zhikun Zhang, Michael Backes, Emiliano De Cristofaro, Mario Fritz, Yang Zhang
2021	—	`conf`	MLCapsule: Guarded Offline Deployment of Machine Learning as a Service. CVPR Workshops Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Maximilian Augustin, Michael Backes, Mario Fritz
2021	A	`conf`	Measuring User Perception for Detecting Unexpected Access to Sensitive Resource in Mobile Apps. AsiaCCS Trung Tin Nguyen, Duc Cuong Nguyen, Michael Schilling, Gang Wang, Michael Backes
2021	J	`jnl`	Mental Models of Adversarial Machine Learning. CoRR Lukas Bieringer, Kathrin Grosse, Michael Backes, Katharina Krombholz
2021	J	`jnl`	Node-Level Membership Inference Attacks Against Graph Neural Networks. CoRR Xinlei He, Rui Wen, Yixin Wu, Michael Backes, Yun Shen, Yang Zhang
2021	A*	`conf`	PrivSyn: Differentially Private Data Synthesis. USENIX Security Symposium Zhikun Zhang, Tianhao Wang, Ninghui Li, Jean Honorio, Michael Backes, Shibo He, Jiming Chen, Yang Zhang
2021	A*	`conf`	Share First, Ask Later (or Never?) Studying Violations of GDPR's Explicit Consent in Android Apps. USENIX Security Symposium Trung Tin Nguyen, Michael Backes, Ninja Marnau, Ben Stock
2021	A	`conf`	Statically Detecting JavaScript Obfuscation and Minification Techniques in the Wild. DSN Marvin Moog, Markus Demmel, Michael Backes, Aurore Fass
2021	A*	`conf`	Stealing Links from Graph Neural Networks. USENIX Security Symposium Xinlei He, Jinyuan Jia, Michael Backes, Neil Zhenqiang Gong, Yang Zhang
2021	J	`jnl`	Towards a Principled Approach for Dynamic Analysis of Android's Middleware. CoRR Oliver Schranz, Sebastian Weisgerber, Erik Derr, Michael Backes, Sven Bugiel
2021	A*	`conf`	When Machine Unlearning Jeopardizes Privacy. CCS Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang
2021	A*	`conf`	Why Eve and Mallory Still Love Android: Revisiting TLS (In)Security in Android Applications. USENIX Security Symposium Marten Oltrogge, Nicolas Huaman, Sabrina Amft, Yasemin Acar, Michael Backes, Sascha Fahl
2020	A*	`conf`	A Tale of Two Headers: A Formal Analysis of Inconsistent Click-Jacking Protection on the Web. USENIX Security Symposium Stefano Calzavara, Sebastian Roth, Alvise Rabitti, Michael Backes, Ben Stock
2020	J	`jnl`	A new measure for overfitting and its implications for backdooring of deep learning. CoRR Kathrin Grosse, Taesung Lee, Youngja Park, Michael Backes, Ian M. Molloy
2020	—	`conf`	Adversarial Attacks on Classifiers for Eye-based User Modelling. ETRA Adjunct Inken Hagestedt, Michael Backes, Andreas Bulling
2020	J	`jnl`	Adversarial Attacks on Classifiers for Eye-based User Modelling. CoRR Inken Hagestedt, Michael Backes, Andreas Bulling
2020	J	`jnl`	Adversarial Examples and Metrics. CoRR Nico Döttling, Kathrin Grosse, Michael Backes, Ian M. Molloy
2020	A	`conf`	Assessing the Impact of Script Gadgets on CSP at Scale. AsiaCCS Sebastian Roth, Michael Backes, Ben Stock
2020	J	`jnl`	BAAAN: Backdoor Attacks Against Autoencoder and GAN-Based Machine Learning Models. CoRR Ahmed Salem, Yannick Sautter, Michael Backes, Mathias Humbert, Yang Zhang
2020	J	`jnl`	BadNL: Backdoor Attacks Against NLP Models. CoRR Xiaoyi Chen, Ahmed Salem, Michael Backes, Shiqing Ma, Yang Zhang
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. CoRR Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020	J	`jnl`	Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
2020	J	`jnl`	Don't Trigger Me! A Triggerless Backdoor Attack Against Deep Neural Networks. CoRR Ahmed Salem, Michael Backes, Yang Zhang
2020	J	`jnl`	Dynamic Backdoor Attacks Against Machine Learning Models. CoRR Ahmed Salem, Rui Wen, Michael Backes, Shiqing Ma, Yang Zhang
2020	J	`jnl`	Everything About You: A Multimodal Approach towards Friendship Inference in Online Social Networks. CoRR Tahleen A. Rahman, Mario Fritz, Michael Backes, Yang Zhang
2020	J	`jnl`	How many winning tickets are there in one DNN? CoRR Kathrin Grosse, Michael Backes
2020	A*	`conf`	Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication. SP Sanam Ghorbani Lyastani, Michael Schilling, Michaela Neumayr, Michael Backes, Sven Bugiel
2020	B	`conf`	Killing Four Birds with one Gaussian Process: The Relation between different Test-Time Attacks. ICPR Kathrin Grosse, Michael T. Smith, Michael Backes
2020	A	`conf`	Membership Inference Against DNA Methylation Databases. EuroS&P Inken Hagestedt, Mathias Humbert, Pascal Berrang, Irina Lehmann, Roland Eils, Michael Backes, Yang Zhang
2020	—	`conf`	On the Security Relevance of Initial Weights in Deep Neural Networks. ICANN (1) Kathrin Grosse, Thomas Alexander Trost, Marius Mosbach, Michael Backes, Dietrich Klakow
2020	J	`jnl`	PrivSyn: Differentially Private Data Synthesis. CoRR Zhikun Zhang, Tianhao Wang, Ninghui Li, Jean Honorio, Michael Backes, Shibo He, Jiming Chen, Yang Zhang
2020	J	`jnl`	Privacy Analysis of Deep Learning in the Wild: Membership Inference Attacks against Transfer Learning. CoRR Yang Zou, Zhikun Zhang, Michael Backes, Yang Zhang
2020	J	`jnl`	Stealing Links from Graph Neural Networks. CoRR Xinlei He, Jinyuan Jia, Michael Backes, Neil Zhenqiang Gong, Yang Zhang
2020	A*	`conf`	Towards Plausible Graph Anonymization. NDSS Yang Zhang, Mathias Humbert, Bartlomiej Surma, Praveen Manoharan, Jilles Vreeken, Michael Backes
2020	—	`conf`	TrollThrottle - Raising the Cost of Astroturfing. ACNS (2) Ilkan Esiyok, Lucjan Hanzlik, Robert Künnemann, Lena Marie Budde, Michael Backes
2020	J	`jnl`	Trollthrottle - Raising the Cost of Astroturfing. CoRR Ilkan Esiyok, Lucjan Hanzlik, Robert Künnemann, Lena Marie Budde, Michael Backes
2020	A	`conf`	Up2Dep: Android Tool Support to Fix Insecure Code Dependencies. ACSAC Duc Cuong Nguyen, Erik Derr, Michael Backes, Sven Bugiel
2020	A*	`conf`	Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning. USENIX Security Symposium Ahmed Salem, Apratim Bhattacharya, Michael Backes, Mario Fritz, Yang Zhang
2020	J	`jnl`	When Machine Unlearning Jeopardizes Privacy. CoRR Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang
2019	J	`jnl`	Adversarial Initialization - when your network performs the way I want. CoRR Kathrin Grosse, Thomas Alexander Trost, Marius Mosbach, Michael Backes, Dietrich Klakow
2019	J	`jnl`	Adversarial Vulnerability Bounds for Gaussian Process Classification. CoRR Michael Thomas Smith, Kathrin Grosse, Michael Backes, Mauricio A. Álvarez
2019	A	`conf`	Automated Verification of Accountability in Security Protocols. CSF Robert Künnemann, Ilkan Esiyok, Michael Backes
2019	—	`conf`	Causality & Control Flow. CREST Robert Künnemann, Deepak Garg, Michael Backes
2019	—	`conf`	Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains Without Trusted Setup. Public Key Cryptography (1) Michael Backes, Lucjan Hanzlik, Amir Herzberg, Aniket Kate, Ivan Pryvalov
2019	J	`jnl`	Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains without Trusted Setup. IACR Cryptol. ePrint Arch. Michael Backes, Lucjan Hanzlik, Amir Herzberg, Aniket Kate, Ivan Pryvalov
2019	A*	`conf`	Fairwalk: Towards Fair Graph Embedding. IJCAI Tahleen A. Rahman, Bartlomiej Surma, Michael Backes, Yang Zhang
2019	A*	`conf`	Fidelius: Protecting User Secrets from Compromised Browsers. IEEE Symposium on Security and Privacy Saba Eskandarian, Jonathan Cogan, Sawyer Birnbaum, Peh Chang Wei Brandon, Dillon Franke, Forest Fraser, Gaspar Garcia Jr., Eric Gong, Hung T. Nguyen, Taresh K. Sethi, Vishal Subbiah, Michael Backes, Giancarlo Pellegrino, Dan Boneh
2019	A*	`conf`	HideNoSeek: Camouflaging Malicious JavaScript in Benign ASTs. CCS Aurore Fass, Michael Backes, Ben Stock
2019	A	`conf`	How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11. CSF Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
2019	J	`jnl`	How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS\#11. IACR Cryptol. ePrint Arch. Alexander Dax, Robert Künnemann, Sven Tangermann, Michael Backes
2019	A	`conf`	JStap: a static pre-filter for malicious JavaScript detection. ACSAC Aurore Fass, Michael Backes, Ben Stock
2019	A*	`conf`	MBeacon: Privacy-Preserving Beacons for DNA Methylation Data. NDSS Inken Hagestedt, Yang Zhang, Mathias Humbert, Pascal Berrang, Haixu Tang, Xiaofeng Wang, Michael Backes
2019	A*	`conf`	ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models. NDSS Ahmed Salem, Yang Zhang, Mathias Humbert, Pascal Berrang, Mario Fritz, Michael Backes
2019	A*	`conf`	MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples. CCS Jinyuan Jia, Ahmed Salem, Michael Backes, Yang Zhang, Neil Zhenqiang Gong
2019	J	`jnl`	MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples. CoRR Jinyuan Jia, Ahmed Salem, Michael Backes, Yang Zhang, Neil Zhenqiang Gong
2019	A*	`conf`	Membership Privacy for Fully Dynamic Group Signatures. CCS Michael Backes, Lucjan Hanzlik, Jonas Schneider-Bensch
2019	J	`jnl`	Privacy-Preserving Similar Patient Queries for Combined Biomedical Data. Proc. Priv. Enhancing Technol. Ahmed Salem, Pascal Berrang, Mathias Humbert, Michael Backes
2019	J	`jnl`	Proconda - Protected Control Data. CoRR Marie-Therese Walter, David Pfaff, Stefan Nürnberger, Michael Backes
2019	—	`conf`	Ring Signatures: Logarithmic-Size, No Setup - from Standard Assumptions. EUROCRYPT (3) Michael Backes, Nico Döttling, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider
2019	J	`jnl`	Ring Signatures: Logarithmic-Size, No Setup - from Standard Assumptions. IACR Cryptol. ePrint Arch. Michael Backes, Nico Döttling, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider
2019	A*	`conf`	Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security & Privacy. IEEE Symposium on Security and Privacy Duc Cuong Nguyen, Erik Derr, Michael Backes, Sven Bugiel
2019	Misc	`conf`	Towards automated network mitigation analysis. SAC Patrick Speicher, Marcel Steinmetz, Jörg Hoffmann, Michael Backes, Robert Künnemann
2019	A	`conf`	Up-To-Crash: Evaluating Third-Party Library Updatability on Android. EuroS&P Jie Huang, Nataniel P. Borges Jr., Sven Bugiel, Michael Backes
2019	J	`jnl`	Updates-Leak: Data Set Inference and Reconstruction Attacks in Online Learning. CoRR Ahmed Salem, Apratim Bhattacharyya, Michael Backes, Mario Fritz, Yang Zhang
2018	J	`jnl`	A Survey on Routing in Anonymous Communication Protocols. ACM Comput. Surv. Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, Claudia Díaz
2018	J	`jnl`	Accountability in Security Protocols. IACR Cryptol. ePrint Arch. Robert Künnemann, Deepak Garg, Michael Backes
2018	J	`jnl`	Automated Verification of Accountability in Security Protocols. CoRR Robert Künnemann, Ilkan Esiyok, Michael Backes
2018	A*	`conf`	Better managed than memorized? Studying the Impact of Managers on Password Strength and Reuse. USENIX Security Symposium Sanam Ghorbani Lyastani, Michael Schilling, Sascha Fahl, Michael Backes, Sven Bugiel
2018	A*	`conf`	Didn't You Hear Me? - Towards More Successful Web Vulnerability Notifications. NDSS Ben Stock, Giancarlo Pellegrino, Frank Li, Michael Backes, Christian Rossow
2018	A	`conf`	Dissecting Privacy Risks in Biomedical Data. EuroS&P Pascal Berrang, Mathias Humbert, Yang Zhang, Irina Lehmann, Roland Eils, Michael Backes
2018	J	`jnl`	Fidelius: Protecting User Secrets from Compromised Browsers. CoRR Saba Eskandarian, Jonathan Cogan, Sawyer Birnbaum, Peh Chang Wei Brandon, Dillon Franke, Forest Fraser, Gaspar Garcia Jr., Eric Gong, Hung T. Nguyen, Taresh K. Sethi, Vishal Subbiah, Michael Backes, Giancarlo Pellegrino, Dan Boneh
2018	A	`conf`	Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. EuroS&P Patrick Speicher, Marcel Steinmetz, Robert Künnemann, Milivoj Simeonovski, Giancarlo Pellegrino, Jörg Hoffmann, Michael Backes
2018	B	`conf`	JaSt: Fully Syntactic Detection of Malicious (Obfuscated) JavaScript. DIMVA Aurore Fass, Robert P. Krawczyk, Michael Backes, Ben Stock
2018	J	`jnl`	Killing Three Birds with one Gaussian Process: Analyzing Attack Vectors on Classification. CoRR Kathrin Grosse, Michael T. Smith, Michael Backes
2018	J	`jnl`	ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models. CoRR Ahmed Salem, Yang Zhang, Mathias Humbert, Mario Fritz, Michael Backes
2018	J	`jnl`	MLCapsule: Guarded Offline Deployment of Machine Learning as a Service. CoRR Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Max Augustin, Michael Backes, Mario Fritz
2018	J	`jnl`	Membership Privacy for Fully Dynamic Group Signatures. IACR Cryptol. ePrint Arch. Michael Backes, Lucjan Hanzlik, Jonas Schneider
2018	—	`conf`	PRIMA: Privacy-Preserving Identity and Access Management at Internet-Scale. ICC Muhammad Rizwan Asghar, Michael Backes, Milivoj Simeonovski
2018	A*	`conf`	Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. IEEE Symposium on Security and Privacy Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim
2018	A*	`ed.`	Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018 CCS David Lie, Mohammad Mannan, Michael Backes, Xiaofeng Wang
2018	J	`jnl`	Signatures with Flexible Public Key: A Unified Approach to Privacy-Preserving Signatures (Full Version). IACR Cryptol. ePrint Arch. Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider
2018	—	`conf`	Signatures with Flexible Public Key: Introducing Equivalence Classes for Public Keys. ASIACRYPT (2) Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider
2018	J	`jnl`	Simulating the Large-Scale Erosion of Genomic Privacy Over Time. IEEE ACM Trans. Comput. Biol. Bioinform. Michael Backes, Pascal Berrang, Mathias Humbert, Xiaoyu Shen, Verena Wolf
2018	A*	`conf`	Stackelberg Planning: Towards Effective Leader-Follower State Space Search. AAAI Patrick Speicher, Marcel Steinmetz, Michael Backes, Jörg Hoffmann, Robert Künnemann
2018	A*	`conf`	Tagvisor: A Privacy Advisor for Sharing Hashtags. WWW Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes
2018	J	`jnl`	Tagvisor: A Privacy Advisor for Sharing Hashtags. CoRR Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes
2018	J	`jnl`	The Limitations of Model Uncertainty in Adversarial Settings. CoRR Kathrin Grosse, David Pfaff, Michael T. Smith, Michael Backes
2018	A*	`conf`	The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators. IEEE Symposium on Security and Privacy Marten Oltrogge, Erik Derr, Christian Stransky, Yasemin Acar, Sascha Fahl, Christian Rossow, Giancarlo Pellegrino, Sven Bugiel, Michael Backes
2017	A	`conf`	A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. EuroS&P Michael Backes, Jannik Dreier, Steve Kremer, Robert Künnemann
2017	A*	`conf`	A Stitch in Time: Supporting Android Developers in WritingSecure Code. CCS Duc Cuong Nguyen, Dominik Wermke, Yasemin Acar, Michael Backes, Charles Weir, Sascha Fahl
2017	A	`conf`	ARTist: The Android Runtime Instrumentation and Security Toolkit. EuroS&P Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky, Sebastian Weisgerber
2017	—	`conf`	Adversarial Examples for Malware Detection. ESORICS (2) Kathrin Grosse, Nicolas Papernot, Praveen Manoharan, Michael Backes, Patrick D. McDaniel
2017	J	`jnl`	CTRL+Z: Recovering Anonymized Social Graphs. CoRR Yang Zhang, Mathias Humbert, Bartlomiej Surma, Praveen Manoharan, Jilles Vreeken, Michael Backes
2017	A*	`conf`	Comparing the Usability of Cryptographic APIs. IEEE Symposium on Security and Privacy Yasemin Acar, Michael Backes, Sascha Fahl, Simson L. Garfinkel, Doowon Kim, Michelle L. Mazurek, Christian Stransky
2017	A*	`conf`	Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code. NDSS Giorgi Maisuradze, Michael Backes, Christian Rossow
2017	A*	`conf`	Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs. CCS Giancarlo Pellegrino, Martin Johns, Simon Koch, Michael Backes, Christian Rossow
2017	J	`jnl`	Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs. CoRR Giancarlo Pellegrino, Martin Johns, Simon Koch, Michael Backes, Christian Rossow
2017	A	`conf`	Efficient and Flexible Discovery of PHP Application Vulnerabilities. EuroS&P Michael Backes, Konrad Rieck, Malte Skoruppa, Ben Stock, Fabian Yamaguchi
2017	J	`jnl`	How Internet Resources Might Be Helping You Develop Faster but Less Securely. IEEE Secur. Priv. Yasemin Acar, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek, Christian Stransky
2017	A*	`conf`	How the Web Tangled Itself: Uncovering the History of Client-Side Web (In)Security. USENIX Security Symposium Ben Stock, Martin Johns, Marius Steffens, Michael Backes
2017	A*	`conf`	Identifying Personal DNA Methylation Profiles by Genotype Inference. IEEE Symposium on Security and Privacy Michael Backes, Pascal Berrang, Matthias Bieg, Roland Eils, Carl Herrmann, Mathias Humbert, Irina Lehmann
2017	A*	`conf`	Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android. CCS Erik Derr, Sven Bugiel, Sascha Fahl, Yasemin Acar, Michael Backes
2017	A	`conf`	LUNA: Quantifying and Leveraging Uncertainty in Android Malware Analysis through Bayesian Machine Learning. EuroS&P Michael Backes, Mohammad Nauman
2017	—	`conf`	Lessons Learned from Using an Online Platform to Conduct Large-Scale, Online Controlled Security Experiments with Software Developers. CSET @ USENIX Security Symposium Christian Stransky, Yasemin Acar, Duc Cuong Nguyen, Dominik Wermke, Doowon Kim, Elissa M. Redmiles, Michael Backes, Simson L. Garfinkel, Michelle L. Mazurek, Sascha Fahl
2017	A	`conf`	Linking Amplification DDoS Attacks to Booter Services. RAID Johannes Krupp, Mohammad Karami, Christian Rossow, Damon McCoy, Michael Backes
2017	J	`jnl`	On the (Statistical) Detection of Adversarial Examples. CoRR Kathrin Grosse, Praveen Manoharan, Nicolas Papernot, Michael Backes, Patrick D. McDaniel
2017	A	`conf`	Reconciling Privacy and Utility in Continuous-Time Diffusion Networks. CSF Michael Backes, Manuel Gomez-Rodriguez, Praveen Manoharan, Bartlomiej Surma
2017	—	`conf`	Seamless In-App Ad Blocking on Stock Android. IEEE Symposium on Security and Privacy Workshops Michael Backes, Sven Bugiel, Philipp von Styp-Rekowsky, Marvin WiBfeld
2017	J	`jnl`	Simulated Penetration Testing and Mitigation Analysis. CoRR Michael Backes, Jörg Hoffmann, Robert Künnemann, Patrick Speicher, Marcel Steinmetz
2017	A*	`conf`	Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security. IEEE Symposium on Security and Privacy Felix Fischer, Konstantin Böttinger, Huang Xiao, Christian Stransky, Yasemin Acar, Michael Backes, Sascha Fahl
2017	J	`jnl`	Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security. CoRR Felix Fischer, Konstantin Böttinger, Huang Xiao, Christian Stransky, Yasemin Acar, Michael Backes, Sascha Fahl
2017	J	`jnl`	Studying the Impact of Managers on Password Strength and Reuse. CoRR Sanam Ghorbani Lyastani, Michael Schilling, Sascha Fahl, Sven Bugiel, Michael Backes
2017	A*	`conf`	The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android. CCS Jie Huang, Oliver Schranz, Sven Bugiel, Michael Backes
2017	A*	`conf`	Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying. NDSS Kangjie Lu, Marie-Therese Walter, David Pfaff, Stefan Nümberger, Wenke Lee, Michael Backes
2017	A*	`conf`	Who Controls the Internet?: Analyzing Global Threats using Property Graph Traversals. WWW Milivoj Simeonovski, Giancarlo Pellegrino, Christian Rossow, Michael Backes
2017	A*	`conf`	walk2friends: Inferring Social Links from Mobility Profiles. CCS Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang
2017	J	`jnl`	walk2friends: Inferring Social Links from Mobility Profiles. CoRR Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang
2016	J	`jnl`	A Survey on Routing in Anonymous Communication Protocols. CoRR Fatemeh Shirazi, Milivoj Simeonovski, Muhammad Rizwan Asghar, Michael Backes, Claudia Díaz
2016	J	`jnl`	ARTist: The Android Runtime Instrumentation and Security Toolkit. CoRR Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky, Sebastian Weisgerber
2016	J	`jnl`	Adversarial Perturbations Against Deep Neural Networks for Malware Classification. CoRR Kathrin Grosse, Nicolas Papernot, Praveen Manoharan, Michael Backes, Patrick D. McDaniel
2016	J	`jnl`	AnoA: A Framework for Analyzing Anonymous Communication Protocols. J. Priv. Confidentiality Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi
2016	—	`conf`	Anonymous RAM. ESORICS (1) Michael Backes, Amir Herzberg, Aniket Kate, Ivan Pryvalov
2016	J	`jnl`	Anonymous RAM. IACR Cryptol. ePrint Arch. Michael Backes, Amir Herzberg, Aniket Kate, Ivan Pryvalov
2016	J	`jnl`	Boxify: Bringing Full-Fledged App Sandboxing to Stock Android. login Usenix Mag. Michael Backes, Sven Bugiel, Oliver Schranz, Philipp von Styp-Rekowsky
2016	A*	`conf`	Computational Soundness for Dalvik Bytecode. CCS Michael Backes, Robert Künnemann, Esfandiar Mohammadi
2016	J	`jnl`	Computational Soundness for Dalvik Bytecode. CoRR Michael Backes, Robert Künnemann, Esfandiar Mohammadi
2016	J	`jnl`	Data Lineage in Malicious Environments. IEEE Trans. Dependable Secur. Comput. Michael Backes, Niklas Grimm, Aniket Kate
2016	—	`conf`	Delegatable Functional Signatures. Public Key Cryptography (1) Michael Backes, Sebastian Meiser, Dominique Schröder
2016	B	`conf`	Detecting Hardware-Assisted Virtualization. DIMVA Michael Brengel, Michael Backes, Christian Rossow
2016	A*	`conf`	Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments. CCS Jonas Schneider, Nils Fleischhacker, Dominique Schröder, Michael Backes
2016	—	`conf`	From Zoos to Safaris - From Closed-World Enforcement to Open-World Assessment of Privacy. FOSAD Michael Backes, Pascal Berrang, Praveen Manoharan
2016	J	`jnl`	Herausforderungen des Internet of Things. Datenschutz und Datensicherheit Michael Backes
2016	A*	`conf`	Hey, You Have a Problem: On the Feasibility of Large-Scale Web Vulnerability Notification. USENIX Security Symposium Ben Stock, Giancarlo Pellegrino, Christian Rossow, Martin Johns, Michael Backes
2016	A*	`conf`	How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. NDSS Kangjie Lu, Wenke Lee, Stefan Nürnberger, Michael Backes
2016	A*	`conf`	Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks. CCS Johannes Krupp, Michael Backes, Christian Rossow
2016	Misc	`conf`	Implementation-level analysis of the JavaScript helios voting client. SAC Michael Backes, Christian Hammer, David Pfaff, Malte Skoruppa
2016	A*	`conf`	Membership Privacy in MicroRNA-based Studies. CCS Michael Backes, Pascal Berrang, Mathias Humbert, Praveen Manoharan
2016	A*	`conf`	On Demystifying the Android Application Framework: Re-Visiting Android Permission Specification Analysis. USENIX Security Symposium Michael Backes, Sven Bugiel, Erik Derr, Patrick D. McDaniel, Damien Octeau, Sebastian Weisgerber
2016	—	`conf`	On Profile Linkability despite Anonymity in Social Media Systems. WPES@CCS Michael Backes, Pascal Berrang, Oana Goga, Krishna P. Gummadi, Praveen Manoharan
2016	A	`conf`	On the Feasibility of TTL-Based Filtering for DRDoS Mitigation. RAID Michael Backes, Thorsten Holz, Christian Rossow, Teemu Rytilahti, Milivoj Simeonovski, Ben Stock
2016	A*	`conf`	POSTER: Mapping the Landscape of Large-Scale Vulnerability Notifications. CCS Ben Stock, Giancarlo Pellegrino, Christian Rossow, Martin Johns, Michael Backes
2016	A*	`conf`	POSTER: The ART of App Compartmentalization. CCS Michael Backes, Sven Bugiel, Jie Huang, Oliver Schranz
2016	J	`jnl`	PRIMA: Privacy-Preserving Identity and Access Management at Internet-Scale. CoRR Muhammad Rizwan Asghar, Michael Backes, Milivoj Simeonovski
2016	A*	`conf`	Privacy in Epigenetics: Temporal Linkability of MicroRNA Expression Profiles. USENIX Security Symposium Michael Backes, Pascal Berrang, Anna Hecksteden, Mathias Humbert, Andreas Keller, Tim Meyer
2016	A	`conf`	R-Droid: Leveraging Android App Analysis with Static Slice Optimization. AsiaCCS Michael Backes, Sven Bugiel, Erik Derr, Sebastian Gerling, Christian Hammer
2016	A	`conf`	RamCrypt: Kernel-based Address Space Encryption for User-mode Processes. AsiaCCS Johannes Götzfried, Tilo Müller, Gabor Drescher, Stefan Nürnberger, Michael Backes
2016	A*	`conf`	Reliable Third-Party Library Detection in Android and its Security Applications. CCS Michael Backes, Sven Bugiel, Erik Derr
2016	A	`conf`	SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion. RAID Akira Yokoyama, Kou Ishii, Rui Tanabe, Yinmin Papa, Katsunari Yoshioka, Tsutomu Matsumoto, Takahiro Kasama, Daisuke Inoue, Michael Brengel, Michael Backes, Christian Rossow
2016	A*	`conf`	SoK: Lessons Learned from Android Security Research for Appified Software Platforms. IEEE Symposium on Security and Privacy Yasemin Acar, Michael Backes, Sven Bugiel, Sascha Fahl, Patrick D. McDaniel, Matthew Smith
2016	A*	`conf`	What Cannot Be Read, Cannot Be Leveraged? Revisiting Assumptions of JIT-ROP Defenses. USENIX Security Symposium Giorgi Maisuradze, Michael Backes, Christian Rossow
2016	A*	`conf`	You Get Where You're Looking for: The Impact of Information Sources on Code Security. IEEE Symposium on Security and Privacy Yasemin Acar, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek, Christian Stransky
2016	J	`jnl`	Your Choice MATor(s): Large-scale Quantitative Anonymity Assessment of Tor Path Selection Algorithms Against Structural Attacks. Proc. Priv. Enhancing Technol. Michael Backes, Sebastian Meiser, Marcin Slowik
2015	A*	`conf`	ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. IEEE Symposium on Security and Privacy Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk
2015	A*	`conf`	Boxify: Full-fledged App Sandboxing for Stock Android. USENIX Security Symposium Michael Backes, Sven Bugiel, Christian Hammer, Oliver Schranz, Philipp von Styp-Rekowsky
2015	—	`conf`	Computational Soundness for Interactive Primitives. ESORICS (1) Michael Backes, Esfandiar Mohammadi, Tim Ruffing
2015	—	`conf`	Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext. SCC@ASIACCS Michael Backes, Martin Gagné, Sri Aravinda Krishnan Thyagarajan
2015	J	`jnl`	How well do you blend into the crowd? - d-convergence: A novel paradigm for quantifying privacy in the age of Big-Data. CoRR Michael Backes, Pascal Berrang, Praveen Manoharan
2015	B	`conf`	Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. ACNS Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
2015	J	`jnl`	Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. CoRR Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
2015	J	`jnl`	Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. IACR Cryptol. ePrint Arch. Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel
2015	A*	`conf`	POSTER: In the Net of the Spider: Measuring the Anonymity-Impact of Network-level Adversaries Against Tor. CCS Michael Backes, Simon Koch, Sebastian Meiser, Esfandiar Mohammadi, Christian Rossow
2015	A*	`conf`	POSTER: Towards Compiler-Assisted Taint Tracking on the Android Runtime (ART). CCS Michael Backes, Oliver Schranz, Philipp von Styp-Rekowsky
2015	J	`jnl`	PriCL: Creating a Precedent A Framework for Reasoning about Privacy Case Law. CoRR Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
2015	—	`conf`	PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law. POST Michael Backes, Fabian Bendun, Jörg Hoffmann, Ninja Marnau
2015	J	`jnl`	Quantifying information flow in cryptographic systems. Math. Struct. Comput. Sci. Michael Backes, Boris Köpf
2015	B	`conf`	Secrecy Without Perfect Randomness: Cryptography with (Bounded) Weak Sources. ACNS Michael Backes, Aniket Kate, Sebastian Meiser, Tim Ruffing
2015	A	`conf`	Symbolic Malleable Zero-Knowledge Proofs. CSF Michael Backes, Fabian Bendun, Matteo Maffei, Esfandiar Mohammadi, Kim Pecina
2014	A*	`conf`	(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection. CCS Michael Backes, Aniket Kate, Sebastian Meiser, Esfandiar Mohammadi
2014	J	`jnl`	(Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection. IACR Cryptol. ePrint Arch. Michael Backes, Aniket Kate, Sebastian Meiser, Esfandiar Mohammadi
2014	J	`jnl`	Android Security Framework: Enabling Generic and Extensible Access Control on Android. CoRR Michael Backes, Sven Bugiel, Sebastian Gerling, Philipp von Styp-Rekowsky
2014	A	`conf`	Android security framework: extensible multi-layered access control on Android. ACSAC Michael Backes, Sven Bugiel, Sebastian Gerling, Philipp von Styp-Rekowsky
2014	J	`jnl`	AnoA: A Framework For Analyzing Anonymous Communication Protocols. IACR Cryptol. ePrint Arch. Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi
2014	A*	`conf`	Asynchronous MPC with a strict honest majority using non-equivocation. PODC Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate
2014	B	`conf`	BackRef: Accountability in Anonymous Communication Networks. ACNS Michael Backes, Jeremy Clark, Aniket Kate, Milivoj Simeonovski, Peter Druschel
2014	—	`conf`	Computational Soundness Results for ProVerif - Bridging the Gap from Trace Properties to Uniformity. POST Michael Backes, Esfandiar Mohammadi, Tim Ruffing
2014	—	`conf`	Lime: Data Lineage in the Malicious Environment. STM Michael Backes, Niklas Grimm, Aniket Kate
2014	J	`jnl`	Lime: Data Lineage in the Malicious Environment. CoRR Michael Backes, Niklas Grimm, Aniket Kate
2014	J	`jnl`	Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. IACR Cryptol. ePrint Arch. Michael Backes, Dario Fiore, Raphael M. Reischuk
2014	J	`jnl`	Operational Signature Schemes. IACR Cryptol. ePrint Arch. Michael Backes, Özgür Dagdelen, Marc Fischlin, Sebastian Gajek, Sebastian Meiser, Dominique Schröder
2014	A*	`conf`	Oxymoron: Making Fine-Grained Memory Randomization Practical by Allowing Code Sharing. USENIX Security Symposium Michael Backes, Stefan Nürnberger
2014	A	`conf`	Scippa: system-centric IPC provenance on Android. ACSAC Michael Backes, Sven Bugiel, Sebastian Gerling
2014	A	`conf`	TUC: Time-Sensitive and Modular Analysis of Anonymous Communication. CSF Michael Backes, Praveen Manoharan, Esfandiar Mohammadi
2014	J	`jnl`	Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations. J. Comput. Secur. Michael Backes, Catalin Hritcu, Matteo Maffei
2014	B	`conf`	WebTrust - A Comprehensive Authenticity and Integrity Framework for HTTP. ACNS Michael Backes, Rainer W. Gerling, Sebastian Gerling, Stefan Nürnberger, Dominique Schröder, Mark Simkin
2014	Misc	`conf`	X-pire 2.0: a user-controlled expiration date and copy protection mechanism. SAC Michael Backes, Sebastian Gerling, Stefan Lorenz, Stephan Lukas
2014	A*	`conf`	You Can Run but You Can't Read: Preventing Disclosure Exploits in Executable Code. CCS Michael Backes, Thorsten Holz, Benjamin Kollenda, Philipp Koppe, Stefan Nürnberger, Jannik Pewny
2013	A	`conf`	AnoA: A Framework for Analyzing Anonymous Communication Protocols. CSF Michael Backes, Aniket Kate, Praveen Manoharan, Sebastian Meiser, Esfandiar Mohammadi
2013	A	`conf`	AppGuard - Enforcing User Requirements on Android Apps. TACAS Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	—	`conf`	AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. DPM/SETOP Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky
2013	B	`conf`	Asynchronous Computational VSS with Reduced Communication Complexity. CT-RSA Michael Backes, Amit Datta, Aniket Kate
2013	J	`jnl`	Asynchronous MPC with t<n/2 Using Non-equivocation. IACR Cryptol. ePrint Arch. Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate
2013	—	`conf`	Computational Soundness of Symbolic Zero-Knowledge Proofs: Weaker Assumptions and Mechanized Verification. POST Michael Backes, Fabian Bendun, Dominique Unruh
2013	J	`jnl`	Differential Indistinguishability for Cryptographic Primitives with Imperfect Randomness. IACR Cryptol. ePrint Arch. Michael Backes, Aniket Kate, Sebastian Meiser, Tim Ruffing
2013	—	`conf`	Differentially Private Smart Metering with Battery Recharging. DPM/SETOP Michael Backes, Sebastian Meiser
2013	J	`jnl`	Highly Controlled, Fine-grained Delegation of Signing Capabilities. IACR Cryptol. ePrint Arch. Michael Backes, Sebastian Meiser, Dominique Schröder
2013	—	`conf`	Idea: Callee-Site Rewriting of Sealed System Libraries. ESSoS Philipp von Styp-Rekowsky, Sebastian Gerling, Michael Backes, Christian Hammer
2013	J	`jnl`	Introducing Accountability to Anonymity Networks. CoRR Michael Backes, Jeremy Clark, Peter Druschel, Aniket Kate, Milivoj Simeonovski
2013	A*	`conf`	Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. NDSS Michael Backes, Goran Doychev, Boris Köpf
2013	A	`conf`	Privacy-Preserving Accountable Computation. ESORICS Michael Backes, Dario Fiore, Esfandiar Mohammadi
2013	J	`jnl`	TUC: Time-sensitive and Modular Analysis of Anonymous Communication. IACR Cryptol. ePrint Arch. Michael Backes, Praveen Manoharan, Esfandiar Mohammadi
2013	—	`conf`	Using mobile device communication to strengthen e-Voting protocols. WPES Michael Backes, Martin Gagné, Malte Skoruppa
2013	J	`jnl`	Verifiable Delegation of Computation on Outsourced Data. IACR Cryptol. ePrint Arch. Michael Backes, Dario Fiore, Raphael M. Reischuk
2013	A*	`conf`	Verifiable delegation of computation on outsourced data. CCS Michael Backes, Dario Fiore, Raphael M. Reischuk
2012	—	`conf`	Ace: an efficient key-exchange protocol for onion routing. WPES Michael Backes, Aniket Kate, Esfandiar Mohammadi
2012	A	`conf`	Adding query privacy to robust DHTs. AsiaCCS Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft
2012	J	`jnl`	Asynchronous Computational VSS with Reduced Communication Complexity. IACR Cryptol. ePrint Arch. Michael Backes, Amit Datta, Aniket Kate
2012	A*	`conf`	Automated Synthesis of Secure Distributed Applications. NDSS Michael Backes, Matteo Maffei, Kim Pecina
2012	A*	`conf`	Brief announcement: distributed cryptography using trinc. PODC Michael Backes, Fabian Bendun, Aniket Kate
2012	J	`jnl`	Computational Soundness of Symbolic Zero-knowledge Proofs: Weaker Assumptions and Mechanized Verification. IACR Cryptol. ePrint Arch. Michael Backes, Fabian Bendun, Dominique Unruh
2012	J	`jnl`	Computational Soundness without Protocol Restrictions. IACR Cryptol. ePrint Arch. Michael Backes, Ankit Malik, Dominique Unruh
2012	A*	`conf`	Computational soundness without protocol restrictions. CCS Michael Backes, Ankit Malik, Dominique Unruh
2012	J	`jnl`	Differentially Private Smart Metering with Battery Recharging. IACR Cryptol. ePrint Arch. Michael Backes, Sebastian Meiser
2012	—	`conf`	Diffusion-Based Image Compression in Steganography. ISVC (2) Markus Mainberger, Christian Schmaltz, Matthias Berg, Joachim Weickert, Michael Backes
2012	A*	`conf`	ObliviAd: Provably Secure and Practical Online Behavioral Advertising. IEEE Symposium on Security and Privacy Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina
2012	—	`conf`	On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols. NASA Formal Methods Michael Backes, Alex Busenius, Catalin Hritcu
2012	J	`jnl`	Preface. J. Comput. Secur. Andrew C. Myers, Michael Backes
2012	A	`conf`	Provably Secure and Practical Onion Routing. CSF Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi
2012	A*	`conf`	SAFE extensibility of data-driven web applications. WWW Raphael M. Reischuk, Michael Backes, Johannes Gehrke
2012	A	`conf`	Verified Security of Merkle-Damgård. CSF Michael Backes, Gilles Barthe, Matthias Berg, Benjamin Grégoire, César Kunz, Malte Skoruppa, Santiago Zanella-Béguelin
2011	J	`jnl`	A Novel Attack against Android Phones CoRR Michael Backes, Sebastian Gerling, Philipp von Styp-Rekowsky
2011	A*	`conf`	A Security API for Distributed Social Networks. NDSS Michael Backes, Matteo Maffei, Kim Pecina
2011	J	`jnl`	Adding Query Privacy to Robust DHTs CoRR Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft
2011	B	`conf`	Automatically Verifying Typing Constraints for a Data Processing Language. CPP Michael Backes, Catalin Hritcu, Thorsten Tarrach
2011	A	`conf`	Computational Verifiable Secret Sharing Revisited. ASIACRYPT Michael Backes, Aniket Kate, Arpita Patra
2011	J	`jnl`	Computational Verifiable Secret Sharing Revisited. IACR Cryptol. ePrint Arch. Michael Backes, Aniket Kate, Arpita Patra
2011	J	`jnl`	Cryptographically sound security proofs for basic and public-key Kerberos. Int. J. Inf. Sec. Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
2011	—	`conf`	G2C: Cryptographic Protocols from Goal-Driven Specifications. TOSCA Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk
2011	A	`conf`	Non-uniform distributions in quantitative information-flow. AsiaCCS Michael Backes, Matthias Berg, Boris Köpf
2011	J	`jnl`	Provably Secure and Practical Onion Routing. IACR Cryptol. ePrint Arch. Michael Backes, Ian Goldberg, Aniket Kate, Esfandiar Mohammadi
2011	A*	`conf`	Securing social networks. PODC Michael Backes, Matteo Maffei, Kim Pecina
2011	—	`conf`	Union and Intersection Types for Secure Protocol Implementations. TOSCA Michael Backes, Catalin Hritcu, Matteo Maffei
2011	J	`jnl`	X-pire! - A digital expiration date for images in social networks CoRR Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz
2010	A*	`conf`	Acoustic Side-Channel Attacks on Printers. USENIX Security Symposium Michael Backes, Markus Dürmuth, Sebastian Gerling, Manfred Pinkal, Caroline Sporleder
2010	A	`conf`	Anonymous Webs of Trust. Privacy Enhancing Technologies Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2010	A*	`conf`	Brief announcement: anonymity and trust in distributed systems. PODC Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2010	J	`jnl`	Computational soundness of symbolic zero-knowledge proofs. J. Comput. Secur. Michael Backes, Dominique Unruh
2010	—	`conf`	Computationally Sound Abstraction and Verification of Secure Multi-Party Computations. FSTTCS Michael Backes, Matteo Maffei, Esfandiar Mohammadi
2010	J	`jnl`	Computationally Sound Verification of Source Code. IACR Cryptol. ePrint Arch. Michael Backes, Matteo Maffei, Dominique Unruh
2010	A*	`conf`	Computationally sound verification of source code. CCS Michael Backes, Matteo Maffei, Dominique Unruh
2010	A	`conf`	RatFish: A File Sharing Protocol Provably Secure against Rational Users. ESORICS Michael Backes, Oana Ciobotaru, Anton Krohmer
2010	A	`conf`	Speaker Recognition in Encrypted Voice Streams. ESORICS Michael Backes, Goran Doychev, Markus Dürmuth, Boris Köpf
2009	A	`conf`	Achieving Security Despite Compromise Using Zero-knowledge. CSF Michael Backes, Martin P. Grochulla, Catalin Hritcu, Matteo Maffei
2009	—	`conf`	Anonymity and Censorship Resistance in Unstructured Overlay Networks. OTM Conferences (1) Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
2009	A*	`conf`	Automatic Discovery and Quantification of Information Leaks. SP Michael Backes, Boris Köpf, Andrey Rybalchenko
2009	A*	`conf`	CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. NDSS Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh
2009	J	`jnl`	CoSP: A General Framework For Computational Soundness Proofs. IACR Cryptol. ePrint Arch. Michael Backes, Dennis Hofheinz, Dominique Unruh
2009	A*	`conf`	CoSP: a general framework for computational soundness proofs. CCS Michael Backes, Dennis Hofheinz, Dominique Unruh
2009	A	`ed.`	Computer Security - ESORICS 2009, 14th European Symposium on Research in Computer Security, Saint-Malo, France, September 21-23, 2009. Proceedings ESORICS Michael Backes, Peng Ning
2009	—	`conf`	Design and Verification of Anonymous Trust Protocols. Security Protocols Workshop Michael Backes
2009	—	`conf`	Design and Verification of Anonymous Trust Protocols. Security Protocols Workshop Michael Backes, Matteo Maffei
2009	A*	`conf`	Tempest in a Teapot: Compromising Reflections Revisited. SP Michael Backes, Tongbo Chen, Markus Dürmuth, Hendrik P. A. Lensch, Martin Welk
2008	B	`conf`	A Formal Language for Cryptographic Pseudocode. LPAR Michael Backes, Matthias Berg, Dominique Unruh
2008	A*	`conf`	Anonymous and censorship resistant content sharing in unstructured overlays. PODC Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum
2008	A	`conf`	Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus. CSF Michael Backes, Catalin Hritcu, Matteo Maffei
2008	A*	`conf`	Compromising Reflections-or-How to Read LCD Monitors around the Corner. SP Michael Backes, Markus Dürmuth, Dominique Unruh
2008	A	`conf`	Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers. CSF Michael Backes, Dominique Unruh
2008	J	`jnl`	Computational soundness of symbolic zero-knowledge proofs. IACR Cryptol. ePrint Arch. Michael Backes, Dominique Unruh
2008	J	`jnl`	Conditional reactive simulatability. Int. J. Inf. Sec. Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2008	A	`conf`	Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. ESORICS Michael Backes, Boris Köpf
2008	J	`jnl`	Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. IACR Cryptol. ePrint Arch. Michael Backes, Boris Köpf
2008	J	`jnl`	Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles. J. Comput. Secur. Michael Backes, Birgit Pfitzmann, Andre Scedrov
2008	A	`conf`	Limits of Constructive Security Proofs. ASIACRYPT Michael Backes, Dominique Unruh
2008	J	`jnl`	Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR. Int. J. Inf. Sec. Michael Backes, Birgit Pfitzmann
2008	A	`conf`	OAEP Is Secure under Key-Dependent Messages. ASIACRYPT Michael Backes, Markus Dürmuth, Dominique Unruh
2008	A*	`conf`	The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. CAV Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina
2008	A*	`conf`	Type-checking zero-knowledge. CCS Michael Backes, Catalin Hritcu, Matteo Maffei
2008	A*	`conf`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. SP Michael Backes, Matteo Maffei, Dominique Unruh
2007	—	`conf`	A calculus of challenges and responses. FMSE Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei
2007	A	`conf`	Causality-based Abstraction of Multiplicity in Security Protocols. CSF Michael Backes, Agostino Cortesi, Matteo Maffei
2007	—	`conf`	Information Flow in the Peer-Reviewing Process. S&P Michael Backes, Markus Dürmuth, Dominique Unruh
2007	A	`conf`	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. CSF Michael Backes, Birgit Pfitzmann, Andre Scedrov
2007	—	`conf`	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. FSTTCS Michael Backes, Markus Dürmuth, Ralf Küsters
2007	J	`jnl`	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography. IACR Cryptol. ePrint Arch. Michael Backes, Markus Dürmuth, Ralf Küsters
2007	B	`conf`	On the Necessity of Rewinding in Secure Multiparty Computation. TCC Michael Backes, Jörn Müller-Quade, Dominique Unruh
2007	J	`jnl`	On the Security of Protocols with Logarithmic Communication Complexity. IACR Cryptol. ePrint Arch. Michael Backes, Dominique Unruh
2007	J	`jnl`	Preface. Int. J. Inf. Sec. Michael Backes, Stefanos Gritzalis, Bart Preneel
2007	J	`jnl`	Preface. J. Comput. Secur. Michael Backes, David A. Basin, Michael Waidner
2007	—	`ed.`	Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, San Francisco, CA, USA, August 22, 2005 SecCo@CONCUR Michael Backes, Andre Scedrov
2007	J	`jnl`	The reactive simulatability (RSIM) framework for asynchronous systems. Inf. Comput. Michael Backes, Birgit Pfitzmann, Michael Waidner
2007	—	`conf`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. Formal Protocol Verification Applied Michael Backes, Matteo Maffei, Dominique Unruh
2007	J	`jnl`	Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. IACR Cryptol. ePrint Arch. Michael Backes, Matteo Maffei, Dominique Unruh
2006	J	`jnl`	Compositional analysis of contract-signing protocols. Theor. Comput. Sci. Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2006	J	`jnl`	Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. IACR Cryptol. ePrint Arch. Michael Backes, Peeter Laud
2006	A*	`conf`	Computationally sound secrecy proofs by mechanized flow analysis. CCS Michael Backes, Peeter Laud
2006	A	`conf`	Conditional Reactive Simulatability. ESORICS Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2006	J	`jnl`	Conditional Reactive Simulatability. IACR Cryptol. ePrint Arch. Michael Backes, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters
2006	A	`conf`	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. ESORICS Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
2006	J	`jnl`	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. IACR Cryptol. ePrint Arch. Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay
2006	—	`conf`	Cryptographically Sound Theorem Proving. CSFW Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2006	J	`jnl`	Cryptographically Sound Theorem Proving. IACR Cryptol. ePrint Arch. Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner
2006	B	`conf`	Formal Methods and Cryptography. FM Michael Backes, Birgit Pfitzmann, Michael Waidner
2006	C	`ed.`	Information Security, 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006, Proceedings ISC Sokratis K. Katsikas, Javier López, Michael Backes, Stefanos Gritzalis, Bart Preneel
2006	A	`conf`	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. ESORICS Michael Backes, Birgit Pfitzmann, Michael Waidner
2006	J	`jnl`	Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann, Michael Waidner
2006	Misc	`conf`	On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. SEC Michael Backes, Birgit Pfitzmann
2006	J	`jnl`	On the Necessity of Rewinding in Secure Multiparty Computation. IACR Cryptol. ePrint Arch. Michael Backes, Jörn Müller-Quade, Dominique Unruh
2006	A	`conf`	Secure Key-Updating for Lazy Revocation. ESORICS Michael Backes, Christian Cachin, Alina Oprea
2006	B	`conf`	Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. FoSSaCS Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
2006	J	`jnl`	Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. IACR Cryptol. ePrint Arch. Michael Backes, Sebastian Mödersheim, Birgit Pfitzmann, Luca Viganò
2005	—	`conf`	A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System. CSFW Michael Backes, Markus Dürmuth
2005	—	`conf`	Anonymous yet accountable access control. WPES Michael Backes, Jan Camenisch, Dieter Sommer
2005	—	`conf`	Compositional Analysis of Contract Signing Protocols. CSFW Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
2005	J	`jnl`	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann, Andre Scedrov
2005	—	`conf`	Lazy Revocation in Cryptographic File Systems. IEEE Security in Storage Workshop Michael Backes, Christian Cachin, Alina Oprea
2005	A	`conf`	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. ESORICS Michael Backes, Birgit Pfitzmann
2005	J	`jnl`	Limits of the Cryptographic Realization of Dolev-Yao-style XOR. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann
2005	J	`jnl`	On Fairness in Simulatability-based Cryptographic Systems. IACR Cryptol. ePrint Arch. Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2005	—	`conf`	On fairness in simulatability-based cryptographic systems. FMSE Michael Backes, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh
2005	—	`conf`	Preface. SecCO@CONCUR Michael Backes, Andre Scedrov
2005	B	`conf`	Public-Key Steganography with Active Attacks. TCC Michael Backes, Christian Cachin
2005	A	`conf`	Quantifying Probabilistic Information Flow in Computational Reactive Systems. ESORICS Michael Backes
2005	J	`jnl`	Reactively secure signature schemes. Int. J. Inf. Sec. Michael Backes, Birgit Pfitzmann, Michael Waidner
2005	B	`conf`	Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. MFPS Michael Backes
2005	—	`conf`	Relating Symbolic and Cryptographic Secrecy. S&P Michael Backes, Birgit Pfitzmann
2005	J	`jnl`	Relating Symbolic and Cryptographic Secrecy. IEEE Trans. Dependable Secur. Comput. Michael Backes, Birgit Pfitzmann
2005	J	`jnl`	Secure Key-Updating for Lazy Revocation. IACR Cryptol. ePrint Arch. Michael Backes, Christian Cachin, Alina Oprea
2005	J	`jnl`	Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library. Int. J. Inf. Sec. Michael Backes, Birgit Pfitzmann, Michael Waidner
2005	—	`conf`	Tailoring the Dolev-Yao abstraction to web services realities. SWS Michael Backes, Thomas Groß
2005	J	`jnl`	Unifying simulatability definitions in cryptographic systems under different timing assumptions. J. Log. Algebraic Methods Program. Michael Backes
2004	A	`conf`	A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol. ESORICS Michael Backes
2004	B	`conf`	A General Composition Theorem for Secure Reactive Systems. TCC Michael Backes, Birgit Pfitzmann, Michael Waidner
2004	J	`jnl`	A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol. IEEE J. Sel. Areas Commun. Michael Backes, Birgit Pfitzmann
2004	A	`conf`	An Algebra for Composing Enterprise Privacy Policies. ESORICS Michael Backes, Markus Dürmuth, Rainer Steinwandt
2004	J	`jnl`	Computational probabilistic noninterference. Int. J. Inf. Sec. Michael Backes, Birgit Pfitzmann
2004	—	`—`	Cryptographically sound analysis of security protocols. Michael Backes
2004	Misc	`conf`	Efficient comparison of enterprise privacy policies. SAC Michael Backes, Günter Karjoth, Walid Bagga, Matthias Schunter
2004	C	`conf`	How to Break and Repair a Universally Composable Signature Functionality. ISC Michael Backes, Dennis Hofheinz
2004	—	`conf`	Justifying a Dolev-Yao Model Under Active Attacks. FOSAD Michael Backes, Birgit Pfitzmann, Michael Waidner
2004	C	`conf`	Low-Level Ideal Signatures and General Integrity Idealization. ISC Michael Backes, Birgit Pfitzmann, Michael Waidner
2004	J	`jnl`	Polynomial liveness. J. Comput. Secur. Michael Backes, Birgit Pfitzmann, Michael Waidner
2004	—	`ed.`	Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004 FMSE Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner
2004	J	`jnl`	Relating Symbolic and Cryptographic Secrecy. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann
2004	—	`conf`	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. CSFW Michael Backes, Birgit Pfitzmann
2004	J	`jnl`	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann
2004	J	`jnl`	The Reactive Simulatability (RSIM) Framework for Asynchronous Systems. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann, Michael Waidner
2004	—	`conf`	Unification in Privacy Policy Evaluation - Translating EPAL into Prolog. POLICY Michael Backes, Markus Dürmuth, Günter Karjoth
2003	—	`conf`	A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. FSTTCS Michael Backes, Birgit Pfitzmann
2003	J	`jnl`	A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann
2003	A	`conf`	A Toolkit for Managing Enterprise Privacy Policies. ESORICS Michael Backes, Birgit Pfitzmann, Matthias Schunter
2003	J	`jnl`	A Universally Composable Cryptographic Library. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	A*	`conf`	A composable cryptographic library with nested operations. CCS Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	A	`conf`	Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS Michael Backes, Christian Jacobi
2003	C	`conf`	From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification. NSPW Michael Backes, Matthias Schunter
2003	J	`jnl`	How to Break and Repair a Universally Composable Signature Functionality. IACR Cryptol. ePrint Arch. Michael Backes, Dennis Hofheinz
2003	—	`conf`	Intransitive Non-Interference for Cryptographic Purpose. S&P Michael Backes, Birgit Pfitzmann
2003	A*	`conf`	Proactive secure message transmission in asynchronous networks. PODC Michael Backes, Christian Cachin, Reto Strobl
2003	—	`ed.`	Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003 FMSE Michael Backes, David A. Basin
2003	J	`jnl`	Public-Key Steganography with Active Attacks. IACR Cryptol. ePrint Arch. Michael Backes, Christian Cachin
2003	C	`conf`	Reactively Secure Signature Schemes. ISC Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	—	`conf`	Relating cryptography and formal methods: a panel. FMSE Michael Backes, Catherine Meadows, John C. Mitchell
2003	A	`conf`	Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. DSN Michael Backes, Christian Cachin
2003	A	`conf`	Security in Business Process Engineering. Business Process Management Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	J	`jnl`	Symmetric Authentication Within a Simulatable Cryptographic Library. IACR Cryptol. ePrint Arch. Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	A	`conf`	Symmetric Authentication within a Simulatable Cryptographic Library. ESORICS Michael Backes, Birgit Pfitzmann, Michael Waidner
2003	B	`conf`	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. CONCUR Michael Backes
2003	J	`jnl`	Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. IACR Cryptol. ePrint Arch. Michael Backes
2002	A	`conf`	Computational Probabilistic Non-interference. ESORICS Michael Backes, Birgit Pfitzmann
2002	—	`conf`	Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME Michael Backes, Christian Jacobi, Birgit Pfitzmann
2002	—	`conf`	Polynomial Fairness and Liveness. CSFW Michael Backes, Birgit Pfitzmann, Michael Steiner, Michael Waidner