Papers
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares zhou-2023-galapagosCCS · 2023
Owl: Compositional Verification of Security Protocols via an Information-Flow Type System gancher-2023-owlIEEE S&P · 2023
sydneygibson person entries/rolodex/sydneygibson.hel