Control Systems Courses

IEEE

CirC - Compiler Infrastructure for Proof Systems, Software Verification, and More

Explore compiler infrastructure for proof systems and software verification, focusing on CirC's capabilities, multiparty computation, and potential applications in various domains.

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

IEEE

Universal 3-Dimensional Perturbations for Black-Box Attacks on Video Recognition Systems

Explore innovative techniques for creating universal 3D perturbations to challenge and test the robustness of video recognition systems in black-box attack scenarios.

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

IEEE

Are We There Yet? Timing and Floating-Point Attacks on Differential Privacy Systems

Explore timing and floating-point vulnerabilities in differential privacy systems, uncovering potential privacy leaks and discussing mitigation strategies for enhanced data protection.

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

IEEE

Data Privacy in Trigger-Action IoT Systems

Explore security concerns and innovative solutions for trigger-action IoT systems, focusing on data privacy and the benefits of the GoBot Circuit approach.

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

IEEE

Co-Inflow - Coarse-Grained Information Flow Control for Java-Like Languages

Explore coarse-grained information flow control in Java-like languages, covering concepts, examples, and label values for enhanced security and data protection.

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

IEEE

Doing Good by Fighting Fraud - Ethical Anti-Fraud Systems for Mobile Payments

Explore ethical anti-fraud systems for mobile payments, addressing algorithmic bias and user challenges while examining key metrics and design principles for effective fraud detection.

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

IEEE

SoK - The Faults in Our ASRs - An Overview of Attacks Against Automatic Speech Recognition and Speaker Identification Systems

Overview of vulnerabilities and attacks against automatic speech recognition and speaker identification systems, exploring various attack vectors and defense strategies.

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

IEEE

Hear "No Evil", See "Kenansville" - Efficient and Transferable Black-Box Attacks on Automatic Speech Recognition Systems

Explore efficient black-box attacks on automatic speech recognition systems, including untargeted and targeted attacks, their impact on transcription, and real-world implications through demos and user studies.

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

IEEE

Krace: Data Race Fuzzing for Kernel File Systems

Innovative fuzzing technique for detecting data races in kernel file systems, enhancing concurrency coverage tracking and active interleaving exploration through delay injection.

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

IEEE

Protecting Bare-metal Embedded Systems with Privilege Overlays

Innovative technique for securing bare-metal embedded systems using privilege overlaying, code integrity, and randomization to prevent attacks while minimizing performance impact.

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

IEEE

On the Practicality of Cryptographically Enforcing Dynamic Access Control Policies in the Cloud

Explores the practical challenges of implementing cryptographic access control for cloud data, highlighting computational costs and bottlenecks in dynamic scenarios.

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

IEEE

Privacy and Access Control for Outsourced Personal Records

Cryptographic system GORAM protects outsourced data secrecy, integrity, and access control while ensuring anonymity and unlinkability, addressing cloud storage security concerns for sensitive applications.

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

USENIX

Knowledge and Power - A Sociotechnical Systems Discussion on the Future of SRE

Exploring sociotechnical systems in SRE, balancing operational load with learning, and examining knowledge sharing and risk reduction. Offers new perspectives on organizational structures shaping work practices.

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

USENIX

Control-Flow Bending - On the Effectiveness of Control-Flow Integrity

Explores Control-Flow Bending attacks on Control-Flow Integrity defenses, revealing vulnerabilities in fine-grained CFI implementations and demonstrating the necessity of shadow stacks for enhanced security against memory corruption.

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

USENIX

Taking Control of Metrics Growth and Cardinality - Tips for Maximizing Your Observability

Strategies for managing metrics growth and cardinality in cloud-native environments, focusing on best practices, KPIs, and team collaboration to enhance observability and streamline remediation processes.

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