Open Source Firmware Conference 2024

Samir Rashid

I am a student at UC San Diego interested in making it easy to create safe software. I contribute to the Rust-based Tock Operating System and am working towards ensuring that systems software is reliable and correct.


Country:

United States of America

Employer:

University of California, San Diego

Github:

Samir-Rashid


Session

09-03
10:45
30min
Provable Security in Embedded Systems: Verification Work in Tock OS
Samir Rashid

Learn about the cutting edge work that is happening in verifying isolation guarantees and timer correctness in Tock OS. Tock is an operating system written in Rust for low-power microcontrollers. You will learn about our progress proving that isolation guarantees are met by the system using formal methods.

Main Room