SP (Workshops)

Publications

2024

Yuxin Cao, Jinghao Li, Xi Xiao, Derui Wang, Minhui Xue, Hao Ge, Wei Liu, Guangwu Hu
LocalStyleFool: Regional Video Style Transfer Attack Using Segment Anything Model. SP (Workshops) (2024)
Natarajan Shankar, Zephyr Lucas
Robust Verification of PEG Parser Interpreters. SP (Workshops) (2024)
Fatemeh Arkannezhad, Pooya Aghanoury, Justin Feng, Hossein Khalili, Nader Sehatbakhsh
SideGuard: Non-Invasive On-Chip Malware Detection in Heterogeneous IoT Systems by Leveraging Side-Channels. SP (Workshops) (2024)
Andreas Müller, Erwin Quiring
The Impact of Uniform Inputs on Activation Sparsity and Energy-Latency Attacks in Computer Vision. SP (Workshops) (2024)
Sean O'Toole, Hoda Mehrpouyan
Towards Cyber-Physical Representation and Cyber-Resilience Against Attack and Failure within a Hydraulic Network Simulation Toolkit. SP (Workshops) (2024)
Sanyam Vyas, Chris Hicks, Vasilios Mavroudis
Mitigating Deep Reinforcement Learning Backdoors in the Neural Activation Space. SP (Workshops) (2024)
Bruno Casella, Iacopo Colonnelli, Gianluca Mittone, Robert Birke, Walter Riviera, Antonio Sciarappa, Carlo Cavazzoni, Marco Aldinucci
A Performance Analysis for Confidential Federated Learning. SP (Workshops) (2024)
Luoyao Hao, Henning Schulzrinne
Poster: Identity-Independent IoT for Overarching Policy Enforcement. SP (Workshops) (2024)
Meng Xu
Research Report: Not All Move Specifications Are Created Equal : A Case Study on the Formally Verified Diem Payment Network. SP (Workshops) (2024)
Mohsen Lesani
Vulnerability Flow Type Systems. SP (Workshops) (2024)
Sameed Ali, Michael E. Locasto, Sean W. Smith
Weird Machines in Package Managers: A Case Study of Input Language Complexity and Emergent Execution in Software Systems. SP (Workshops) (2024)
Tim Walsh, Trevor Thomas, Armon Barton
Exploring the Capabilities and Limitations of Video Stream Fingerprinting. SP (Workshops) (2024)
Reshabh K. Sharma, Vinayak Gupta, Dan Grossman
Defending Language Models Against Image-Based Prompt Attacks via User-Provided Specifications. SP (Workshops) (2024)
Paul Lintilhac, Joshua Ackerman, George Cybenko
Research Report: Testing and Evaluating Artificial Intelligence Applications. SP (Workshops) (2024)
Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt
Research Report: An Optim (l) Approach to Parsing Random-Access Formats. SP (Workshops) (2024)
Qi Liu, Yizhe Zhang, Yixin Sun
Intercepting Bluetooth Traffic from Wearable Health Devices. SP (Workshops) (2024)
Yohan Beugin, Patrick D. McDaniel
A Public and Reproducible Assessment of the Topics API on Real Data. SP (Workshops) (2024)
Shae McFadden, Marcello Maugeri, Chris Hicks, Vasilios Mavroudis, Fabio Pierazzi
WENDIGO: Deep Reinforcement Learning for Denial-of-Service Query Discovery in GraphQL. SP (Workshops) (2024)
J. Peter Brady, Sean W. Smith
Parsing, Performance, and Pareto in Data Stream Security. SP (Workshops) (2024)
Hongbin Liu, Wenjie Qu, Jinyuan Jia, Neil Zhenqiang Gong
Pre-trained Encoders in Self-Supervised Learning Improve Secure and Privacy-preserving Supervised Learning. SP (Workshops) (2024)
Daniel Kang, Xuechen Li, Ion Stoica, Carlos Guestrin, Matei Zaharia, Tatsunori Hashimoto
Exploiting Programmatic Behavior of LLMs: Dual-Use Through Standard Security Attacks. SP (Workshops) (2024)
Tianxiang Dai, Yufan Jiang, Yong Li, Fei Mei
NodeGuard: A Highly Efficient Two-Party Computation Framework for Training Large-Scale Gradient Boosting Decision Tree. SP (Workshops) (2024)
Shuji Yamaguchi, Hidehito Gomi, Tetsutaro Uehara
User Verification System using Location-based Dynamic Questions for Account Recovery. SP (Workshops) (2024)
Hossein Khalili, Alexander Chen, Theodoros Papaiakovou, Timothy Jacques, Hao-Jen Chien, Changwei Liu, Aolin Ding, Amin Hass, Saman A. Zonouz, Nader Sehatbakhsh
Virtual Keymysteries Unveiled: Detecting Keystrokes in VR with External Side-Channels. SP (Workshops) (2024)
Chengzeng You, Zhongyuan Hau, Binbin Xu, Soteris Demetriou
Adversarial 3D Virtual Patches using Integrated Gradients. SP (Workshops) (2024)
Thirasara Ariyarathna, Salil S. Kanhere, Hye-Young Paik
Poster: Towards Privacy-Preserving Federated Recommendation via Synthetic Interactions. SP (Workshops) (2024)
Guang Jin, Jason H. Li, Greg Briskin
Research Report: Enhanced eBPF Verification and eBPF-based Runtime Safety Protection. SP (Workshops) (2024)
Chris Tsoukaladelis, Nick Nikiforakis
Manufactured Narratives: On the Potential of Manipulating Social Media to Politicize World Events. SP (Workshops) (2024)
IEEE Security and Privacy, SP 2024 - Workshops, San Francisco, CA, USA, May 23, 2024 SP (Workshops) (2024)
Sivana Hamer, Marcelo d'Amorim, Laurie A. Williams
Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers. SP (Workshops) (2024)
Narmeen Shafqat, Aanjhan Ranganathan
Seamlessly Insecure: Uncovering Outsider Access Risks in AiDot-Controlled Matter Devices. SP (Workshops) (2024)
Junlin Wu, Hussein Sibai, Yevgeniy Vorobeychik
Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks. SP (Workshops) (2024)
Brian Wang, Luis Antonio Garcia, Mani B. Srivastava
PrivacyOracle: Configuring Sensor Privacy Firewalls with Large Language Models in Smart Built Environments. SP (Workshops) (2024)
Daniel Timko, Mike Sharko, Yanyan Li
Security Analysis of Wearable Smart Health Devices and Their Companion Apps. SP (Workshops) (2024)