Person. Sharad Malik George Van Ness Lothrop Professor of Engineering · Princeton University · princeton.edu/~sharad · 0000-0002-0837-5443 PhDUniversity of California, Berkeley Papers Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023 DOI