MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.

Alexandra E. Michael Anitha Gollamudi Jay Bosamiya Evan Johnson Aidan Denlinger Craig Disselkoen Conrad Watt Bryan Parno Marco Patrignani Marco Vassena Deian Stefan

Published in: Proc. ACM Program. Lang. (2023)