/cons/IEEE Security & Privacy/IEEE Security & Privacy 2017/

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