Person. Yonathan Fisseha PhD · University of Michigan · yonathanfisseha.com · 0009-0000-9645-2885 PhD advisorJean-Baptiste Jeannin PhDUniversity of Michigan Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI