IEEE Security & Privacy 2020

104 talks · 2020 · indexed by Breach Arc Archive. Links open each talk on YouTube.

• A Comparative Usability Study of FIDO2 Passwordless Authentication 2020
• A Programming Framework for Differential Privacy with Accuracy Concentration Bounds 2020
• A Security Analysis of the Facebook Ad Library 2020
• A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network 2020
• A Tale of Sea and Sky: On the Security of Maritime VSAT Communications 2020
• AdGraph: A Graph-Based Approach to Ad and Tracker Blocking 2020
• An Analysis of Pre-installed Android Software 2020
• Are Anonymity-Seekers Just like Everybody Else? An Analysis of Contributions to Wikipedia from Tor 2020
• Are We Susceptible to Rowhammer? An End-to-End Methodology for Cloud Providers 2020
• Ask the Experts: What Should Be on an IoT Privacy and Security Label? 2020
• Automated Reverse Engineering and Privacy Analysis of Modern Cars 2020
• Automatic Uncovering of Hidden Behaviors from Input Validation in Mobile Apps 2020
• Automatically Detecting Bystanders in Photos to Reduce Privacy Risks 2020
• BIAS: Bluetooth Impersonation AttackS 2020
• Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level 2020
• Birds of a Feather: A Hardware & Security Panel (Updated) 2020
• Birds of a Feather: Sharing Cybersecurity Research Artifacts To Accelerate Progress 2020
• Breaking and (Partially) Fixing Provably Secure Onion Routing 2020
• Browsing Unicity: On the Limits of Anonymizing Web Tracking Data 2020
• Can Voters Detect Malicious Manipulation of Ballot Marking Devices? 2020
• Combating Dependence Explosion in Forensic Analysis Using Alternative Tag Propagation Semantics 2020
• Cornucopia: Temporal Safety for CHERI Heaps 2020
• CrypTFlow : Secure TensorFlow Inference 2020
• Detection of Electromagnetic Interference Attacks on Sensor Systems 2020
• Dragonblood: Analyzing the Dragonfly Handshake of WPA3 and EAP-pwd 2020
• Efficient and Secure Multiparty Computation from Fixed-Key Block Ciphers 2020
• Enabling Rack-scale Confidential Computing Using Heterogeneous Trusted Execution Environment 2020
• Establishing Economic Incentives for Security Patching of IoT Consumer Products 2020
• EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider 2020
• Ex-vivo Dynamic Analysis Framework for Android Device Drivers 2020
• Flaw Label: Exploiting IPv6 Flow Label 2020
• FlyClient: Super-Light Clients for Cryptocurrencies 2020
• Formal Modelling and Proof in the CHERI Design and Implementation Process 2020
• Frontrunning in Decentralized Exchanges, Miner Extractable Value, and Consensus Instability 2020
• Full-band De-anonymization of Bluetooth Classic Devices 2020
• Fuzzing JavaScript Engines with Aspect-Preserving Mutation 2020
• Gesture Authentication for Smartphones: Evaluation of Gesture Password Selection Policies 2020
• High Precision Open-World Website Fingerprinting 2020
• Hijacking Transient Execution through Microarchitectural Load Value Injection. 2020
• HopSkipJumpAttack: A Query-Efficient Decision-Based Attack 2020
• How Not to Prove Your Election Outcome 2020
• Humpty Dumpty: Controlling Word Meanings via Corpus Poisoning 2020
• HydRand: Efficient Continuous Distributed Randomness 2020
• ICAS: An Extensible Framework for Estimating the Susceptibility of IC Layouts to Additive Trojans 2020
• ICLab: A Global, Longitudinal Internet Censorship Measurement Platform 2020
• IJON: Exploring Deep State Spaces via Fuzzing 2020
• Influencing Photo Sharing Decisions on Social Media: A Case of Paradoxical Findings 2020
• Intriguing Properties of Adversarial ML Attacks in the Problem Space 2020
• JIT Leaks: Inducing Timing Side Channels through Just-In-Time Compilation 2020
• KARONTE: Detecting Insecure Multi-binary Interactions in Embedded Firmware 2020
• Kobold: Evaluating Decentralized Access Control for Remote NSXPC Methods on iOS 2020
• Krace: Data Race Fuzzing for Kernel File Systems 2020
• Leveraging EM Side-Channel Information to Detect Rowhammer Attacks 2020
• MarkUs: Drop-in Use-After-Free Prevention for Low-Level Languages 2020
• Measuring Legal Compliance of Banners from IAB Europe's Transparancy and Consent Framework 2020
• Meddling Middlemen: Empirical Analysis of the Risks of Data-Saving Mobile Browsers 2020
• Message Time of Arrival Codes: A Fundamental Primitive for Secure Distance Measurement 2020
• NetCAT: Practical Cache Attacks from the Network 2020
• Neutaint: Efficient Dynamic Taint Analysis with Neural Networks 2020
• OAT: Attesting Operation Integrity of Embedded Devices 2020
• OHIE: Blockchain Scaling Made Simple 2020
• Pangolin: Incremental Hybrid Fuzzing with Polyhedral Path Abstraction 2020
• Path Oblivious Heap: Optimal and Practical Oblivious Priority Queue 2020
• Plundervolt: Software-Based Fault Injection Attacks against Intel SGX 2020
• PMP: Cost-Effective Forced Execution with Probabilistic Memory Pre-planning 2020
• Private Resource Allocators and Their Applications 2020
• Pseudorandom Black Swans: Cache Attacks on CTR_DRBG 2020
• RAMBleed: Reading Bits in Memory without Accessing Them 2020
• Replicated State Machines without Replicated Execution 2020
• RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization 2020
• SAVIOR: Towards Bug-Driven Hybrid Testing 2020
• SEIMI: Efficient and Secure SMAP-Enabled Intra-process Memory Isolation 2020
• Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity 2020
• SEVurity: No Security Without Integrity - Breaking Integrity 2020
• SoK: A Minimalist Approach to Formalizing Analog Sensor Security 2020
• SoK: Cyber Insurance - Technical Challenges and a System Security Roadmap 2020
• SoK: Differential Privacy as a Causal Property 2020
• SoK: Understanding the Prevailing Security Vulnerabilities in TrustZone-Assisted TEE Systems 2020
• SPECCFI: Mitigating Spectre Attacks Using CFI Informed Speculation 2020
• SPECTECTOR: Principled Detection of Speculative Information Flows 2020
• SPIDER: Enabling Fast Patch Propagation in Related Software Repositories 2020
• Sync HotStuff: Simple and Practical Synchronous State Machine Replication 2020
• Tactical Provenance Analysis our Endpoint Detection and Response Systems 2020
• TARDIS: Rolling Back the Clock on CMS-Targeting Cyber Attacks 2020
• TextExerciser: Feedback-Driven Text Input Exercising for Android Applications 2020
• The Last Mile: High-Assurance and High-Speed Cryptographic Implementations 2020
• The Many Kinds of Creepware Used for Interpersonal Attacks 2020
• The State of the Uniform: Attacks on Encrypted Databases beyond the Uniform Query Distribution 2020
• The Value of Collaboration in Convex Machine Learning with Differential Privacy 2020
• This PIN Can Be Easily Guessed: Analyzing the Security of Smartphone Unlock PINs 2020
• Throwing Darts in the Dark? Detecting Bots with Limited Data using Neural Data Augmentation 2020
• Towards a Natural Perspective of Smart Homes for Practical Security and Safety Analyses 2020
• Towards Effective Differential Privacy Comms for Users’ Data Sharing Decision and Comprehension 2020
• Towards Scalable Threshold Cryptosystems 2020
• Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof 2020
• Transys: Leveraging Common Security Properties across Hardware Designs 2020
• TRRespass: Exploiting the Many Sides of Target Row Refresh 2020
• Understanding and Mitigating Security Risks of General Messaging Protocols on IoT Clouds 2020
• Unexpected Data Dependency Creation and Chaining: A New Attack to SDN 2020
• VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts 2020
• VerX: Safety Verification of Smart Contracts 2020
• WaveSpy: Remote and Through-wall Screen Attack via mmWave Sensing 2020
• xMP: Selective Memory Protection for Kernel and User Space 2020
• ZEXE: Enabling Decentralized Private Computation 2020