Formally Correct Intermittent Systems

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (28)

Designing Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Explores designing formally correct intermittent systems for extreme edge computing platforms, emphasizing correctness, reliability, and security.

5G Authentication: Security and SUKI Log in to Mediaspace to watch this video

Explores the evolution of 5G authentication, vulnerabilities in 4G, and improvements in 5G security.

Separation is all you need: Foundations for Modular Verification Log in to Mediaspace to watch this video

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

Process Protection and Efficient Execution Log in to Mediaspace to watch this video

Explores process execution, protection, and efficient OS mechanisms for secure and reliable multi-program environments.

Software Correctness: Testing and Verification Log in to Mediaspace to watch this video

Explores software correctness through testing, verification, property-based fuzzing, and dynamic information flow control.

WireGuard: Cryptographic Protocol for VPNs Log in to Mediaspace to watch this video

Explores the WireGuard Protocol, a modern VPN replacement for IPsec and OpenVPN, focusing on encrypted tunnelling and security properties.

Hoare Logic: Foundations and Applications Log in to Mediaspace to watch this video

Covers Hoare Logic, its foundations, applications, and significance in program verification.

Introduction to Operating Systems Log in to Mediaspace to watch this video

Covers the fundamentals of operating systems, including core services, system calls, design goals, and challenges.

Page 2 of 2