Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy 2023: all accepted papers
- Scatter and Split Securely: Defeating Cache Contention and Occupancy Attacks ↗Lukas Giner, Stefan Steinegger, Antoon Purnal et al.17 citations
- AI-Guardian: Defeating Adversarial Attacks using Backdoors ↗Hong Guo Zhu, Shengzhi Zhang, Kai Chen16 citations
- MPCAuth: Multi-factor Authentication for Distributed-trust Systems ↗Sijun Tan, Weikeng Chen, Ryan Deng et al.16 citations
- SNAP: Efficient Extraction of Private Properties with Poisoning ↗Harsh Chaudhari, John Abascal, Alina Oprea et al.16 citations
- Selective Amnesia: On Efficient, High-Fidelity and Blind Suppression of Backdoor Effects in Trojaned Machine Learning Models ↗Rui Zhu, Di Tang, Siyuan Tang et al.16 citations
- Continuous Intrusion: Characterizing the Security of Continuous Integration Services ↗Yacong Gu, Lingyun Ying, Huajun Chai et al.15 citations
- Design and Evaluation of Inclusive Email Security Indicators for People with Visual Impairments ↗Yaman Yu, Saidivya Ashok, Smirity Kaushik et al.15 citations
- On the Evolution of (Hateful) Memes by Means of Multimodal Contrastive Learning ↗Yiting Qu, Xinlei He, Shannon Pierson et al.15 citations
- SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing ↗Dae R. Jeong, Byoungyoung Lee, Insik Shin et al.15 citations
- Sound Verification of Security Protocols: From Design to Interoperable Implementations ↗Linard Arquint, Felix A. Wolf, Joseph Lallemand et al.15 citations
- The Leaky Web: Automated Discovery of Cross-Site Information Leaks in Browsers and the Web ↗Jannis Rautenstrauch, Giancarlo Pellegrino, Ben Stock15 citations
- DeHiREC: Detecting Hidden Voice Recorders via ADC Electromagnetic Radiation ↗Ruochen Zhou, Xiaoyu Ji, Chen Yan et al.14 citations
- DevFuzz: Automatic Device Model-Guided Device Driver Fuzzing ↗Yilun Wu, Tong Zhang, Changhee Jung et al.14 citations
- How IoT Re-using Threatens Your Sensitive Data: Exploring the User-Data Disposal in Used IoT Devices ↗Peiyu Liu, Shouling Ji, Lirong Fu et al.14 citations
- It’s (DOM) Clobbering Time: Attack Techniques, Prevalence, and Defenses ↗Soheil Khodayari, Giancarlo Pellegrino14 citations
- Leaking Arbitrarily Many Secrets: Any-out-of-Many Proofs and Applications to RingCT Protocols ↗Tianyu Zheng, Shang Han Gao, Yubo Song et al.14 citations
- Protected or Porous: A Comparative Analysis of Threat Detection Capability of IoT Safeguards ↗Anna Maria Mandalari, Hamed Haddadi, Daniel J. Dubois et al.14 citations
- Public Verification for Private Hash Matching ↗Sarah Scheffler, Anunay Kulshrestha, Jonathan R. Mayer14 citations
- DepthFake: Spoofing 3D Face Authentication with a 2D Photo ↗Zhihao Wu, Yushi Cheng, Jiahui Yang et al.13 citations
- Fashion Faux Pas: Implicit Stylistic Fingerprints for Bypassing Browsers' Anti-Fingerprinting Defenses ↗Xu Lin, Frederico Araujo, Teryl Taylor et al.13 citations
- Private Access Control for Function Secret Sharing ↗Sacha Servan-Schreiber, Simon Beyzerov, Eli Yablon et al.13 citations
- SoK: Anti-Facial Recognition Technology ↗Emily Wenger, Shawn Shan, Hai-Tao Zheng et al.13 citations
- TrojanModel: A Practical Trojan Attack against Automatic Speech Recognition Systems ↗Wei Zong, Yang-Wai Chow, Willy Susilo et al.13 citations
- BLEDiff: Scalable and Property-Agnostic Noncompliance Checking for BLE Implementations ↗Imtiaz Karim, Abdullah Al Ishtiaq, Syed Rafiul Hussain et al.12 citations
- Control Flow and Pointer Integrity Enforcement in a Secure Tagged Architecture ↗Ravi Theja Gollapudi, Gokturk Yuksek, David Demicco et al.12 citations
- Low-Cost Privilege Separation with Compile Time Compartmentalization for Embedded Systems ↗Arslan Khan, Dongyan Xu, Dave Jing Tian12 citations
- Practical Program Modularization with Type-Based Dependence Analysis ↗Kangjie Lu12 citations
- Practical Timing Side-Channel Attacks on Memory Compression ↗Martin Schwarzl, Pietro Borrello, Gururaj Saileshwar et al.12 citations
- RSFuzzer: Discovering Deep SMI Handler Vulnerabilities in UEFI Firmware with Hybrid Fuzzing ↗Jiawei Yin, Menghao Li, Yuekang Li et al.12 citations
- Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols ↗Edward Chen, Jinhao Zhu, Alex Ozdemir et al.12 citations
- Weak Fiat-Shamir Attacks on Modern Proof Systems ↗Quang Dao, Jim Miller, Opal Wright et al.12 citations
- D-ARM: Disassembling ARM Binaries by Lightweight Superset Instruction Interpretation and Graph Modeling ↗Yapeng Ye, Zhuo Zhang, Qingkai Shi et al.11 citations
- High-Order Masking of Lattice Signatures in Quasilinear Time ↗Rafaël del Pino, Thomas Prest, Mélissa Rossi et al.11 citations
- Owl: Compositional Verification of Security Protocols via an Information-Flow Type System ↗Joshua Gancher, Sydney Gibson, Pratap Narayan Singh et al.11 citations
- Side Eye: Characterizing the Limits of POV Acoustic Eavesdropping from Smartphone Cameras with Rolling Shutters and Movable Lenses ↗Yan Long, Pirouz Naghavi, Blas Kojusner et al.11 citations
- Understanding the (In)Security of Cross-side Face Verification Systems in Mobile Apps: A System Perspective ↗Xiaohan Zhang, Haoqi Ye, Ziqi Huang et al.11 citations
- User Perceptions and Experiences with Smart Home Updates ↗Julie M. Haney, Susanne Furman11 citations
- Characterizing Everyday Misuse of Smart Home Devices ↗Phoebe Moh, Pubali Datta, Noel Warford et al.10 citations
- Half&Half: Demystifying Intel’s Directional Branch Predictors for Fast, Secure Partitioned Execution ↗Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan et al.10 citations
- Investigating the Password Policy Practices of Website Administrators ↗Sena Şahin, Suood Abdulaziz Al‐Roomi, Tara Poteat et al.10 citations
- No One Drinks From the Firehose: How Organizations Filter and Prioritize Vulnerability Information ↗Stephanie de Smale, Rik van Dijk, Xander Bouwman et al.10 citations
- On The Empirical Effectiveness of Unrealistic Adversarial Hardening Against Realistic Adversarial Attacks ↗Salijona Dyrmishi, Salah Ghamizi, Thibault Simonetto et al.10 citations
- Three Birds with One Stone: Efficient Partitioning Attacks on Interdependent Cryptocurrency Networks ↗Muhammad Saad, Aziz Mohaisen10 citations
- Vulnerability Discovery for All: Experiences of Marginalization in Vulnerability Discovery ↗Kelsey R. Fulton, Samantha Katcher, Kevin Song et al.10 citations
- μSwitch: Fast Kernel Context Isolation with Implicit Context Switches ↗Dinglan Peng, Congyu Liu, Tapti Palit et al.10 citations
- Accuracy-Privacy Trade-off in Deep Ensemble: A Membership Inference Perspective ↗Shahbaz Rezaei, Zubair Shafiq, Xin Liu9 citations
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation ↗Xinyi Wang, Cen Zhang, Yeting Li et al.9 citations
- Locally Differentially Private Frequency Estimation Based on Convolution Framework ↗Huiyu Fang, Liquan Chen, Yali Liu et al.9 citations
- When and Why Do People Want Ad Targeting Explanations? Evidence from a Four-Week, Mixed-Methods Field Study ↗Hao-Ping Hank Lee, Jacob Logas, Stephanie Yang et al.9 citations
- Attitudes towards Client-Side Scanning for CSAM, Terrorism, Drug Trafficking, Drug Use and Tax Evasion in Germany ↗Lisa Geierhaas, Fabian Otto, Maximilian Häring et al.8 citations
- Improving Developers’ Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies ↗Sk Adnan Hassan, Zainab Aamir, Dongyoon Lee et al.8 citations
- Not Yet Another Digital ID: Privacy-Preserving Humanitarian Aid Distribution ↗Boya Wang, Wouter Lueks, Justinas Sukaitis et al.8 citations
- Optimistic Fast Confirmation While Tolerating Malicious Majority in Blockchains ↗Ruomu Hou, Haifeng Yu8 citations
- PCSPOOF: Compromising the Safety of Time-Triggered Ethernet ↗Andrew T. Loveless, Linh Thi Xuan Phan, Ronald Dreslinski et al.8 citations
- Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis ↗Gabriel Ryan, Abhishek Shah, Dongdong She et al.8 citations
- PublicCheck: Public Integrity Verification for Services of Run-time Deep Models ↗Shuo Wang, Alsharif Abuadbba, Sidharth Agarwal et al.8 citations
- QueryX: Symbolic Query on Decompiled Code for Finding Bugs in COTS Binaries ↗Hyung-Seok Han, JeongOh Kyea, Yonghwi Jin et al.8 citations
- SecureCells: A Secure Compartmentalized Architecture ↗Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li et al.8 citations
- ADI: Adversarial Dominating Inputs in Vertical Federated Learning Systems ↗Qi Pang, Yuanyuan Yuan, Shuai Wang et al.7 citations
- AEM: Facilitating Cross-Version Exploitability Assessment of Linux Kernel Vulnerabilities ↗Zheyue Jiang, Yuan Zhang, Jun Long Xu et al.7 citations
- DBREACH: Stealing from Databases Using Compression Side Channels ↗Mathew Hogan, Yan Michalevsky, Saba Eskandarian7 citations
- Deep perceptual hashing algorithms with hidden dual purpose: when client-side scanning does facial recognition ↗Shubham Jain, Ana-Maria Creţu, Antoine Cully et al.7 citations
- DevIOus: Device-Driven Side-Channel Attacks on the IOMMU ↗Taehun Kim, Hyeongjin Park, Seokmin Lee et al.7 citations
- GeeSolver: A Generic, Efficient, and Effortless Solver with Self-Supervised Learning for Breaking Text Captchas ↗Ruijie Zhao, Xianwen Deng, Yanhao Wang et al.7 citations
- ImU: Physical Impersonating Attack for Face Recognition System with Natural Style Changes ↗Shengwei An, Yuan Yao, Qiuling Xu et al.7 citations
- Lambretta: Learning to Rank for Twitter Soft Moderation ↗Pujan Paudel, Jeremy Blackburn, Emiliano De Cristofaro et al.7 citations
- No Privacy in the Electronics Repair Industry ↗Jason Ceci, Jonah Stegman, Hassan Khan7 citations
- Private Collaborative Data Cleaning via Non-Equi PSI ↗Erik-Oliver Blaß, Florian Kerschbaum7 citations
- Skilled or Gullibleƒ Gender Stereotypes Related to Computer Security and Privacy ↗Miranda Wei, Pardis Emami-Naeini, Franziska Roesner et al.7 citations
- Spectral-DP: Differentially Private Deep Learning through Spectral Perturbation and Filtering ↗Ce Feng, Nuo Xu, Wujie Wen et al.7 citations
- Telepath: A Minecraft-based Covert Communication System ↗Zhen Sun, Vitaly Shmatikov7 citations
- ViDeZZo: Dependency-aware Virtual Device Fuzzing ↗Qiang Liu, Flavio Toffalini, Yajin Zhou et al.7 citations
- AUC: Accountable Universal Composability ↗Mike Graf, Ralf Küsters, Daniel Rausch6 citations
- Blue Is the New Black (Market): Privacy Leaks and Re-Victimization from Police-Auctioned Cellphones ↗Richard M. Roberts, Julio Poveda, Raley Roberts et al.6 citations
- Private Eye: On the Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing ↗Yan Long, Chen Yan, Shilin Xiao et al.6 citations
- Volttack: Control IoT Devices by Manipulating Power Supply Voltage ↗Kai Wang, Shilin Xiao, Xiaoyu Ji et al.6 citations
- WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches ↗Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini et al.6 citations
- Half&Half: Demystifying Intel’s Directional Branch Predictors for Fast, Secure Partitioned Execution ↗Hosein Yavarzadeh, Mohammadkazem Taram, Shravan Narayan et al.5 citations
- Optimistic Access Control for the Smart Home ↗Nathan Malkin, Alan F. Luo, Julio Poveda et al.5 citations
- Spoofing Real-world Face Authentication Systems through Optical Synthesis ↗Yueli Yan, Zhice Yang5 citations
- WeRLman: To Tackle Whale (Transactions), Go Deep (RL) ↗Roi Bar-Zur, Ameer Abu-Hanna, Ittay Eyal et al.5 citations
- "We are a startup to the core": A qualitative interview study on the security and privacy development practices in Turkish software startups ↗Dilara Keküllüoğlu, Yasemin Acar4 citations
- Blue’s Clues: Practical Discovery of Non-Discoverable Bluetooth Devices ↗Tyler Tucker, Hunter Searle, Kevin R. B. Butler et al.4 citations
- Could you clean up the Internet with a Pit of Tar? Investigating tarpit feasibility on Internet worms ↗Harm J. Griffioen, Christian Doerr4 citations
- Finding Specification Blind Spots via Fuzz Testing ↗Ru Ji, Meng Xu4 citations
- Is Cryptographic Deniability Sufficientƒ Non-Expert Perceptions of Deniability in Secure Messaging ↗Nathan Reitinger, Nathan Malkin, Omer Akgul et al.4 citations
- LazyTAP: On-Demand Data Minimization for Trigger-Action Applications ↗Mohammad M. Ahmadpanah, Daniel S. Hedin, Andrei Sabelfeld4 citations
- Less is more: refinement proofs for probabilistic proofs ↗Kunming Jiang, Devora Chait-Roth, Zachary DeStefano et al.4 citations
- WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms ↗Lorenzo Veronese, Benjamin Farinier, Pedro Henrique Bernardo et al.4 citations
- Confident Monte Carlo: Rigorous Analysis of Guessing Curves for Probabilistic Password Models ↗Peiyuan Liu, Jeremiah Blocki, Wenjie Bai3 citations
- Perceptions of Distributed Ledger Technology Key Management - An Interview Study with Finance Professionals ↗Carolyn Guthoff, Simon Anell, Johann Hainzinger et al.3 citations
- TeSec: Accurate Server-side Attack Investigation for Web Applications ↗Ruihua Wang, Yi-Hao Peng, Yilun Sun et al.3 citations
- Towards a Rigorous Statistical Analysis of Empirical Password Datasets ↗Jeremiah Blocki, Peiyuan Liu3 citations
- Adaptive Risk-Limiting Comparison Audits ↗Benjamin W. Fuller, Abigail Harrison, Alexander C. Russell2 citations
- Collaborative Ad Transparency: Promises and Limitations ↗Eleni Gkiouzepi, Athanasios Andreou, Oana Goga et al.2 citations
- Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense ↗Ryan Torok, Amit A. Levy2 citations
- Pyfet: Forensically Equivalent Transformation for Python Binary Decompilation ↗Ali Ahad, Chijung Jung, Ammar Askar et al.2 citations
- When Top-down Meets Bottom-up: Detecting and Exploiting Use-After-Cleanup Bugs in Linux Kernel ↗Lin Ma, Duoming Zhou, Hanjie Wu et al.1 citation
This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-ieee-symposium-on-security-and-privacy-proceedings-of-the-ieee/2023/papers/page/2/