AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM. - Shahram Esmaeilsabzali; Arayi Khalatyan; Zhijun Mo; Sruthi Venkatanarayanan; Shengjie Xu (CoRR, 2025)