Abhik Saxena [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof 29thUSENIXSecuritySymposium-2020 - Berkeley, USA