@misc{indiciae3b21b45f53d0,
  title = {AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM},
  author = {Shahram Esmaeilsabzali and Arayi Khalatyan and Zhijun Mo and Sruthi Venkatanarayanan and Shengjie Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2503.03698},
  note = {Source identifier: 2503.03698}
}