Association for Computing Machinery (ACM) Courses

The Shadow Nemesis - Inference Attacks on Efficiently Deployable, Efficiently Searchable Encryption

Explore inference attacks on searchable encryption, focusing on Bloom filters and graph matching techniques to compromise data confidentiality in encrypted databases.

• YouTube
• 23 minutes
• On-Demand
• Conference Talk

A Comprehensive Formal Security Analysis of OAuth 2.0

Comprehensive formal security analysis of OAuth 2.0, examining authorization, authentication, and session integrity properties, and discussing potential attacks and mitigations.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk

Secure Stable Matching at Scale

Explore secure stable matching algorithms for large-scale applications, focusing on privacy preservation and efficient computation in scenarios like medical residency matching.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

A Unilateral-to-Mutual Authentication Compiler for Key Exchange - with Applications to Client Authentication in TLS 1.3

Explore unilateral-to-mutual authentication in key exchange, focusing on client authentication in TLS 1.3. Learn about the SIGMAC compiler, security definitions, and post-handshake protocols.

• YouTube
• 35 minutes
• On-Demand
• Conference Talk

Practical Non-Malleable Codes from I-More Extractable Hash Functions

Explore practical non-malleable codes using I-more extractable hash functions, covering security, error correction, and applications in cryptography and data integrity.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

Forward Secure Searchable Encryption

Presentation on Σoφoς, a forward secure searchable encryption scheme, discussing its design, security properties, and performance evaluation in comparison to existing solutions.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Order-Revealing Encryption - New Constructions, Applications, and Lower Bounds

Explore new constructions, applications, and lower bounds of Order-Revealing Encryption, focusing on encrypted data searching and range queries with enhanced security and performance.

• YouTube
• 29 minutes
• On-Demand
• Conference Talk

POPE - Partial Order Preserving Encoding

Explore partial order preserving encoding for secure data management, covering introduction, space analysis, security considerations, and addressing audience questions.

• YouTube
• 31 minutes
• On-Demand
• Conference Talk

FeatureSmith - Automatically Engineering Features for Malware Detection by Mining the Security Literature

Explore automated feature engineering for malware detection using security literature mining, enhancing detection accuracy and providing explainable results.

• YouTube
• 25 minutes
• On-Demand
• Conference Talk

VoiceLive - A Phoneme Localization Based Liveness Detection for Voice Authentication on Smartphones

Innovative phoneme localization technique for voice authentication on smartphones, enhancing security against spoofing attacks through advanced speech analysis and microphone array technology.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

CSPAutoGen - Black-box Enforcement of Content Security Policy upon Real-world Websites

Explore black-box enforcement of Content Security Policy on websites, covering deployment, training, rewriting, and evaluation of CSPAutoGen for enhanced web security.

• YouTube
• 26 minutes
• On-Demand
• Conference Talk

Measurement and Analysis of Private Key Sharing in the HTTPS Ecosystem

Explore HTTPS ecosystem's private key sharing practices, risks, and implications for web security. Learn detection methods and analysis of key sharing among domains and hosting providers.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

A Software Approach to Defeating Side Channels in Last-Level Caches

Explore techniques to mitigate side-channel attacks in last-level caches, focusing on Copy-On-Access and Cacheability Management methods for enhanced cloud security.

• YouTube
• 27 minutes
• On-Demand
• Conference Talk

On Code Execution Tracking via Power Side-Channel

Explore power side-channel analysis for code execution tracking in embedded systems, covering key extraction attacks, control flow integrity, and Hidden Markov Models for security applications.

• YouTube
• 29 minutes
• On-Demand
• Conference Talk

Covert Channels through Random Number Generator - Mechanisms, Capacity Estimation and Mitigations

Explore covert channels in random number generators, their mechanisms, capacity estimation, and mitigation strategies for enhanced computer security.

• YouTube
• 31 minutes
• On-Demand
• Conference Talk