SP

Publications

2023

Maximilian Noppel, Lukas Peter, Christian Wressnegger
Disguising Attacks with Explanation-Aware Backdoors. SP (2023)
Erik-Oliver Blass, Florian Kerschbaum
Private Collaborative Data Cleaning via Non-Equi PSI. SP (2023)
Dilara Keküllüoglu, Yasemin Acar
"We are a startup to the core": A qualitative interview study on the security and privacy development practices in Turkish software startups. SP (2023)
HyungSeok Han, JeongOh Kyea, Yonghwi Jin, Jinoh Kang, Brian Pak, Insu Yun
QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries. SP (2023)
Michael Rosenberg, Jacob D. White, Christina Garman, Ian Miers
zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure. SP (2023)
Imtiaz Karim, Abdullah Al Ishtiaq, Syed Rafiul Hussain, Elisa Bertino
BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations. SP (2023)
Tiantian Liu, Feng Lin, Zhangsen Wang, Chao Wang, Zhongjie Ba, Li Lu, Wenyao Xu, Kui Ren
MagBackdoor: Beware of Your Loudspeaker as A Backdoor For Magnetic Injection Attacks. SP (2023)
Kavita Kumari, Phillip Rieger, Hossein Fereidooni, Murtuza Jadliwala, Ahmad-Reza Sadeghi
BayBFed: Bayesian Backdoor Defense for Federated Learning. SP (2023)
Zheyue Jiang, Yuan Zhang, Jun Xu, Xinqian Sun, Zhuang Liu, Min Yang
AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities. SP (2023)
Linyi Li, Tao Xie, Bo Li
SoK: Certified Robustness for Deep Neural Networks. SP (2023)
Hao-Ping Hank Lee, Jacob Logas, Stephanie Yang, Zhouyu Li, Natã M. Barbosa, Yang Wang, Sauvik Das
When and Why Do People Want Ad Targeting Explanations? Evidence from a Four-Week, Mixed-Methods Field Study. SP (2023)
Yacong Gu, Lingyun Ying, Huajun Chai, Chu Qiao, Haixin Duan, Xing Gao
Continuous Intrusion: Characterizing the Security of Continuous Integration Services. SP (2023)
Yan Long, Chen Yan, Shilin Xiao, Shivan Prasad, Wenyuan Xu, Kevin Fu
Private Eye: On the Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing. SP (2023)
Huiyu Fang, Liquan Chen, Yali Liu, Yuan Gao
Locally Differentially Private Frequency Estimation Based on Convolution Framework. SP (2023)
Xueluan Gong, Yanjiao Chen, Wang Yang, Qian Wang, Yuzhe Gu, Huayang Huang, Chao Shen
Redeem Myself: Purifying Backdoors in Deep Learning Models using Self Attention Distillation. SP (2023)
Zizhi Jin, Xiaoyu Ji, Yushi Cheng, Bo Yang, Chen Yan, Wenyuan Xu
PLA-LiDAR: Physical Laser Attacks against LiDAR-based 3D Object Detection in Autonomous Vehicle. SP (2023)
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. SP (2023)
Haoyang Li, Qingqing Ye, Haibo Hu, Jin Li, Leixia Wang, Chengfang Fang, Jie Shi
3DFed: Adaptive and Extensible Framework for Covert Backdoor Attack in Federated Learning. SP (2023)
Nina Bindel, Cas Cremers, Mang Zhao
FIDO2, CTAP 2.1, and WebAuthn 2: Provable Security and Post-Quantum Instantiation. SP (2023)
Zhen Sun, Vitaly Shmatikov
Telepath: A Minecraft-based Covert Communication System. SP (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. SP (2023)
Shengwei An, Yuan Yao, Qiuling Xu, Shiqing Ma, Guanhong Tao, Siyuan Cheng, Kaiyuan Zhang, Yingqi Liu, Guangyu Shen, Ian Kelk, Xiangyu Zhang
ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes. SP (2023)
Xiaoyu Cao, Jinyuan Jia, Zaixi Zhang, Neil Zhenqiang Gong
FedRecover: Recovering from Poisoning Attacks in Federated Learning using Historical Information. SP (2023)
Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen
Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. SP (2023)
Nathan Reitinger, Nathan Malkin, Omer Akgul, Michelle L. Mazurek, Ian Miers
Is Cryptographic Deniability Sufficientƒ Non-Expert Perceptions of Deniability in Secure Messaging. SP (2023)
Ruomu Hou, Haifeng Yu
Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains. SP (2023)
Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
Threshold Signatures in the Multiverse. SP (2023)
Rohith Reddy Vennam, Ish Kumar Jain, Kshitiz Bansal, Joshua Orozco, Puja Shukla, Aanjhan Ranganathan, Dinesh Bharadia
mmSpoof: Resilient Spoofing of Automotive Millimeter-wave Radars using Reflect Array. SP (2023)
Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan, Deian Stefan, Dean M. Tullsen
Half&Half: Demystifying Intel's Directional Branch Predictors for Fast, Secure Partitioned Execution. SP (2023)
Mathew Hogan, Yan Michalevsky, Saba Eskandarian
DBREACH: Stealing from Databases Using Compression Side Channels. SP (2023)
Oleksii Oleksenko, Marco Guarnieri, Boris Köpf, Mark Silberstein
Hide and Seek with Spectres: Efficient discovery of speculative information leaks with random testing. SP (2023)
Huancheng Zhou, Sungmin Hong, Yangyang Liu, Xiapu Luo, Weichao Li, Guofei Gu
Mew: Enabling Large-Scale and Dynamic Link-Flooding Defenses on Programmable Switches. SP (2023)
Andreas Hülsing, Mikhail A. Kudinov, Eyal Ronen, Eylon Yogev
SPHINCS+C: Compressing SPHINCS+ With (Almost) No Cost. SP (2023)
Mike Graf, Ralf Küsters, Daniel Rausch
AUC: Accountable Universal Composability. SP (2023)
Ruxin Wang, Long Huang, Chen Wang
Low-effort VR Headset User Authentication Using Head-reverberated Sounds with Replay Resistance. SP (2023)
Sicong Cao, Biao He, Xiaobing Sun, Yu Ouyang, Chao Zhang, Xiaoxue Wu, Ting Su, Lili Bo, Bin Li, Chuanlei Ma, Jiajia Li, Tao Wei
ODDFuzz: Discovering Java Deserialization Vulnerabilities via Structure-Aware Directed Greybox Fuzzing. SP (2023)
Yi Wu, Cong Shi, Tianfang Zhang, Payton Walker, Jian Liu, Nitesh Saxena, Yingying Chen
Privacy Leakage via Unrestricted Motion-Position Sensors in the Age of Virtual Reality: A Study of Snooping Typed Input on Virtual Keyboards. SP (2023)
Hidde Lycklama, Lukas Burkhalter, Alexander Viand, Nicolas Küchler, Anwar Hithnawi
RoFL: Robustness of Secure Federated Learning. SP (2023)
Yuanliang Chen, Fuchen Ma, Yuanhang Zhou, Yu Jiang, Ting Chen, Jia-Guang Sun
Tyr: Finding Consensus Failure Bugs in Blockchain System with Behaviour Divergent Model. SP (2023)
Mingqing Kang, Yichao Xu, Song Li, Rigel Gjomemo, Jianwei Hou, V. N. Venkatakrishnan, Yinzhi Cao
Scaling JavaScript Abstract Interpretation to Detect and Exploit Node.js Taint-style Vulnerability. SP (2023)
Habiba Farrukh, Muslum Ozgur Ozmen, Faik Kerem Örs, Z. Berkay Celik
One Key to Rule Them All: Secure Group Pairing for Heterogeneous IoT Devices. SP (2023)
Mohammad M. Ahmadpanah, Daniel Hedin, Andrei Sabelfeld
LazyTAP: On-Demand Data Minimization for Trigger-Action Applications. SP (2023)
Koksal Mus, Yarkin Doröz, M. Caner Tol, Kristi Rahman, Berk Sunar
Jolt: Recovering TLS Signing Keys via Rowhammer Faults. SP (2023)
Maurice Weber, Xiaojun Xu, Bojan Karlas, Ce Zhang, Bo Li
RAB: Provable Robustness Against Backdoor Attacks. SP (2023)
Sarah Scheffler, Anunay Kulshrestha, Jonathan R. Mayer
Public Verification for Private Hash Matching. SP (2023)
Xuewei Feng, Qi Li, Kun Sun, Yuxiang Yang, Ke Xu
Man-in-the-Middle Attacks without Rogue AP: When WPAs Meet ICMP Redirects. SP (2023)
Jonas Juffinger, Lukas Lamster, Andreas Kogler, Maria Eichlseder, Moritz Lipp, Daniel Gruss
CSI:Rowhammer - Cryptographic Security and Integrity against Rowhammer. SP (2023)
James Patrick-Evans, Moritz Dannehl, Johannes Kinder
XFL: Naming Functions in Binaries with Extreme Multi-label Learning. SP (2023)
Piergiorgio Ladisa, Henrik Plate, Matias Martinez, Olivier Barais
SoK: Taxonomy of Attacks on Open-Source Software Supply Chains. SP (2023)
Lisa Geierhaas, Fabian Otto, Maximilian Häring, Matthew Smith
Attitudes towards Client-Side Scanning for CSAM, Terrorism, Drug Trafficking, Drug Use and Tax Evasion in Germany. SP (2023)