Publications

Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd Austin (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

Mark Gallagher, Lauren Biernacki, Shibo Chen, Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Misiker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci, Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd Austin (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

Jeremy Erickson, Shibo Chen, Melisa Savich, Shengtuo Hu, Zhuoqing Morley Mao (2018). CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts. 2018 IEEE Vehicular Networking Conference (VNC).

PDF Slides DOI

Q. Tan(*), Y. Fiesseha(*), S. Chen(*), L. Biernacki, J.B. Jeannin, S. Malik, T. Austin (*co-first authors) (0001). Security Verification of Low-Trust Architectures. The ACM Conference on Computer and Communications Security 2023 (CCS'23).

PDF DOI