IEEE Security & Privacy 2021

119 talks · 2021 · indexed by Breach Arc Archive. Links open each talk on YouTube.

Browse with filters →

"Many-out-of-Many" Proofs and Applications to Anonymous Zether 2021
A Decentralized and Encrypted National Gun Registry 2021
A First Look at Zoombombing 2021
A Novel Dynamic Analysis Infrastructure to Instrument Untrusted Execution Flow Across User-Kernel... 2021
A Secure and Formally Verified Linux KVM Hypervisor 2021
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer 2021
A2L: Anonymous Atomic Locks for Scalability in Payment Channel Hubs 2021
Adversarial Watermarking Transformer: Towards Tracing Text Provenance with Data Hiding 2021
Adversary Instantiation: Lower bounds for differentially private machine learning 2021
An I/O Separation Model for Formal Verification of Kernel Implementations 2021
An Interactive Prover for Protocol Verification in the Computational Model 2021
Android Custom Permissions Demystified: From Privilege Escalation to Design Shortcomings 2021
ARBITRAR : User-Guided API Misuse Detection 2021
Bitcoin-Compatible Virtual Channels 2021
Black Widow: Blackbox Data-driven Web Scanning 2021
Bomberman: Defining and Defeating Hardware Ticking Timebombs at Design-time 2021
Bookworm Game: Automatic Discovery of LTE Vulnerabilities Through Documentation Analysis 2021
Breaking the Specification: Certified PDF 2021
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures 2021
CacheOut: Leaking Data on Intel CPUs via Cache Evictions 2021
CanDID: Bootstrapping Decentralized Identity from Legacy Providers 2021
CANnon: Reliable and Stealthy Remote Shutdown Attacks via Unaltered Automotive Microcontrollers 2021
Co-Inflow: Coarse-grained Information Flow Control for Java-like Languages 2021
Compact Certificates of Collective Knowledge 2021
Compositional Non-Interference for Fine-Grained Concurrent Programs 2021
Compositional Security for Reentrant Applications 2021
ConDySTA: Context-Aware Dynamic Supplement to Static Taint Analysis 2021
CrawlPhish: Large-scale Analysis of Client-side Cloaking Techniques in Phishing 2021
Cross Layer Attacks and How to Use Them (for DNS Cache Poisoning, Device Tracking and More) 2021
Cross-Domain Access Control Encryption -- Arbitrary-policy, Constant-size, Efficient 2021
CrossTalk: Speculative Data Leaks Across Cores Are Real 2021
CRYLOGGER: Detecting Crypto Misuses Dynamically 2021
CryptGPU: Fast Privacy-Preserving Machine Learning on the GPU 2021
Data Privacy in Trigger-Action IoT Systems 2021
Defensive Technology Use by Political Activists During the Sudanese Revolution 2021
Detecting AI Trojans Using Meta Neural Analysis 2021
Detecting Filter List Evasion With Event-Loop-Turn Granularity JavaScript Signatures 2021
DIANE: Identifying Fuzzing Triggers in Apps to Generate Under-constrained Inputs for IoT Devices 2021
DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis 2021
Did you mix me? Formally Verifying Verifiable Mix Nets in Electronic Voting 2021
DIFUZZRTL: Differential Fuzz Testing to Find CPU Bugs 2021
Diogenes: Lightweight Scalable RSA Modulus Generation with a Dishonest Majority 2021
Doing good by fighting fraud: Ethical anti-fraud systems for mobile payments 2021
DP-Sniper: Black-Box Discovery of Differential Privacy Violations using Classifiers 2021
DynPTA: Combining Static and Dynamic Analysis for Practical Selective Data Protection 2021
Ebb-and-Flow Protocols: A Resolution of the Availability-Finality Dilemma 2021
Ed25519 Signature Schemes: Theory and Practice 2021
Electromagnetic Covert Channels Can Be Super Resilient 2021
Epochal Signatures for Deniable Group Chats 2021
Ethics in Security and Privacy Research Panel 2021
Fingerprinting the Fingerprinters: Learning to Detect Browser Fingerprinting Behaviors 2021
Good Bot, Bad Bot: Characterizing Automated Browsing Activity 2021
HackEd: A Pedagogical Analysis of Online Vulnerability Discovery Exercises 2021
Happer: Unpacking Android Apps via a Hardware-Assisted Approach 2021
Hardware-Software Contracts for Secure Speculation 2021
Hear “No Evil”, See “Kenansville”: Efficient and Transferable Black-Box Attacks on Automatic ... 2021
High-Assurance Cryptography in the Spectre Era 2021
High-Frequency Trading on Decentralized On-Chain Exchanges 2021
How Did That Get In My Phone? Unwanted App Distribution on Android Devices 2021
Improving Password Guessing via Representation Learning 2021
Intel Hardware Security Academic Award 2021
Invisible Probe: Timing Attacks with PCIe Congestion Side-channel 2021
Is Private Learning Possible with Instance Encoding? 2021
Journey to the Center of the Cookie Ecosystem: Unraveling Actors' Roles and Relationships 2021
Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement 2021
Learning Differentially Private Mechanisms 2021
Lightweight Techniques for Private Heavy Hitters 2021
Linking Bluetooth LE & Classic and Implications for Privacy-Preserving Bluetooth-Based Protocols 2021
Lockable Signatures for Blockchains: Scriptless Scripts for all Signatures 2021
Machine unlearning 2021
MAD-HTLC: Because HTLC is Crazy-Cheap to Attack 2021
Manipulation Attacks in Local Differential Privacy 2021
Merkle^2: A Low-Latency Transparency Log System 2021
Method Confusion Attack on the Bluetooth Pairing Process 2021
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis 2021
On the Anonymity Guarantees of Anonymous Proof-of-Stake Protocols 2021
On the Just-In-Time Discovery of Profit-Generating Transactions in DeFi Protocols 2021
One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation 2021
OSPREY: Recovery of Variable and Data Structure via Probabilistic Analysis for Stripped Binary 2021
Pegasus: Bridging Polynomial and Non-polynomial Evaluations in Homomorphic Encryption 2021
PLATYPUS: Software-based Power Side-Channel Attacks on x86 2021
Poltergeist: Acoustic Manipulation of Image Stabilization towards Object Mis-Labeling 2021
Post-Quantum WireGuard 2021
Proactive Threshold Wallets with Offline Devices 2021
Proof-of-Learning: Definitions and Practice 2021
Randomized Last-Level Caches Are Still Vulnerable to Cache Side-Channel Attacks! But We Can Fix It 2021
Reading Between the Lines: An Extensive Evaluation of the Security and Privacy Implications ... 2021
Real-World Snapshots vs. Theory: Questioning the t-Probing Security Model. 2021
Red Belly: a Deterministic Scalable Open Permissioned Blockchain 2021
Response-Hiding Encrypted Ranges: Revisiting Security via Parametrized Leakage-Abuse Attacks 2021
Revealer: Detecting and Exploiting Regular Expression Denial-of-Service Vulnerabilities 2021
Runtime Recovery of Web Applications under Zero-Day ReDoS Attacks 2021
Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks 2021
Self-Supervised Euphemism Detection and Identification for Content Moderation 2021
SGUARD: Smart Contracts Made Vulnerability-Free 2021
Short Talks On Tuesday 2021
Short Talks On Wednesday 2021
SIRNN: A Math Library for Secure RNN Inference 2021
SmartPulse: Automated Checking of Temporal Properties in Smart Contracts 2021
SoK: All You Ever Wanted to Know About Binary Disassembly But Were Afraid to Ask 2021
SoK: Computer-Aided Cryptography 2021
SoK: Fully Homomorphic Encryption Compilers 2021
SoK: Hate, Harassment, and the Changing Landscape of Online Abuse 2021
SoK: Quantifying Cyber Risk 2021
SoK: Security and Privacy in the Age of Commercial Drones 2021
SoK: The Faults in our ASRs: An Overview of Attacks against Automatic Speech Recognition and ... 2021
STOCHFUZZ: Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic ... 2021
Survivalism: Systematic Analysis of Malware Living-Off-The-Land 2021
Systematic Analysis of Randomization-based Protected Cache Architectures 2021
The EMV Standard: Break, Fix, Verify 2021
They Would do Better if They Worked Together: The Case of Interaction Problems Between Password ... 2021
Trouble Over-The-Air: An Analysis of FOTA Apps in the Android Ecosystem 2021
Trust, But Verify: A Longitudinal Analysis Of Android OEM Compliance and Customization 2021
Using Selective Memoization to Defeat Regular Expression Denial of Service (ReDoS) 2021
When Function Signature Recovery Meets Compiler Optimization 2021
Which Privacy and Security Attributes Most Impact Consumers' Risk Perception and Willingness to ... 2021
Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems 2021
Wolverine: Fast, Scalable, and Communication-Efficient Zero-Knowledge Proofs for Boolean and ... 2021
Zero Knowledge for Everything and Everyone: Fast ZK Processor with Cached ORAM for ANSI C Programs 2021