IEEE S&P 2022 Sessions

141 talks · 2022 · indexed by Breach Arc Archive. Links open each talk on YouTube.

• "Adversarial Examples" for Proof-of-Learning 2022
• "Desperate Times Call for Desperate Measures": User Concerns with Mobile Loan Apps in Kenya 2022
• "They're not that hard to mitigate"—What Cryptographic Library Developers Think About Timing Attacks 2022
• A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification 2022
• A Logic and an Interactive Prover for the Computational Post-Quantum Security of Protocols 2022
• A Secret-Free Hypervisor: Rethinking Isolation in the Age of Speculative Vulnerabilities 2022
• A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP 2022
• AccEar: Accelerometer Acoustic Eavesdropping with Unconstrained Vocabulary 2022
• Adversarial Prefetch: New Cross-Core Cache Side Channel Attacks 2022
• Analyzing Ground-Truth Data of Mobile Gambling Scam 2022
• Anti-Tamper Radio: System-Level Tamper Detection for Computing Systems 2022
• Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software Impacting Emission Security 2022
• Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems 2022
• Asleep at the Keyboard? Assessing the Security of GitHub Copilot's Code Contributions 2022
• Attacks on Wireless Coexistence 2022
• Augury: Using Data Memory-Dependent Prefetchers to Leak Data at Rest 2022
• Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents 2022
• Back to the Drawing Board: A Critical Evaluation of Poisoning Attacks on Federated Learning 2022
• Bad Characters: Imperceptible NLP Attacks 2022
• BadEncoder: Backdoor Attacks to Pre-trained Encoders in Self-Supervised Learning 2022
• BEACON : Directed Grey-Box Fuzzing with Provable Path Pruning 2022
• Blacksmith: Compromising Target Row Refresh by Rowhammering in the Frequency Domain 2022
• Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks 2022
• CirC: Compiler infrastructure for proof systems, software verification, and more 2022
• COBRA: Dynamic Proactive Secret Sharing for Confidential BFT Services 2022
• Committed to Trust: A Qualitative Study on Security & Trust in Open Source Software Projects 2022
• Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models 2022
• De-Identification's Impact on Minority Representation and Privacy Preservation in the US Census 2022
• DeepCASE: Semi-Supervised Contextual Analysis of Security Events 2022
• DeepCoFFEA: Improved Flow Correlation Attacks on Tor via Metric Learning and Amplification 2022
• DeepSteal: Advanced Model Extractions Leveraging Efficient Weight Stealing in Memories 2022
• Delay Wreaks Havoc on Your Smart Home: Delay-based Automation Interference Attacks 2022
• DEPCOMM: Graph Summarization on System Audit Logs for Attack Investigation 2022
• Deployment of Source Address Validation by Network Operators: A Randomized Control Trial 2022
• Device Fingerprinting with Peripheral Timestamps 2022
• Differentially Private Histograms in the Shuffle Model from Fake Users 2022
• Domains Do Change Their Spots: Quantifying Potential Abuse of Residual Trust 2022
• Evaluating Physical-Layer BLE Location Tracking Attacks on Mobile Devices 2022
• Exploit the Last Straw That Breaks Android Systems 2022
• Exposed Infrastructures—Discovery, Attacks and Remediation of Insecure ICS Remote Management Devices 2022
• Finding and Exploiting CPU Features using MSR Templating 2022
• Formal Model-Driven Discovery of Bluetooth Protocol Design Vulnerabilities 2022
• Foundations of Dynamic BFT 2022
• Four Attacks and a Proof for Telegram 2022
• FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks 2022
• Goshawk: Hunting Memory Corruptions via Structure-Aware and Object-Centric Memory Operation Synopsis 2022
• Graphics Peeping Unit: Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors 2022
• GREBE: Unveiling Exploitation Potential for Linux Kernel Bugs 2022
• HAMRAZ: Resilient Partitioning and Replication 2022
• HardLog: Practical Tamper-Proof System Auditing Using a Novel Audit Device 2022
• Hark: A Deep Learning System for Navigating Privacy Feedback at Scale 2022
• Heapster: Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images 2022
• How Does Usable Security Not End Up in Software Products? Results From a Qualitative Interview Study 2022
• How Not to Protect Your IP - An Industry-Wide Break of IEEE 1735 Implementations 2022
• How to Attack and Generate Honeywords 2022
• Investigating Influencer VPN Ads on YouTube 2022
• Investigating the Use of Email Encryption for an Entire University 2022
• Invisible Finger: Practical Electromagnetic Interference Attack on Touchscreen Electronic Devices 2022
• IronMask: Versatile Verification of Masking Security 2022
• IRQDebloat: Reducing Driver Attack Surface in Embedded Devices 2022
• IRShield: A Countermeasure Against Adversarial Physical-Layer Wireless Sensing 2022
• Jigsaw: Efficient and Scalable Path Constraints Fuzzing 2022
• K-Scheduler: Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis 2022
• LinkTeller: Recovering Private Edges from Graph Neural Networks via Influence Analysis 2022
• Locally Differentially Private Sparse Vector Aggregation 2022
• Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators 2022
• MatRiCT+: More Efficient Post-Quantum Private Blockchain Payments 2022
• Measuring and Mitigating the Risk of IP Reuse on Public Clouds 2022
• Membership inference attacks from first principles 2022
• MeshUp: Stateless Cache Side-channel Attack on CPU Mesh 2022
• Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures 2022
• Mitigating Information Leakage Vulnerabilities with Type-based Data Isolation 2022
• mmSpy: Spying Phone Calls using mmWave Radars 2022
• Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Security 2022
• Model Stealing Attacks Against Inductive Graph Neural Networks 2022
• Multi-Server Verifiable Computation of Low-Degree Polynomials 2022
• Noise: A Library of Verified High-Performance Secure Channel Protocol Implementations 2022
• PCR-Auth: Solving Authentication Puzzle Challenges with Encoded Palm Contact Responses 2022
• Peekaboo: A Hub-Based Approach to Enable Transparency in Data Processing within Smart Homes 2022
• PGPATCH: Policy-Guided Logic Bug Patching for Robotic Vehicles 2022
• Phishing in Organizations: Findings from a Large-Scale and Long-Term Study 2022
• PICCOLO: Exposing Complex Backdoors in NLP Transformer Models 2022
• Practical Asynchronous Distributed Key Generation 2022
• Practical EMV Relay Protection 2022
• Privacy-from-Birth: Protecting Sensed Data from Malicious Sensors with VERSA 2022
• Private Approximate Nearest Neighbor Search 2022
• Property Inference from Poisoning 2022
• PROTRR: Principled yet Optimal In-DRAM Target Row Refresh 2022
• ProVerif with Lemmas, Induction, Fast Subsumption, and Much More 2022
• Publicly Accountable Robust Multi-Party Computation 2022
• Quantifying Blockchain Extractable Value: How dark is the forest? 2022
• Reconstructing Training Data with Informed Adversaries 2022
• Repairing DoS Vulnerability of Real-World Regexes 2022
• RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone 2022
• Sabre: Sender-Anonymous Messaging with Fast Audits 2022
• SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds 2022
• Scraping Sticky Leftovers: App User Information Left on Servers After Account Deletion 2022
• SecFloat: Accurate Floating-Point meets Secure 2-Party Computation 2022
• Security Analysis of the MLS Key Derivation 2022
• Security Foundations for Application-Based Covert Communication Channels 2022
• ShadeWatcher: Recommendation-guided Cyber Threat Analysis using System Audit Records 2022
• ShorTor: Improving Tor Network Latency via Multi-hop Overlay Routing 2022
• SIRAJ: A Unified Framework for Aggregation of Malicious Entity Detectors 2022
• SMILE: Secure Memory Introspection for Live Enclave 2022
• SNARKBlock: Federated Anonymous Blocklisting from Hidden Common Input Aggregate Proofs 2022
• SoK: Authentication in Augmented and Virtual Reality 2022
• SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications 2022
• SoK: How Robust is Image Classification Deep Neural Network Watermarking? 2022
• SoK: Practical Foundations for Software Spectre Defenses 2022
• SoK: Social Cybersecurity 2022
• SoK: The Dual Nature of Technology in Sexual Assault 2022
• SoK: Unifying and Applying At-Risk User Research 2022
• SpecHammer: Combining Spectre and Rowhammer for New Speculative Attacks 2022
• Sphinx: Enabling Privacy-Preserving Online Learning over the Cloud 2022
• Spinning Language Models: Risks of Propaganda-as-a-Service and Countermeasures 2022
• Spiral: Fast, High-Rate Single-Server PIR via FHE Composition 2022
• Spook.js: Attacking Chrome Strict Site Isolation via Speculative Execution 2022
• SPURT: Scalable Distributed Randomness Beacon with Transparent Setup 2022
• Statistical Quantification of Differential Privacy: A Local Approach 2022
• Surakav: Generating Realistic Traces for a Strong Website Fingerprinting Defense 2022
• SwarmFlawFinder: Discovering and Exploiting Logic Flaws of Swarm Algorithms 2022
• SYMBEXCEL: Automated Analysis and Understanding of Malicious Excel 4.0 Macros 2022
• TASHAROK—Using Mechanism Design for Enhancing Security Resource Allocation in Interdependent Systems 2022
• The Experts' Insights on the Peer Review Process of Evaluating Security Papers 2022
• The State of the SameSite: Studying the Usage, Effectiveness, and Adequacy of SameSite Cookies 2022
• Time-Print: Authenticating USB Flash Drives with Novel Timing Fingerprints 2022
• Timing-Based Browsing Privacy Vulnerabilities Via Site Isolation 2022
• Transcending TRANSCEND: Revisiting Malware Classification in the Presence of Concept Drift 2022
• Transfer Attacks Revisited: A Large-Scale Empirical Study in Real Computer Vision Settings 2022
• TROLLMAGNIFIER: Detecting State-Sponsored Troll Accounts on Reddit? 2022
• Understanding and Mitigating Illicit Cryptomining on Continuous Integration Service Platforms 2022
• Universal 3-Dimensional Perturbations for Black-Box Attacks on Video Recognition Systems 2022
• Universal Atomic Swaps: Secure Exchange of Coins Across All Blockchains 2022
• Using Throughput-Centric Byzantine Broadcast to Tolerate Malicious Majority in Blockchains 2022
• vSGX: Virtualizing SGX Enclaves on AMD SEV 2022
• Waldo: A Private Time-Series Database from Function Secret-Sharing 2022
• Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques 2022
• WIGHT: Wired Ghost Touch Attack on Capacitive Touchscreens 2022
• Wobfuscator: Obfuscating JavaScript Malware via Opportunistic Translation to WebAssembly 2022
• WtaGraph: Web Tracking and Advertising Detection using Graph Neural Networks 2022
• ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs 2022