Security Courses

IEEE

Touching the Untouchables - Dynamic Security Analysis of the LTE Control Plane

Dynamic security analysis of LTE control plane procedures, uncovering 36 vulnerabilities in operational networks. Demonstrates attacks affecting service availability, SMS spoofing, and data manipulation.

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

IEEE

Should I Worry? A Cross Cultural Examination of Account Security Incident Response

Exploring users' real-time responses to suspicious login incidents across cultures, revealing common patterns and unique challenges in digital security incident handling.

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

IEEE

LBM - A Security Framework for Peripherals within the Linux Kernel

Explore a security framework for Linux kernel peripherals, focusing on defending against malicious devices and understanding self-encryption techniques and potential vulnerabilities.

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

IEEE

Enumerating Active IPv6 Hosts for Large-Scale Security Scans via DNSSEC-Signed Reverse Zones

Discover a novel technique for enumerating active IPv6 addresses through DNSSEC-signed reverse zones, revealing significant security vulnerabilities in IPv6-connected devices and infrastructure.

• 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