@inproceedings{johnson:2023:wave,
  title={Evan Johnson and Evan Laufer and Zijie Zhao and Dan Gohman and Shravan Narayan and Stefan Savage and Deian Stefan and Fraser Brown},
  author={{WaVe}: a verifiably secure {WebAssembly} sandboxing runtime},
  booktitle={IEEE Symposium on Security and Privacy (S\&P)},
  month={May},
  year={2023},
  organization={IEEE}
}