Systems Core Courses

Black Hat

How Your E-book Might Be Reading You - Exploiting EPUB Reading Systems

Uncover security vulnerabilities in e-book reading apps through analysis of EPUB format, revealing potential privacy risks and exploitation techniques across various platforms and devices.

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

Black Hat

Electromagnetic Fault Injection & Automotive Systems

Explore electromagnetic fault injection to bypass security in automotive ECUs, demonstrating potential vulnerabilities in modern vehicle systems through practical examples and live demonstrations.

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

Black Hat

Attacking Hardware Systems Using Resonance and the Laws of Physics

Explore resonant frequencies to subvert electronic systems, challenging assumptions about hardware security and demonstrating vulnerabilities in supposedly secure components.

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

Black Hat

Identity Theft - Attacks on SSO Systems

Explore vulnerabilities in SAML-based SSO systems, focusing on XML signature attacks. Learn about potential exploits, threat models, and remediation strategies for securing identity management.

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

Black Hat

Analyzing & Breaking QNX Exploit Mitigations and PRNGs for Embedded Systems

Dissection of QNX's security features, including exploit mitigations and random number generators, for embedded systems in automotive, industrial, defense, and medical sectors.

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

RSA Conference

Cryptography in Distributed Systems

Explore advanced cryptographic techniques for distributed systems, including multi-party revocation, privacy-preserving blockchain identity management, and signature aggregation for improved efficiency.

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

Strange Loop Conference

Formal Modeling and Analysis of Distributed Systems

Explore formal methods for distributed systems using P programming framework. Learn to model, specify, and verify complex systems across development phases, from design to production.

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

Strange Loop Conference

Automatic Generation of Runtime Checkers for Production Distributed Systems

Explore systematic techniques for automatically generating effective runtime checkers to detect and localize failures in complex distributed systems, enhancing reliability and performance.

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

Strange Loop Conference

Nim Nuggets - Systems Programming & Metaprogramming Magic

Explore Nim's advanced features for systems programming, metaprogramming, and static introspection through real-world examples and practical applications.

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

Strange Loop Conference

Systems That Run Forever - Self-Heal and Scale

Explore architectural principles for building scalable, fault-tolerant systems using isolated parallel components, error detection, and live code upgrades, with insights from Erlang's design.

• YouTube
• 1 hour 10 minutes
• On-Demand
• Conference Talk

Strange Loop Conference

Correctness Proofs of Distributed Systems with Isabelle

Explore formal verification of distributed systems using Isabelle/HOL. Learn to prove correctness of algorithms, focusing on consensus and agreement properties in infinite state spaces.

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

Strange Loop Conference

Designing Augmented Reality Systems for Speed

Explore designing AR systems for speed, balancing complex algorithms with resource limitations. Learn trade-offs, concurrency, real-time interactions, and caching in AR development.

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

Strange Loop Conference

Building Financial Systems on Eventually Consistent DBs

Explore Netflix's innovative approach to building scalable, available, and consistent financial systems using eventually consistent databases, balancing tradeoffs between availability and data integrity.

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

Strange Loop Conference

The Holy Grail of Systems Analysis - From What to Where to Why

Explore advanced distributed tracing techniques to pinpoint latency issues in complex microservice architectures, moving beyond traditional monitoring approaches for more effective system analysis.

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

Strange Loop Conference

Building Secure Systems in Haskell

Explore building secure web applications using Haskell's LIO and Hails framework, focusing on data privacy protection through language-level information flow control and declarative policy specification.

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