Systems Core Courses

ICTP Mathematics

Symbolic Dynamics for Nonuniformly Hyperbolic Systems - Lecture 1 of 5

Explore symbolic dynamics for nonuniformly hyperbolic systems, focusing on Markov Partitions and Young Towers. Learn advanced techniques to analyze complex dynamical systems and their statistical properties.

• YouTube
• 2 hours 6 minutes
• On-Demand
• Free Video

ICTP Mathematics

Simultaneous Control of Ensembles of Dynamical Systems

Control strategies for managing multiple dynamic systems simultaneously, focusing on mathematical approaches and applications in various fields.

• YouTube
• 57 minutes
• On-Demand
• Free Video

USENIX

Exploring Practical Vulnerabilities of Machine Learning-Based Wireless Systems

Unveils practical vulnerabilities in ML-based wireless systems through RAFA, a hardware-implemented adversarial attack platform, demonstrating significant performance drops in communication and sensing approaches.

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

USENIX

On Modular Learning of Distributed Systems for Predicting End-to-End Latency

Modular learning framework for predicting end-to-end latency in distributed systems, reducing adaptation costs and improving accuracy for better performance tuning in cloud deployments.

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

USENIX

The Benefit of Hindsight - Tracing Edge-Cases in Distributed Systems

Innovative distributed tracing system for efficiently capturing edge-case issues in large-scale systems, offering low-overhead monitoring and retroactive sampling for precise problem diagnosis.

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

LASCON

Core Rule Set for the Masses: Lessons from Taming ModSecurity Rules at Massive Scale - 2017

Insights on fine-tuning ModSecurity Core Rule Set at scale, reducing false positives, and optimizing web application firewall performance for large-scale deployments.

• YouTube
• 50 minutes
• On-Demand
• Free Video

LASCON

Behavioral Security Modeling - Eliminating Vulnerabilities by Building Predictable Systems

Explore behavioral security modeling to build predictable systems, eliminate vulnerabilities, and address cognitive failures in system design. Learn strategies for effective security implementation.

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

LASCON

Beautiful Payment Systems with OAuth

Explore secure and elegant payment system design using OAuth, focusing on best practices and implementation strategies for developers.

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

Black Hat

How TRITON Disrupted Safety Systems & Changed the Threat Landscape of Industrial Control Systems

Insights into TRITON attack framework targeting industrial safety systems, exploring its unprecedented impact on cyber-warfare and critical infrastructure protection. Analyzes implications for future threats.

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

Hack In The Box Security Conference

Walk Through Access Control Systems

Exploring vulnerabilities in biometric access control systems, including server command forgery, unauthorized user addition, and face database exposure. Demonstrates exploits to leak employee data and bypass security measures.

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

Strange Loop Conference

Typing the Untyped - Soundness in Gradual Type Systems

Explore tradeoffs in gradual type systems for untyped languages, examining soundness vs. completeness in type refinement, array errors, and variance across different implementations.

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

Strange Loop Conference

Towards Language Support for Distributed Systems

Exploring language-level solutions for distributed systems challenges, focusing on CRDTs and serverless function compositions to simplify development and enhance reliability.

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

Hack In The Box Security Conference

Attacking Automated Manufacturing Systems

Explores attack surfaces and vulnerabilities in automated manufacturing systems, discussing potential impacts on product quality, plant safety, and industrial espionage in Industry 4.0 environments.

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

Strange Loop Conference

Building Real-time Systems with Open Source Technologies

Learn to build a real-time analytics stack using Kafka, Storm, and Druid for fast, flexible, and reliable data processing. Discover how to combine these technologies with Hadoop for comprehensive analytics solutions.

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

Strange Loop Conference

The Unintended Consequences of Mining Software Build Systems

Explore how historical build failure data can improve software development processes, with insights on testing, code reviews, remote onboarding, and productivity measurement.

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