Open Source Firmware Conference 2024

“Provable Security in Embedded Systems: Verification Work in Tock OS”

Feedback is a valuable tool for speakers to improve their content and presentation. Even short feedback can prove valuable to a speaker! Please take the time and communicate your thoughts in a constructive way. Thank you for your feedback!