IEEE Security & Privacy 2017 (May 22 - 24 2017)
58 talks · 2017 · indexed by Breach Arc Archive. Links open each talk on YouTube.
Browse with filters →- A Framework for Universally Composable Diffie-Hellman Key Exchange 2017
- A Lustrum of Malware Network Communication: Evolution and Insights 2017
- An Experimental Security Analysis of an Industrial Robot Controller 2017
- Augur: Internet-Wide Detection of Connectivity Disruptions 2017
- Backward-bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes 2017
- Catena: Efficient Non-equivocation via Bitcoin 2017
- Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop 2017
- Comparing the Usability of Cryptographic APIs 2017
- CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 2017
- Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks 2017
- CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers 2017
- Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping 2017
- Finding and Preventing Bugs in JavaScript Bindings 2017
- From Trash to Treasure: Timing-Sensitive Garbage Collection 2017
- Hardening Java's Access Control by Abolishing Implicit Privilege Elevation 2017
- Hijacking Bitcoin: Routing Attacks on Cryptocurrencies 2017
- How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles 2017
- HVLearn: Automated Black-box Analysis of Hostname Verification in SSL/TLS Implementations 2017
- Identifying Personal DNA Methylation Profiles by Genotype Inference 2017
- IKP: Turning a PKI Around with Decentralized Automated Incentives 2017
- Implementing and Proving the TLS 1.3 Record Layer 2017
- IoT Goes Nuclear: Creating a Zigbee Chain Reaction 2017
- Is Interaction Necessary for Distributed Private Learning? 2017
- IVD: Automatic Learning and Enforcement of Authorization Rules in Online Social Networks 2017
- Leakage-Abuse Attacks on Order-Revealing Encryption 2017
- Machine-Checked Proofs of Privacy for Electronic Voting Protocols 2017
- Membership Inference Attacks against Machine Learning Models 2017
- Multi-touch Authentication Using Hand Geometry and Behavioral Information 2017
- NEZHA: Efficient Domain-independent Differential Testing 2017
- Norax: Enabling Execute-Only Memory for COTS Binaries on AArch64 2017
- Obstacles to the Adoption of Secure Communication Tools 2017
- One TPM to Bind Them All: Fixing TPM2.0 for Provably Secure Anonymous Attestation 2017
- Optimized Honest-Majority MPC for Malicious Adversaries - Breaking 1 Billion-Gate/Second Barrier 2017
- Protecting Bare-metal Embedded Systems with Privilege Overlays 2017
- Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization 2017
- Scalable Bias-Resistant Distributed Randomness 2017
- SecureML: A System for Scalable Privacy-Preserving Machine Learning 2017
- Securing Augmented Reality Output 2017
- Side-Channel Attacks on Shared Search Indexes 2017
- Skyfire: Data-Driven Seed Generation for Fuzzing 2017
- SmarPer: Context-Aware and Automatic Runtime-Permissions for Mobile Devices 2017
- SoK: Cryptographically Protected Database Search 2017
- SoK: Exploiting Network Printers 2017
- SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit 2017
- Spotless Sandboxes: Evading Malware Analysis Systems using Wear-and-Tear Artifacts 2017
- Stack Overflow Considered Harmful? --- The Impact of Copy&Paste on Android Application Security 2017
- SymCerts: Practical Symbolic Execution For Exposing Noncompliance in X.509 Certificate Validation 2017
- SysPal:System-guided Pattern Locks for Android 2017
- The Feasibility of Dynamically Granted Permissions: Aligning Mobile Privacy with User Preferences 2017
- To Catch a Ratter: Monitoring the Behavior of Amateur DarkComet RAT Operators in the Wild 2017
- Towards Evaluating the Robustness of Neural Networks 2017
- Under the Shadow of Sunshine: Understanding & Detecting Bulletproof Hosting 2017
- Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate 2017
- Verifying and Synthesizing Constant-Resource Implementations with Types 2017
- vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases 2017
- VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery 2017
- XHOUND: Quantifying the Fingerprintability of Browser Extensions 2017
- Your Exploit is Mine: Automatic Shellcode Transplant for Remote Exploits 2017