Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Formally Correct Intermittent Systems
Graph Chatbot
Related lectures (27)
Previous
Page 1 of 3
Next
Designing Formally Correct Intermittent Systems
Explores designing formally correct intermittent systems for extreme edge computing platforms, emphasizing correctness, reliability, and security.
Programming Language Security
Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.
Engineering Multi-Scale Systems
Introduces the Swiss Research Program focused on engineering multi-scale systems for health, security, energy, and the environment.
5G Authentication: Security and SUKI
Explores the evolution of 5G authentication, vulnerabilities in 4G, and improvements in 5G security.
Systems for Health, Security, Energy and the Environment
Covers the Swiss Research Program on Engineering Multi-Scale Systems for Health, Security, Energy, and the Environment.
Engineering the Future: Nano-Tera
Explores the Swiss Research Program Nano-Tera and its impact on engineering multi-scale systems for health, security, energy, and the environment.
Engineering Multi-Scale Systems: Nano-Tera 2016
Explores engineering multi-scale systems for health, security, energy, and the environment, focusing on innovations from labs to daily life.
Engineering Multi-Scale Systems: Nano-Tera
Discusses engineering multi-scale systems for health, security, energy, and the environment, showcasing innovation from labs to daily life.
Separation is all you need: Foundations for Modular Verification
Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
