AEGIS: Towards Formalized and Practical Memory-Safe Execution of C programs via MSWASM

Shahram Esmaeilsabzali, Arayi Khalatyan, Zhijun Mo +2

Programs written in unsafe languages such as C are prone to memory safety errors, which can lead to program compromises and serious real-world security consequences. Recently, Memo…