(2022). Twine: A Chisel Extension for Component-Level Heterogeneous Design. Proceedings of the Design, Automation and Test in Europe Conference 2022.

PDF Slides Video DOI

(2019). Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn. Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems.

PDF Slides Video DOI

(2018). CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts. 2018 IEEE Vehicular Networking Conference (VNC).

PDF Slides DOI

(0001). Security Verification of Low-Trust Architectures. The ACM Conference on Computer and Communications Security 2023 (CCS'23).