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.
Samir-Rashid
Homepage – Country –United States of America
Employer –University of California, San Diego
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