Person. Todd Austin Professor of Electrical Engineering and Computer Science · University of Michigan · web.eecs.umich.edu/~taustin · 0000-0002-0181-0852 PhDUniversity of Wisconsin Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI A Defense-Inspired Benchmark Suite ehrett-2021-aISPASS · 2021 DOI