Person. Lauren Biernacki Lafayette College · lbiernac.github.io · 0000-0001-8511-2287 Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI