Association for Computing Machinery (ACM) Courses

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

C-FLAT - Control-Flow Attestation for Embedded Systems Software

Control-flow attestation for embedded systems: detect runtime attacks, ensure software integrity. Novel approach combines remote attestation with control-flow monitoring for enhanced security in IoT devices.

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

ΛОλ - Functional Lattice Cryptography

Explore functional lattice cryptography, focusing on cyclotomic rings and FHE implementations. Learn about performance improvements and a compiler for homomorphic evaluation.

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

Efficient Batched Oblivious PRF with Applications to Private Set Intersection

Explores efficient batched oblivious PRF for private set intersection, presenting novel protocols and discussing security implications and comparisons with existing methods.

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

MASCOT - Faster Malicious Arithmetic Secure Computation with Oblivious Transfer

Explore advanced techniques for secure multiparty computation, focusing on oblivious transfer and authentication methods to enhance efficiency and security in distributed computing.

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

A Framework for Prototyping Applications Using Multilinear Maps and Matrix Branching Programs

Explore a novel framework for prototyping applications using multilinear maps and matrix branching programs, focusing on optimizations, cryptographic techniques, and performance improvements in program obfuscation.

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

Garbling Gadgets for Boolean and Arithmetic Circuits

Explore innovative garbling techniques for Boolean and arithmetic circuits, enhancing cryptographic protocols and secure computation methods.

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

Optimizing Semi-Honest Secure Multiparty Computation for the Internet

Optimizing secure multiparty computation for internet use, focusing on efficiency improvements in BMR protocol and OT-based methods for honest-minority settings.

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

Alternative Implementations of Secure Real Numbers

Explore alternative implementations of secure real numbers, including golden section numbers and logarithmic floats, with benchmarks for various operations in secure computation outsourcing.

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

Hypnoguard - Protecting Secrets across Sleep-Wake Cycles

Innovative approach to protect sensitive data during sleep-wake cycles, addressing memory secrets and implementation challenges in computer security systems.

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

iLock - Immediate and Automatic Locking of Mobile Devices against Data Theft

Innovative mobile device security system using acoustic sensing to automatically lock devices when users leave, preventing data theft and unauthorized access.

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

The "Web/Local" Boundary Is Fuzzy - A Security Study of Chrome's Process-based Sandboxing

Explore Chrome's process-based sandboxing, its security implications, and potential vulnerabilities in web browser architecture. Learn about attacks exploiting the fuzzy web/local boundary.

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

Build It, Break It, Fix It - Contesting Secure Development

Explore secure development through a competitive contest format, analyzing builder strategies, common vulnerabilities, and resilience in software security.

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

Practical Detection of Entropy Loss in Pseudo-Random Number Generators

Explore techniques for detecting entropy loss in pseudo-random number generators, crucial for cryptographic security. Learn analysis procedures and implementation strategies.

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

When CSI Meets Public WiFi - Inferring Your Mobile Phone Password via WiFi Signals

Explores WiFi signal-based mobile password inference, discussing attack scenarios, challenges, system design, and data processing methods for enhancing cybersecurity awareness.

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