Cited By
View all- Johnson ELaufer EZhao ZGohman DNarayan SSavage SStefan DBrown F(2023)WaVe: a verifiably secure WebAssembly sandboxing runtime2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179357(2940-2955)Online publication date: May-2023
- Kolosick MNarayan SJohnson EWatt CLeMay MGarg DJhala RStefan D(2022)Isolation without taxation: near-zero-cost transitions for WebAssembly and SFIProceedings of the ACM on Programming Languages10.1145/34986886:POPL(1-30)Online publication date: 12-Jan-2022
- Liu PZhao GHuang JRothermel GBae D(2020)Securing unsafe rust programs with XRustProceedings of the ACM/IEEE 42nd International Conference on Software Engineering10.1145/3377811.3380325(234-245)Online publication date: 27-Jun-2020
- Show More Cited By