Formally Correct Intermittent Systems

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (27)

Page 2 of 3

Nano-Tera: Engineering the Future

Explores engineering multi-scale systems for various sectors and showcases advancements in electronics design.

Redox Reactions: Half-Reactions, Potentials, and Applications

Explores redox reactions, electrode potentials, and their practical uses in electrochemistry.

Software Engineering Fundamentals

Introduces the fundamentals of software engineering, covering instruction processing, algorithms, programming languages, abstractions, testing, security, and open source.

Conditional Access II

Covers conditional access, encryption, decryption, authentication, and advanced encryption standards, exploring identity-based encryption, biometrics, and attribute-based encryption.

Process Protection and Efficient Execution

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

Software Correctness: Testing and Verification

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

Nano-Tera: Engineering the Future

Covers engineering multi-scale systems for health, security, energy, and the environment, focusing on taking innovation from labs to daily life.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

WireGuard: Cryptographic Protocol for VPNs

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

Correctness of Compilers: Part 1

Explores compiler correctness, examples of verified compilers, formal verification, and the challenges of certifying compilers.