CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts. - Jeremy Erickson; Shibo Chen 001; Melisa Savich; Shengtuo Hu; Z. Morley Mao (VNC, 2018)

Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn. - Mark Gallagher 003; Lauren Biernacki; Shibo Chen 001; Zelalem Birhanu Aweke; Salessawi Ferede Yitbarek; Misiker Tadesse Aga; Austin Harris 001; Zhixing Xu; Baris Kasikci; Valeria Bertacco; Sharad Malik; Mohit Tiwari; et al. (ASPLOS, 2019)

Twine: A Chisel Extension for Component-Level Heterogeneous Design. - Shibo Chen 001; Yonathan Fisseha; Jean-Baptiste Jeannin; Todd M. Austin (DATE, 2022)

Security Verification of Low-Trust Architectures. - Qinhan Tan; Yonathan Fisseha; Shibo Chen 001; Lauren Biernacki; Jean-Baptiste Jeannin; Sharad Malik; Todd M. Austin (CCS, 2023)

Zipper: Latency-Tolerant Optimizations for High-Performance Buses. - Shibo Chen 001; Hailun Zhang; Todd M. Austin (ASP-DAC, 2025)