Lectures related to Efficient Safety-Critical Systems

Building Safety Critical Systems

Explores integrating efficiency into safety critical systems, balancing correctness and efficiency, and the challenges of certification processes.

MicroC/OS-II: Real-Time Kernel Overview

Provides an overview of MicroC/OS-II, a real-time kernel with multitasking capabilities and deterministic functions, covering topics such as task management, kernel, and intertask communication.

SSL Certificates: Understanding and Python Implementation

Delves into SSL certificates, Python implementation, and root certificate chains.

RTOS: Scheduler Mechanisms and Semaphores

Explores RTOS scheduler mechanisms, semaphores, mutexes, and communication methods between tasks.

SSL Certificates: Understanding and Python Implementation

Explores SSL certificates, their analysis in browsers and Python, and root certificate chain retrieval.

TLS and Certificate Authorities

Explores the evolution of TLS protocols, the role of certificate authorities, vulnerabilities in outdated encryption, and real-world certificate-related attacks.

Timing and Performance Analysis: Model Checking

Covers timing and performance analysis using model checking and multiple objective scheduling.

TLS: Transport Layer Security

Explores the evolution and vulnerabilities of TLS, emphasizing the enhancements in TLS 1.3 and the role of certificate authorities.

TLS: Understanding Certificates and Python Implementation

Explores TLS certificates in web browsers and Python, covering verification, root and intermediate certificates, and Python code for analysis.

Cryptography Basics

Covers authentication, authorization, encryption techniques, vulnerabilities, and the impact of quantum computing on cryptography.

Advanced Features of a Learning Management System

Explores advanced features of an LMS, including grading policies, course organization, and practical sessions.

Authentication and Best Practices: Challenges and Solutions

Explores authentication, identity theft risks, privacy protection, and ethical data handling.

Cryptography: public key

Explains public-key cryptography, digital signatures, and key distribution for secure communication.

Cryptography basics: Quantum Systems

Covers the basics of cryptography, encryption, decryption, error detection, and the impact of quantum computing.

Theory of Computation: NP Complexity

Delves into oracles, certificates, and the NP complexity class, raising the fundamental P versus NP question.

Enhancement of Basic Edge IoT Sensors MOOC: IoT Systems and Industrial Applications with Design Thinking

Explores enhancements in basic IoT sensors for AI and security, showcasing the powerful Apple Watch series four as an advanced edge IoT system.

Using SCITAS Clusters

Covers the setup and usage of general purpose computing clusters at EPFL.

Rethinking OSes for Datacenters

Explores Junction, a new approach combining kernel bypass with resource multiplexing for improved datacenter OS performance.

Untitled

Real-Time Control Systems: Determinism and Automation Log in to Mediaspace to watch this video

Explores real-time control systems, determinism, and automation in critical systems, emphasizing the significance of meeting time constraints for safety and efficiency.