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.
Provable Security in Embedded Systems: Verification Work in Tock OS
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.