Loading…
Back To Schedule
Thursday, November 12 • 3:00pm - 3:30pm
Poster: High-Assurance Software-Defined IoT Security

Log in to save this to your schedule, view media, leave feedback and see who's attending!

Mr. Sebastian Echeverria
High-Assurance Software-Defined IoT Security

The outcomes for this project are (i) policy abstractions that address the threats identified in each task; (ii) end-to-end prototype, with verified properties, running verified, trusted and untrusted system components; (iii) publications in venues such as NDSS, MilCom, IEEE Security and Privacy, and the USENIX Security Symposium.


Thursday November 12, 2020 3:00pm - 3:30pm EST
Virtual