[Front cover] (PDF)

[Title page i] (PDF)

[Title page iii] (PDF)

[Copyright notice] (PDF)

Table of contents (PDF)

Message from the General Chair (PDF)

Message from the Program Committee Co-Chairs (PDF)

Organizing Committee (PDF)

Program Committee (PDF)

External Reviewers (PDF)

Membership Inference Attacks Against Machine Learning Models (PDF)

SecureML: A System for Scalable Privacy-Preserving Machine Learning (PDF)

Towards Evaluating the Robustness of Neural Networks (PDF)

Is Interaction Necessary for Distributed Private Learning? (PDF)

Pyramid: Enhancing Selectivity in Big Data Protection with Count Featurization (PDF)

SoK: Science, Security and the Elusive Goal of Security as a Scientific Pursuit (PDF)

Stack Overflow Considered Harmful? The Impact of Copy&Paste on Android Application Security (PDF)

Obstacles to the Adoption of Secure Communication Tools (PDF)

Comparing the Usability of Cryptographic APIs (PDF)

SoK: Cryptographically Protected Database Search (PDF)

IoT Goes Nuclear: Creating a ZigBee Chain Reaction (PDF)

SoK: Exploiting Network Printers (PDF)

How They Did It: An Analysis of Emission Defeat Devices in Modern Automobiles (PDF)

The Password Reset MitM Attack (PDF)

An Experimental Security Analysis of an Industrial Robot Controller (PDF)

Protecting Bare-Metal Embedded Systems with Privilege Overlays (PDF)

NORAX: Enabling Execute-Only Memory for COTS Binaries on AArch64 (PDF)

Securing Augmented Reality Output (PDF)

SysPal: System-Guided Pattern Locks for Android (PDF)

Multi-touch Authentication Using Hand Geometry and Behavioral Information (PDF)

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies (PDF)

Catena: Efficient Non-equivocation via Bitcoin (PDF)

IKP: Turning a PKI Around with Decentralized Automated Incentives (PDF)

Augur: Internet-Wide Detection of Connectivity Disruptions (PDF)

Scalable Bias-Resistant Distributed Randomness (PDF)

Implementing and Proving the TLS 1.3 Record Layer (PDF)

Verified Models and Reference Implementations for the TLS 1.3 Standard Candidate (PDF)

SymCerts: Practical Symbolic Execution for Exposing Noncompliance in X.509 Certificate Validation Implementations (PDF)

HVLearn: Automated Black-Box Analysis of Hostname Verification in SSL/TLS Implementations (PDF)

CRLite: A Scalable System for Pushing All TLS Revocations to All Browsers (PDF)

Finding and Preventing Bugs in JavaScript Bindings (PDF)

Skyfire: Data-Driven Seed Generation for Fuzzing (PDF)

VUDDY: A Scalable Approach for Vulnerable Code Clone Discovery (PDF)

NEZHA: Efficient Domain-Independent Differential Testing (PDF)

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes (PDF)

Leakage-Abuse Attacks against Order-Revealing Encryption (PDF)

Side-Channel Attacks on Shared Search Indexes (PDF)

From Trash to Treasure: Timing-Sensitive Garbage Collection (PDF)

Verifying and Synthesizing Constant-Resource Implementations with Types (PDF)

CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees (PDF)

How to Learn Klingon without a Dictionary: Detection and Measurement of Black Keywords Used by the Underground Economy (PDF)

To Catch a Ratter: Monitoring the Behavior of Amateur DarkComet RAT Operators in the Wild (PDF)

A Lustrum of Malware Network Communication: Evolution and Insights (PDF)

Under the Shadow of Sunshine: Understanding and Detecting Bulletproof Hosting on Legitimate Service Provider Networks (PDF)

Your Exploit is Mine: Automatic Shellcode Transplant for Remote Exploits (PDF)

Optimized Honest-Majority MPC for Malicious Adversaries — Breaking the 1 Billion-Gate Per Second Barrier (PDF)

vSQL: Verifying Arbitrary SQL Queries over Dynamic Outsourced Databases (PDF)

A Framework for Universally Composable Diffie-Hellman Key Exchange (PDF)

One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation (PDF)

Cryptographic Function Detection in Obfuscated Binaries via Bit-Precise Symbolic Loop Mapping (PDF)

XHOUND: Quantifying the Fingerprintability of Browser Extensions (PDF)

Identifying Personal DNA Methylation Profiles by Genotype Inference (PDF)

Counter-RAPTOR: Safeguarding Tor Against Active Routing Attacks (PDF)

Machine-Checked Proofs of Privacy for Electronic Voting Protocols (PDF)

Spotless Sandboxes: Evading Malware Analysis Systems Using Wear-and-Tear Artifacts (PDF)

Hardening Java’s Access Control by Abolishing Implicit Privilege Elevation (PDF)

Cloak and Dagger: From Two Permissions to Complete Control of the UI Feedback Loop (PDF)

SmarPer: Context-Aware and Automatic Runtime-Permissions for Mobile Devices (PDF)

The Feasibility of Dynamically Granted Permissions: Aligning Mobile Privacy with User Preferences (PDF)

IVD: Automatic Learning and Enforcement of Authorization Rules in Online Social Networks (PDF)

Author index (PDF)

[Publisher's information] (PDF)