Person. Qinhan Tan Princeton University · sites.google.com/view/qinhantan · 0000-0003-2475-3675 Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI