Explores the SwissCovid app, a proximity-tracing solution against COVID-19, covering technical aspects, building trust, privacy, security, and collaboration with Google and Apple.
Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.
Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.