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)