XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing Tomography. - Zhiyuan Yu 001; Yuanhaur Chang; Shixuan Zhai; Nicholas Deily; Tao Ju; XiaoFeng Wang 001; Uday Jammalamadaka; Ning Zhang 017 (USENIX Security Symposium, 2023)