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.