Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Explores property-based testing using QuickChick, focusing on software correctness, specifications, and dynamic information flow control.
Discusses the need for proven trustworthiness in computer systems and the rigorous approach to achieving true trustworthiness in critical systems.
Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.
