Operating Systems Courses

Arm Education Microcredential

Advanced Embedded Systems on Arm

Explore IoT and ML on Arm-based systems. Build practical applications, from environmental sensors to activity monitors. Learn device management, data transmission, and edge computing implementation.

• edX
• 13 weeks, 3-6 hours a week
• On-Demand
• $198.00
• 2 courses

Kaspersky

Validating Defence Mechanism of Cyber-Physical Systems via Attack Tool

Evaluation of defence mechanisms for cyber-physical systems using attack tools, focusing on distributed attack detection in industrial control systems and SWAT network architecture.

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

Kaspersky

Understanding and Detecting Cyberphysical Threats on Water Systems

Explore cyberphysical threats to water systems, focusing on urban infrastructure, digital ICS, and detection methods using deep learning and specialized tools.

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

Kaspersky

Managed Detection and Response Delivery Models for Industrial Control Systems

Explore managed detection and response models for industrial control systems, covering operational technology, targeted attacks, and implementation stages for enhanced cybersecurity.

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

IEEE

Spotless Sandboxes: Evading Malware Analysis Systems Using Wear-and-Tear Artifacts

Explore techniques for evading malware analysis systems by exploiting wear-and-tear artifacts on real devices, with insights on detection accuracy and potential defensive strategies.

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

IEEE

Algorithmic Transparency via Quantitative Input Influence - Theory and Experiments with Learning Systems

Exploring quantitative input influence measures to enhance algorithmic transparency in machine learning systems, with applications in decision-making, oversight, and privacy-preserving transparency reports.

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

IEEE

Heap Models for Exploit Systems

Formal modeling of heap exploits as abstract machines, exploring physical and logical heap properties to express attacks as reachability problems in specific heap configurations.

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

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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• 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
• On-Demand
• Free Video