Person. Shibo Chen Platform Architect · Tenstorrent · shibo.tech · 0000-0002-9522-8934 PhDUniversity of Michigan UndergraduateUniversity of Michigan Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI