Security Courses

IEEE

Computer Security and Privacy for Refugees in the United States

Explores computer security challenges faced by US refugees, highlighting reliance on technology, cultural barriers, and the need for tailored security practices to protect this vulnerable population.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

IEEE

Slow But Steady - Achieving Real Security Within Two Decades

Explore strategies for achieving real security in software systems over two decades, focusing on incremental improvements, formal verification, and well-engineered infrastructure.

• YouTube
• 1 hour 7 minutes
• Self-Paced
• Free Video

IEEE

SoK - Science, Security, and the Elusive Goal of Security as a Scientific Pursuit

Explore the challenges of applying scientific principles to computer security research, examining methodological issues and the need for consensus in the field.

• YouTube
• 23 minutes
• Self-Paced
• Free Video

IEEE

Safety to the Weak! Security Through Feebleness - An Unorthodox Manifesto

Explore unorthodox approaches to software-defined infrastructure security, focusing on weak semantics and finite-state systems for improved verification and bug prevention in networking and configuration models.

• YouTube
• 23 minutes
• Self-Paced
• Free Video

IEEE

Talos - Neutralizing Vulnerabilities with Security Workarounds for Rapid Response

Neutralizing vulnerabilities using error-handling code for rapid response, minimizing patch delays while maintaining functionality. Explores automated security workarounds to mitigate risks in popular Linux server applications.

• YouTube
• 20 minutes
• Self-Paced
• Free Video

IEEE

Staying Secure and Unprepared - Understanding and Mitigating the Security Risks of Apple ZeroConf

Explore security risks in Apple's ZeroConf systems, uncovering vulnerabilities in popular apps and services. Learn about innovative protection techniques, including voice-based certificate verification.

• YouTube
• 21 minutes
• Self-Paced
• Free Video

IEEE

High System-Code Security with Low Overhead

Maximize system code security within specified overhead budgets. Automatically instrument programs to balance security and performance, focusing on critical, low-cost checks for effective protection.

• YouTube
• 22 minutes
• Self-Paced
• Free Video

IEEE

Private Nearest Neighbor Search with Sublinear Communication and Malicious Security

Explore secure and efficient private nearest neighbor search techniques, focusing on sublinear communication and protection against malicious adversaries in two-party computation scenarios.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

IEEE

Heapster- Analyzing the Security of Dynamic Allocators for Monolithic Firmware Images

Explore Heapster's innovative approach to analyzing dynamic allocators in monolithic firmware, enhancing security through advanced identification and evaluation techniques.

• YouTube
• 19 minutes
• Self-Paced
• Free Video

IEEE

A Formal Security Analysis of the W3C Web Payment APIs - Attacks and Verification

Explore formal security analysis of W3C Web Payment APIs, including potential attacks and verification methods. Learn about browser models and gain insights into API security.

• YouTube
• 18 minutes
• Self-Paced
• Free Video

IEEE

Compositional Security for Reentrant Applications

Explore reentrant applications' security, focusing on locking integrity and data protection. Learn about static vs dynamic locks and effective approaches to enhance compositional security.

• YouTube
• 14 minutes
• Self-Paced
• Free Video

IEEE

Real-World Snapshots vs. Theory - Questioning the t-Probing Security Model

Explore the limitations of the t-probing security model through real-world laser logic state imaging, examining its implications for configurable logic and image extraction.

• YouTube
• 15 minutes
• Self-Paced
• Free Video

IEEE

Which Privacy and Security Attributes Most Impact Consumers' Risk Perception and Willingness to Purchase IoT Devices

Explore how privacy and security factors influence consumer perceptions and purchasing decisions for IoT devices, with insights on risk assessment and labeling effectiveness.

• YouTube
• 15 minutes
• Self-Paced
• Conference Talk

IEEE

Transys - Leveraging Common Security Properties Across Hardware Designs

Explore hardware security validation techniques and learn how to leverage common security properties across different designs using Transys, improving efficiency in vulnerability detection.

• YouTube
• 17 minutes
• Self-Paced
• Free Video

IEEE

A Security Analysis of the Facebook Ad Library

Análisis de seguridad de la Biblioteca de Anuncios de Facebook, explorando debilidades en la transparencia política y proponiendo métodos para detectar actividades coordinadas no declaradas en publicidad electoral.

• YouTube
• 17 minutes
• Self-Paced
• Free Video