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