| 2026 | ACL | PeerCheck: Enhancing LLM-Generated Academic Reviews Towards Human-Level Quality. | Zeyuan Chen, Ziqing Yang, Yihan Ma, Michael Backes, Yang Zhang |
| 2026 | ACL | Rethinking Assessments of Prompt Injection Attacks. | Chi Cui, Yixin Wu, Michael Backes, Yang Zhang |
| 2026 | ACL | Open Schrdinger's Closed Box: Identifying Retrieval Augmented Generation in API-Accessible Large Language Model Services. | Yukun Jiang, Xinyue Shen, Michael Backes, Zheng Li, Yang Zhang |
| 2026 | ACL | Reward Yourself: Efficient Self Rewards for Trustworthy Sampling. | Mingjie Li, Wai Man Si, Michael Backes, Yang Zhang |
| 2026 | ACL | Pruning Unsafe Tickets: A Resource-Efficient Framework for Safer and More Robust LLMs. | Wai Man Si, Mingjie Li, Michael Backes, Yang Zhang |
| 2026 | ACL | InferPilot: Autonomous Inference Attacks Against ML Services With LLM-Based Agents. | Yixin Wu, Rui Wen, Chi Cui, Michael Backes, Yang Zhang |
| 2026 | ACL | Jailbreaking Attacks vs. Content Safety Filters: How Far Are We in the LLM Safety Arms Race? | Yuan Xin, Dingfan Chen, Linyi Yang, Michael Backes, Xiao Zhang |
| 2026 | ACL | Peering Behind the Shield: Guardrail Identification in Large Language Models. | Ziqing Yang, Yixin Wu, Rui Wen, Michael Backes, Yang Zhang |
| 2026 | ACL | DE-CLIP: Few-Shot Anomaly Detection via Difference-Guided Embedding Editing. | Yage Zhang, Yukun Jiang, Michael Backes, Yang Zhang |
| 2026 | ACL | The Art of (Mis)alignment: How Fine-Tuning Methods Effectively Misalign and Realign LLMs in Post-Training. | Rui Zhang, Hongwei Li, Yun Shen, Xinyue Shen, Wenbo Jiang, Guowen Xu, Yang Liu, Michael Backes, Yang Zhang |
| 2025 | ACL | When GPT Spills the Tea: Comprehensive Assessment of Knowledge File Leakage in GPTs. | Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang |
| 2025 | ACL | Are We in the AI-Generated Text World Already? Quantifying and Monitoring AIGT on Social Media. | Zhen Sun, Zongmin Zhang, Xinyue Shen, Ziyi Zhang, Yule Liu, Michael Backes, Yang Zhang, Xinlei He |
| 2025 | ACL | JailbreakRadar: Comprehensive Assessment of Jailbreak Attacks Against LLMs. | Junjie Chu, Yugeng Liu, Ziqing Yang, Xinyue Shen, Michael Backes, Yang Zhang |
| 2025 | CCS | DivTrackee versus DynTracker: Promoting Diversity in Anti-Facial Recognition against Dynamic FR Strategy. | Wenshu Fan, Minxing Zhang, Hongwei Li, Wenbo Jiang, Hanxiao Chen, Xiangyu Yue, Michael Backes, Xiao Zhang |
| 2025 | CCS | UnsafeBench: Benchmarking Image Safety Classifiers on Real-World and AI-Generated Images. | Yiting Qu, Xinyue Shen, Yixin Wu, Michael Backes, Savvas Zannettou, Yang Zhang |
| 2025 | EMNLP | Breaking Agents: Compromising Autonomous LLM Agents Through Malfunction Amplification. | Boyang Zhang, Yicong Tan, Yun Shen, Ahmed Salem, Michael Backes, Savvas Zannettou, Yang Zhang |
| 2025 | ICCV | Hate in Plain Sight: On the Risks of Moderating AI-Generated Hateful Illusions. | Yiting Qu, Ziqing Yang, Yihan Ma, Michael Backes, Savvas Zannettou, Yang Zhang |
| 2025 | ICLR | SaLoRA: Safety-Alignment Preserved Low-Rank Adaptation. | Mingjie Li, Wai Man Si, Michael Backes, Yang Zhang, Yisen Wang |
| 2025 | ICLR | Captured by Captions: On Memorization and its Mitigation in CLIP Models. | Wenhao Wang, Adam Dziedzic, Grace C. Kim, Michael Backes, Franziska Boenisch |
| 2025 | ICML | Efficient and Privacy-Preserving Soft Prompt Transfer for LLMs. | Xun Wang, Jing Xu, Franziska Boenisch, Michael Backes, Christopher A. Choquette-Choo, Adam Dziedzic |
| 2025 | ICML | Provably Cost-Sensitive Adversarial Defense via Randomized Smoothing. | Yuan Xin, Dingfan Chen, Michael Backes, Xiao Zhang |
| 2025 | NDSS | Understanding Data Importance in Machine Learning Attacks: Does Valuable Data Pose Greater Harm? | Rui Wen, Michael Backes, Yang Zhang |
| 2025 | SP | GPTracker: A Large-Scale Measurement of Misused GPTs. | Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang |
| 2025 | SP | On the Effectiveness of Prompt Stealing Attacks on In-the-Wild Prompts. | Yicong Tan, Xinyue Shen, Yun Shen, Michael Backes, Yang Zhang |
| 2024 | AsiaCCS | FAKEPCD: Fake Point Cloud Detection via Source Attribution. | Yiting Qu, Zhikun Zhang, Yun Shen, Michael Backes, Yang Zhang |
| 2024 | CCS | MGTBench: Benchmarking Machine-Generated Text Detection. | Xinlei He, Xinyue Shen, Zeyuan Chen, Michael Backes, Yang Zhang |
| 2024 | CCS | ZeroFake: Zero-Shot Detection of Fake Images Generated and Edited by Text-to-Image Generation Models. | Zeyang Sha, Yicong Tan, Mingjie Li, Michael Backes, Yang Zhang |
| 2024 | CCS | "Do Anything Now": Characterizing and Evaluating In-The-Wild Jailbreak Prompts on Large Language Models. | Xinyue Shen, Zeyuan Chen, Michael Backes, Yun Shen, Yang Zhang |
| 2024 | CCS | Membership Inference Attacks Against In-Context Learning. | Rui Wen, Zheng Li, Michael Backes, Yang Zhang |
| 2024 | CCS | Image-Perfect Imperfections: Safety, Bias, and Authenticity in the Shadow of Text-To-Image Model Evolution. | Yixin Wu, Yun Shen, Michael Backes, Yang Zhang |
| 2024 | ECAI | Inside the Black Box: Detecting Data Leakage in Pre-Trained Language Encoders. | Yuan Xin, Zheng Li, Ning Yu, Dingfan Chen, Mario Fritz, Michael Backes, Yang Zhang |
| 2024 | EMNLP | Reconstruct Your Previous Conversations! Comprehensively Investigating Privacy Leakage Risks in Conversations with GPT Models. | Junjie Chu, Zeyang Sha, Michael Backes, Yang Zhang |
| 2024 | EMNLP | ModSCAN: Measuring Stereotypical Bias in Large Vision-Language Models from Vision and Language Modalities. | Yukun Jiang, Zheng Li, Xinyue Shen, Yugeng Liu, Michael Backes, Yang Zhang |
| 2024 | EMNLP | The Death and Life of Great Prompts: Analyzing the Evolution of LLM Prompts from the Structural Perspective. | Yihan Ma, Xinyue Shen, Yixin Wu, Boyang Zhang, Michael Backes, Yang Zhang |
| 2024 | ICASSP | Detection and Attribution of Models Trained on Generated Data. | Ge Han, Ahmed Salem, Zheng Li, Shanqing Guo, Michael Backes, Yang Zhang |
| 2024 | ICLR | Memorization in Self-Supervised Learning Improves Downstream Generalization. | Wenhao Wang, Muhammad Ahmad Kaleem, Adam Dziedzic, Michael Backes, Nicolas Papernot, Franziska Boenisch |
| 2024 | ICML | Position: TrustLLM: Trustworthiness in Large Language Models. | 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 | ICWSM | Games and Beyond: Analyzing the Bullet Chats of Esports Livestreaming. | Yukun Jiang, Xinyue Shen, Rui Wen, Zeyang Sha, Junjie Chu, Yugeng Liu, Michael Backes, Yang Zhang |
| 2024 | NAACL | Composite Backdoor Attacks Against Large Language Models. | Hai Huang, Zhengyu Zhao, Michael Backes, Yun Shen, Yang Zhang |
| 2024 | WACV | Generated Distributions Are All You Need for Membership Inference Attacks Against Generative Models. | Minxing Zhang, Ning Yu, Rui Wen, Michael Backes, Yang Zhang |
| 2024 | SP | Measuring the Effects of Stack Overflow Code Snippet Evolution on Open-Source Software Security. | Alfusainey Jallow, Michael Schilling, Michael Backes, Sven Bugiel |
| 2023 | CCS | Unsafe Diffusion: On the Generation of Unsafe Images and Hateful Memes From Text-To-Image Models. | Yiting Qu, Xinyue Shen, Xinlei He, Michael Backes, Savvas Zannettou, Yang Zhang |
| 2023 | CVPR | Can't Steal? Cont-Steal! Contrastive Stealing Attacks Against Image Encoders. | Zeyang Sha, Xinlei He, Ning Yu, Michael Backes, Yang Zhang |
| 2023 | ICLR | Is Adversarial Training Really a Silver Bullet for Mitigating Data Poisoning? | Rui Wen, Zhengyu Zhao, Zhuoran Liu, Michael Backes, Tianhao Wang, Yang Zhang |
| 2023 | ICML | Data Poisoning Attacks Against Multimodal Encoders. | Ziqing Yang, Xinlei He, Zheng Li, Michael Backes, Mathias Humbert, Pascal Berrang, Yang Zhang |
| 2023 | ICML | Generated Graph Detection. | Yihan Ma, Zhikun Zhang, Ning Yu, Xinlei He, Michael Backes, Yun Shen, Yang Zhang |
| 2023 | NDSS | Backdoor Attacks Against Dataset Distillation. | Yugeng Liu, Zheng Li, Michael Backes, Yun Shen, Yang Zhang |
| 2023 | NDSS | A Systematic Study of the Consistency of Two-Factor Authentication User Journeys on Top-Ranked Websites. | Sanam Ghorbani Lyastani, Michael Backes, Sven Bugiel |
| 2023 | SP | On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning. | Yiting Qu, Xinlei He, Shannon Pierson, Michael Backes, Yang Zhang, Savvas Zannettou |
| 2023 | SACMAT | SEAL: Capability-Based Access Control for Data-Analytic Scenarios. | Hamed Rasifard, Rahul Gopinath, Michael Backes, Hamed Nemati |
| 2022 | CCS | Graph Unlearning. | Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang |
| 2022 | CCS | On the Privacy Risks of Cell-Based NAS Architectures. | Hai Huang, Zhikun Zhang, Yun Shen, Michael Backes, Qi Li, Yang Zhang |
| 2022 | CCS | Auditing Membership Leakages of Multi-Exit Networks. | Zheng Li, Yiyong Liu, Xinlei He, Ning Yu, Michael Backes, Yang Zhang |
| 2022 | CCS | Membership Inference Attacks by Exploiting Loss Trajectory. | Yiyong Liu, Zhengyu Zhao, Michael Backes, Yang Zhang |
| 2022 | CCS | Freely Given Consent?: Studying Consent Notice of Third-Party Tracking and Its Violations of GDPR in Android Apps. | Trung Tin Nguyen, Michael Backes, Ben Stock |
| 2022 | CCS | Finding MNEMON: Reviving Memories of Node Embeddings. | Yun Shen, Yufei Han, Zhikun Zhang, Min Chen, Ting Yu, Michael Backes, Yang Zhang, Gianluca Stringhini |
| 2022 | CCS | Why So Toxic?: Measuring and Triggering Toxic Behavior in Open-Domain Chatbots. | Wai Man Si, Michael Backes, Jeremy Blackburn, Emiliano De Cristofaro, Gianluca Stringhini, Savvas Zannettou, Yang Zhang |
| 2022 | ESORICS | A Framework for Constructing Single Secret Leader Election from MPC. | Michael Backes, Pascal Berrang, Lucjan Hanzlik, Ivan Pryvalov |
| 2022 | ICWSM | On Xing Tian and the Perseverance of Anti-China Sentiment Online. | Xinyue Shen, Xinlei He, Michael Backes, Jeremy Blackburn, Savvas Zannettou, Yang Zhang |
| 2022 | NDSS | Get a Model! Model Hijacking Attack Against Machine Learning Models. | Ahmed Salem, Michael Backes, Yang Zhang |
| 2022 | SOUPS | Industrial practitioners' mental models of adversarial machine learning. | Lukas Bieringer, Kathrin Grosse, Michael Backes, Battista Biggio, Katharina Krombholz |
| 2021 | ACSAC | BadNL: Backdoor Attacks against NLP Models with Semantic-preserving Improvements. | Xiaoyi Chen, Ahmed Salem, Dingfan Chen, Michael Backes, Shiqing Ma, Qingni Shen, Zhonghai Wu, Yang Zhang |
| 2021 | AsiaCCS | Measuring User Perception for Detecting Unexpected Access to Sensitive Resource in Mobile Apps. | Trung Tin Nguyen, Duc Cuong Nguyen, Michael Schilling, Gang Wang, Michael Backes |
| 2021 | CCS | When Machine Unlearning Jeopardizes Privacy. | Min Chen, Zhikun Zhang, Tianhao Wang, Michael Backes, Mathias Humbert, Yang Zhang |
| 2021 | CCS | DoubleX: Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale. | Aurore Fass, Dolire Francis Som, Michael Backes, Ben Stock |
| 2021 | CCS | 12 Angry Developers - A Qualitative Study on Developers' Struggles with CSP. | Sebastian Roth, Lea Grber, Michael Backes, Katharina Krombholz, Ben Stock |
| 2021 | CVPR | MLCapsule: Guarded Offline Deployment of Machine Learning as a Service. | Lucjan Hanzlik, Yang Zhang, Kathrin Grosse, Ahmed Salem, Maximilian Augustin, Michael Backes, Mario Fritz |
| 2021 | DSN | Statically Detecting JavaScript Obfuscation and Minification Techniques in the Wild. | Marvin Moog, Markus Demmel, Michael Backes, Aurore Fass |
| 2021 | SDM | Do winning tickets exist before DNN training? | Kathrin Grosse, Michael Backes |
| 2020 | ACNS | TrollThrottle - Raising the Cost of Astroturfing. | Ilkan Esiyok, Lucjan Hanzlik, Robert Knnemann, Lena Marie Budde, Michael Backes |
| 2020 | ACSAC | Up2Dep: Android Tool Support to Fix Insecure Code Dependencies. | Duc Cuong Nguyen, Erik Derr, Michael Backes, Sven Bugiel |
| 2020 | CCS | Assessing the Impact of Script Gadgets on CSP at Scale. | Sebastian Roth, Michael Backes, Ben Stock |
| 2020 | ETRA | Adversarial Attacks on Classifiers for Eye-based User Modelling. | Inken Hagestedt, Michael Backes, Andreas Bulling |
| 2020 | ICANN | On the Security Relevance of Initial Weights in Deep Neural Networks. | Kathrin Grosse, Thomas Alexander Trost, Marius Mosbach, Michael Backes, Dietrich Klakow |
| 2020 | ICPR | Killing Four Birds with one Gaussian Process: The Relation between different Test-Time Attacks. | Kathrin Grosse, Michael T. Smith, Michael Backes |
| 2020 | NDSS | Towards Plausible Graph Anonymization. | Yang Zhang, Mathias Humbert, Bartlomiej Surma, Praveen Manoharan, Jilles Vreeken, Michael Backes |
| 2020 | SP | Is FIDO2 the Kingslayer of User Authentication? A Comparative Usability Study of FIDO2 Passwordless Authentication. | Sanam Ghorbani Lyastani, Michael Schilling, Michaela Neumayr, Michael Backes, Sven Bugiel |
| 2019 | ACSAC | JStap: a static pre-filter for malicious JavaScript detection. | Aurore Fass, Michael Backes, Ben Stock |
| 2019 | CCS | Membership Privacy for Fully Dynamic Group Signatures. | Michael Backes, Lucjan Hanzlik, Jonas Schneider-Bensch |
| 2019 | CCS | HideNoSeek: Camouflaging Malicious JavaScript in Benign ASTs. | Aurore Fass, Michael Backes, Ben Stock |
| 2019 | CCS | MemGuard: Defending against Black-Box Membership Inference Attacks via Adversarial Examples. | Jinyuan Jia, Ahmed Salem, Michael Backes, Yang Zhang, Neil Zhenqiang Gong |
| 2019 | EuroCrypt | Ring Signatures: Logarithmic-Size, No Setup - from Standard Assumptions. | Michael Backes, Nico Dttling, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider |
| 2019 | IJCAI | Fairwalk: Towards Fair Graph Embedding. | Tahleen A. Rahman, Bartlomiej Surma, Michael Backes, Yang Zhang |
| 2019 | NDSS | MBeacon: Privacy-Preserving Beacons for DNA Methylation Data. | Inken Hagestedt, Yang Zhang, Mathias Humbert, Pascal Berrang, Haixu Tang, XiaoFeng Wang, Michael Backes |
| 2019 | NDSS | ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models. | Ahmed Salem, Yang Zhang, Mathias Humbert, Pascal Berrang, Mario Fritz, Michael Backes |
| 2019 | PKC | Efficient Non-Interactive Zero-Knowledge Proofs in Cross-Domains Without Trusted Setup. | Michael Backes, Lucjan Hanzlik, Amir Herzberg, Aniket Kate, Ivan Pryvalov |
| 2019 | SAC | Towards automated network mitigation analysis. | Patrick Speicher, Marcel Steinmetz, Jrg Hoffmann, Michael Backes, Robert Knnemann |
| 2019 | SP | Fidelius: Protecting User Secrets from Compromised Browsers. | 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 | SP | Short Text, Large Effect: Measuring the Impact of User Reviews on Android App Security & Privacy. | Duc Cuong Nguyen, Erik Derr, Michael Backes, Sven Bugiel |
| 2018 | AAAI | Stackelberg Planning: Towards Effective Leader-Follower State Space Search. | Patrick Speicher, Marcel Steinmetz, Michael Backes, Jrg Hoffmann, Robert Knnemann |
| 2018 | ASIACRYPT | Signatures with Flexible Public Key: Introducing Equivalence Classes for Public Keys. | Michael Backes, Lucjan Hanzlik, Kamil Kluczniak, Jonas Schneider |
| 2018 | DIMVA | JaSt: Fully Syntactic Detection of Malicious (Obfuscated) JavaScript. | Aurore Fass, Robert P. Krawczyk, Michael Backes, Ben Stock |
| 2018 | NDSS | Didn't You Hear Me? - Towards More Successful Web Vulnerability Notifications. | Ben Stock, Giancarlo Pellegrino, Frank Li, Michael Backes, Christian Rossow |
| 2018 | WWW | Tagvisor: A Privacy Advisor for Sharing Hashtags. | Yang Zhang, Mathias Humbert, Tahleen A. Rahman, Cheng-Te Li, Jun Pang, Michael Backes |
| 2018 | SP | The Rise of the Citizen Developer: Assessing the Security Impact of Online App Generators. | Marten Oltrogge, Erik Derr, Christian Stransky, Yasemin Acar, Sascha Fahl, Christian Rossow, Giancarlo Pellegrino, Sven Bugiel, Michael Backes |
| 2018 | SP | Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels. | Meng Xu, Chenxiong Qian, Kangjie Lu, Michael Backes, Taesoo Kim |
| 2017 | CCS | walk2friends: Inferring Social Links from Mobility Profiles. | Michael Backes, Mathias Humbert, Jun Pang, Yang Zhang |
| 2017 | CCS | Keep me Updated: An Empirical Study of Third-Party Library Updatability on Android. | Erik Derr, Sven Bugiel, Sascha Fahl, Yasemin Acar, Michael Backes |
| 2017 | CCS | The ART of App Compartmentalization: Compiler-based Library Privilege Separation on Stock Android. | Jie Huang, Oliver Schranz, Sven Bugiel, Michael Backes |
| 2017 | CCS | A Stitch in Time: Supporting Android Developers in WritingSecure Code. | Duc Cuong Nguyen, Dominik Wermke, Yasemin Acar, Michael Backes, Charles Weir, Sascha Fahl |
| 2017 | CCS | Deemon: Detecting CSRF with Dynamic Analysis and Property Graphs. | Giancarlo Pellegrino, Martin Johns, Simon Koch, Michael Backes, Christian Rossow |
| 2017 | ESORICS | Adversarial Examples for Malware Detection. | Kathrin Grosse, Nicolas Papernot, Praveen Manoharan, Michael Backes, Patrick D. McDaniel |
| 2017 | NDSS | Unleashing Use-Before-Initialization Vulnerabilities in the Linux Kernel Using Targeted Stack Spraying. | Kangjie Lu, Marie-Therese Walter, David Pfaff, Stefan Nmberger, Wenke Lee, Michael Backes |
| 2017 | NDSS | Dachshund: Digging for and Securing (Non-)Blinded Constants in JIT Code. | Giorgi Maisuradze, Michael Backes, Christian Rossow |
| 2017 | RAID | Linking Amplification DDoS Attacks to Booter Services. | Johannes Krupp, Mohammad Karami, Christian Rossow, Damon McCoy, Michael Backes |
| 2017 | WWW | Who Controls the Internet?: Analyzing Global Threats using Property Graph Traversals. | Milivoj Simeonovski, Giancarlo Pellegrino, Christian Rossow, Michael Backes |
| 2017 | SP | Identifying Personal DNA Methylation Profiles by Genotype Inference. | Michael Backes, Pascal Berrang, Matthias Bieg, Roland Eils, Carl Herrmann, Mathias Humbert, Irina Lehmann |
| 2017 | SP | Seamless In-App Ad Blocking on Stock Android. | Michael Backes, Sven Bugiel, Philipp von Styp-Rekowsky, Marvin WiBfeld |
| 2017 | SP | Comparing the Usability of Cryptographic APIs. | Yasemin Acar, Michael Backes, Sascha Fahl, Simson L. Garfinkel, Doowon Kim, Michelle L. Mazurek, Christian Stransky |
| 2017 | SP | Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security. | Felix Fischer, Konstantin Bttinger, Huang Xiao, Christian Stransky, Yasemin Acar, Michael Backes, Sascha Fahl |
| 2016 | CCS | Reliable Third-Party Library Detection in Android and its Security Applications. | Michael Backes, Sven Bugiel, Erik Derr |
| 2016 | CCS | R-Droid: Leveraging Android App Analysis with Static Slice Optimization. | Michael Backes, Sven Bugiel, Erik Derr, Sebastian Gerling, Christian Hammer |
| 2016 | CCS | Membership Privacy in MicroRNA-based Studies. | Michael Backes, Pascal Berrang, Mathias Humbert, Praveen Manoharan |
| 2016 | CCS | POSTER: The ART of App Compartmentalization. | Michael Backes, Sven Bugiel, Jie Huang, Oliver Schranz |
| 2016 | CCS | Computational Soundness for Dalvik Bytecode. | Michael Backes, Robert Knnemann, Esfandiar Mohammadi |
| 2016 | CCS | RamCrypt: Kernel-based Address Space Encryption for User-mode Processes. | Johannes Gtzfried, Tilo Mller, Gabor Drescher, Stefan Nrnberger, Michael Backes |
| 2016 | CCS | Identifying the Scan and Attack Infrastructures Behind Amplification DDoS Attacks. | Johannes Krupp, Michael Backes, Christian Rossow |
| 2016 | CCS | Efficient Cryptographic Password Hardening Services from Partially Oblivious Commitments. | Jonas Schneider, Nils Fleischhacker, Dominique Schrder, Michael Backes |
| 2016 | CCS | POSTER: Mapping the Landscape of Large-Scale Vulnerability Notifications. | Ben Stock, Giancarlo Pellegrino, Christian Rossow, Martin Johns, Michael Backes |
| 2016 | DIMVA | Detecting Hardware-Assisted Virtualization. | Michael Brengel, Michael Backes, Christian Rossow |
| 2016 | ESORICS | Anonymous RAM. | Michael Backes, Amir Herzberg, Aniket Kate, Ivan Pryvalov |
| 2016 | NDSS | How to Make ASLR Win the Clone Wars: Runtime Re-Randomization. | Kangjie Lu, Wenke Lee, Stefan Nrnberger, Michael Backes |
| 2016 | PKC | Delegatable Functional Signatures. | Michael Backes, Sebastian Meiser, Dominique Schrder |
| 2016 | RAID | On the Feasibility of TTL-Based Filtering for DRDoS Mitigation. | Michael Backes, Thorsten Holz, Christian Rossow, Teemu Rytilahti, Milivoj Simeonovski, Ben Stock |
| 2016 | RAID | SandPrint: Fingerprinting Malware Sandboxes to Provide Intelligence for Sandbox Evasion. | Akira Yokoyama, Kou Ishii, Rui Tanabe, Yinmin Papa, Katsunari Yoshioka, Tsutomu Matsumoto, Takahiro Kasama, Daisuke Inoue, Michael Brengel, Michael Backes, Christian Rossow |
| 2016 | SAC | Implementation-level analysis of the JavaScript helios voting client. | Michael Backes, Christian Hammer, David Pfaff, Malte Skoruppa |
| 2016 | SP | SoK: Lessons Learned from Android Security Research for Appified Software Platforms. | Yasemin Acar, Michael Backes, Sven Bugiel, Sascha Fahl, Patrick D. McDaniel, Matthew Smith |
| 2016 | SP | You Get Where You're Looking for: The Impact of Information Sources on Code Security. | Yasemin Acar, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek, Christian Stransky |
| 2015 | ACNS | Secrecy Without Perfect Randomness: Cryptography with (Bounded) Weak Sources. | Michael Backes, Aniket Kate, Sebastian Meiser, Tim Ruffing |
| 2015 | ACNS | Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information. | Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar, Michael Backes, Ninja Marnau, Peter Druschel |
| 2015 | CCS | Fully Secure Inner-Product Proxy Re-Encryption with Constant Size Ciphertext. | Michael Backes, Martin Gagn, Sri Aravinda Krishnan Thyagarajan |
| 2015 | CCS | POSTER: In the Net of the Spider: Measuring the Anonymity-Impact of Network-level Adversaries Against Tor. | Michael Backes, Simon Koch, Sebastian Meiser, Esfandiar Mohammadi, Christian Rossow |
| 2015 | CCS | POSTER: Towards Compiler-Assisted Taint Tracking on the Android Runtime (ART). | Michael Backes, Oliver Schranz, Philipp von Styp-Rekowsky |
| 2015 | ESORICS | Computational Soundness for Interactive Primitives. | Michael Backes, Esfandiar Mohammadi, Tim Ruffing |
| 2015 | SP | ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. | Michael Backes, Manuel Barbosa, Dario Fiore, Raphael M. Reischuk |
| 2014 | ACNS | BackRef: Accountability in Anonymous Communication Networks. | Michael Backes, Jeremy Clark, Aniket Kate, Milivoj Simeonovski, Peter Druschel |
| 2014 | ACNS | WebTrust - A Comprehensive Authenticity and Integrity Framework for HTTP. | Michael Backes, Rainer W. Gerling, Sebastian Gerling, Stefan Nrnberger, Dominique Schrder, Mark Simkin |
| 2014 | ACSAC | Scippa: system-centric IPC provenance on Android. | Michael Backes, Sven Bugiel, Sebastian Gerling |
| 2014 | ACSAC | Android security framework: extensible multi-layered access control on Android. | Michael Backes, Sven Bugiel, Sebastian Gerling, Philipp von Styp-Rekowsky |
| 2014 | CCS | You Can Run but You Can't Read: Preventing Disclosure Exploits in Executable Code. | Michael Backes, Thorsten Holz, Benjamin Kollenda, Philipp Koppe, Stefan Nrnberger, Jannik Pewny |
| 2014 | CCS | (Nothing else) MATor(s): Monitoring the Anonymity of Tor's Path Selection. | Michael Backes, Aniket Kate, Sebastian Meiser, Esfandiar Mohammadi |
| 2014 | PODC | Asynchronous MPC with a strict honest majority using non-equivocation. | Michael Backes, Fabian Bendun, Ashish Choudhury, Aniket Kate |
| 2014 | SAC | X-pire 2.0: a user-controlled expiration date and copy protection mechanism. | Michael Backes, Sebastian Gerling, Stefan Lorenz, Stephan Lukas |
| 2013 | CCS | Verifiable delegation of computation on outsourced data. | Michael Backes, Dario Fiore, Raphael M. Reischuk |
| 2013 | ESORICS | Privacy-Preserving Accountable Computation. | Michael Backes, Dario Fiore, Esfandiar Mohammadi |
| 2013 | ESORICS | AppGuard - Fine-Grained Policy Enforcement for Untrusted Android Applications. | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
| 2013 | ESORICS | Differentially Private Smart Metering with Battery Recharging. | Michael Backes, Sebastian Meiser |
| 2013 | NDSS | Preventing Side-Channel Leaks in Web Traffic: A Formal Approach. | Michael Backes, Goran Doychev, Boris Kpf |
| 2013 | TACAS | AppGuard - Enforcing User Requirements on Android Apps. | Michael Backes, Sebastian Gerling, Christian Hammer, Matteo Maffei, Philipp von Styp-Rekowsky |
| 2012 | CCS | Adding query privacy to robust DHTs. | Michael Backes, Ian Goldberg, Aniket Kate, Tomas Toft |
| 2012 | CCS | Computational soundness without protocol restrictions. | Michael Backes, Ankit Malik, Dominique Unruh |
| 2012 | ISVC | Diffusion-Based Image Compression in Steganography. | Markus Mainberger, Christian Schmaltz, Matthias Berg, Joachim Weickert, Michael Backes |
| 2012 | NDSS | Automated Synthesis of Secure Distributed Applications. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2012 | PODC | Brief announcement: distributed cryptography using trinc. | Michael Backes, Fabian Bendun, Aniket Kate |
| 2012 | WWW | SAFE extensibility of data-driven web applications. | Raphael M. Reischuk, Michael Backes, Johannes Gehrke |
| 2012 | SP | ObliviAd: Provably Secure and Practical Online Behavioral Advertising. | Michael Backes, Aniket Kate, Matteo Maffei, Kim Pecina |
| 2011 | ASIACRYPT | Computational Verifiable Secret Sharing Revisited. | Michael Backes, Aniket Kate, Arpita Patra |
| 2011 | CCS | Non-uniform distributions in quantitative information-flow. | Michael Backes, Matthias Berg, Boris Kpf |
| 2011 | CPP | Automatically Verifying Typing Constraints for a Data Processing Language. | Michael Backes, Catalin Hritcu, Thorsten Tarrach |
| 2011 | NDSS | A Security API for Distributed Social Networks. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2011 | PODC | Securing social networks. | Michael Backes, Matteo Maffei, Kim Pecina |
| 2010 | CCS | Computationally sound verification of source code. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2010 | ESORICS | RatFish: A File Sharing Protocol Provably Secure against Rational Users. | Michael Backes, Oana Ciobotaru, Anton Krohmer |
| 2010 | ESORICS | Speaker Recognition in Encrypted Voice Streams. | Michael Backes, Goran Doychev, Markus Drmuth, Boris Kpf |
| 2010 | PODC | Brief announcement: anonymity and trust in distributed systems. | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
| 2009 | CCS | CoSP: a general framework for computational soundness proofs. | Michael Backes, Dennis Hofheinz, Dominique Unruh |
| 2009 | NDSS | CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable. | Michael Backes, Peter Druschel, Andreas Haeberlen, Dominique Unruh |
| 2009 | SP | Tempest in a Teapot: Compromising Reflections Revisited. | Michael Backes, Tongbo Chen, Markus Drmuth, Hendrik P. A. Lensch, Martin Welk |
| 2009 | SP | Automatic Discovery and Quantification of Information Leaks. | Michael Backes, Boris Kpf, Andrey Rybalchenko |
| 2008 | ASIACRYPT | OAEP Is Secure under Key-Dependent Messages. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2008 | ASIACRYPT | Limits of Constructive Security Proofs. | Michael Backes, Dominique Unruh |
| 2008 | CAV | The CASPA Tool: Causality-Based Abstraction for Security Protocol Analysis. | Michael Backes, Stefan Lorenz, Matteo Maffei, Kim Pecina |
| 2008 | CCS | Type-checking zero-knowledge. | Michael Backes, Catalin Hritcu, Matteo Maffei |
| 2008 | ESORICS | Formally Bounding the Side-Channel Leakage in Unknown-Message Attacks. | Michael Backes, Boris Kpf |
| 2008 | LPAR | A Formal Language for Cryptographic Pseudocode. | Michael Backes, Matthias Berg, Dominique Unruh |
| 2008 | PODC | Anonymous and censorship resistant content sharing in unstructured overlays. | Michael Backes, Marek Hamerlik, Alessandro Linari, Matteo Maffei, Christos Tryfonopoulos, Gerhard Weikum |
| 2008 | SP | Compromising Reflections-or-How to Read LCD Monitors around the Corner. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2008 | SP | Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol. | Michael Backes, Matteo Maffei, Dominique Unruh |
| 2007 | CCS | A calculus of challenges and responses. | Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei |
| 2007 | SP | Information Flow in the Peer-Reviewing Process. | Michael Backes, Markus Drmuth, Dominique Unruh |
| 2007 | TCC | On the Necessity of Rewinding in Secure Multiparty Computation. | Michael Backes, Jrn Mller-Quade, Dominique Unruh |
| 2006 | CCS | Computationally sound secrecy proofs by mechanized flow analysis. | Michael Backes, Peeter Laud |
| 2006 | ESORICS | Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos. | Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay |
| 2006 | ESORICS | Secure Key-Updating for Lazy Revocation. | Michael Backes, Christian Cachin, Alina Oprea |
| 2006 | ESORICS | Conditional Reactive Simulatability. | Michael Backes, Markus Drmuth, Dennis Hofheinz, Ralf Ksters |
| 2006 | ESORICS | Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | FM | Formal Methods and Cryptography. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | FOSSACS | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario. | Michael Backes, Sebastian Mdersheim, Birgit Pfitzmann, Luca Vigan |
| 2006 | SEC | On the Cryptographic Key Secrecy of the Strengthened Yahalom Protocol. | Michael Backes, Birgit Pfitzmann |
| 2005 | CCS | On fairness in simulatability-based cryptographic systems. | Michael Backes, Dennis Hofheinz, Jrn Mller-Quade, Dominique Unruh |
| 2005 | ESORICS | Quantifying Probabilistic Information Flow in Computational Reactive Systems. | Michael Backes |
| 2005 | ESORICS | Limits of the Cryptographic Realization of Dolev-Yao-Style XOR. | Michael Backes, Birgit Pfitzmann |
| 2005 | SP | Relating Symbolic and Cryptographic Secrecy. | Michael Backes, Birgit Pfitzmann |
| 2005 | TCC | Public-Key Steganography with Active Attacks. | Michael Backes, Christian Cachin |
| 2004 | ESORICS | A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol. | Michael Backes |
| 2004 | ESORICS | An Algebra for Composing Enterprise Privacy Policies. | Michael Backes, Markus Drmuth, Rainer Steinwandt |
| 2004 | SAC | Efficient comparison of enterprise privacy policies. | Michael Backes, Gnter Karjoth, Walid Bagga, Matthias Schunter |
| 2004 | TCC | A General Composition Theorem for Secure Reactive Systems. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | BPM | Security in Business Process Engineering. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | CCS | Relating cryptography and formal methods: a panel. | Michael Backes, Catherine Meadows, John C. Mitchell |
| 2003 | CCS | A composable cryptographic library with nested operations. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | CONCUR | Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. | Michael Backes |
| 2003 | DSN | Reliable Broadcast in a Computational Hybrid Model with Byzantine Faults, Crashes, and Recoveries. | Michael Backes, Christian Cachin |
| 2003 | ESORICS | A Toolkit for Managing Enterprise Privacy Policies. | Michael Backes, Birgit Pfitzmann, Matthias Schunter |
| 2003 | ESORICS | Symmetric Authentication within a Simulatable Cryptographic Library. | Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2003 | NSPW | From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification. | Michael Backes, Matthias Schunter |
| 2003 | PODC | Proactive secure message transmission in asynchronous networks. | Michael Backes, Christian Cachin, Reto Strobl |
| 2003 | SP | Intransitive Non-Interference for Cryptographic Purpose. | Michael Backes, Birgit Pfitzmann |
| 2003 | STACS | Cryptographically Sound and Machine-Assisted Verification of Security Protocols. | Michael Backes, Christian Jacobi |
| 2002 | ESORICS | Computational Probabilistic Non-interference. | Michael Backes, Birgit Pfitzmann |
| 2002 | FM | Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. | Michael Backes, Christian Jacobi, Birgit Pfitzmann |
| 1988 | SIGGRAPH | The reality of computer graphics in the motion picture industry. | Michael Wahrman, Richard Hollander, Michael Backes, Martha Coolidge |