Research project focused on developing sophisticated program analysis techniques specifically designed for WebAssembly (WASM) runtime environments. This work is conducted at Northeastern University as part of the SecLab research group.

Project Overview

WebAssembly has emerged as a critical technology for web applications, serverless computing, and edge deployment scenarios. However, the unique characteristics of WASM—its stack-based virtual machine, linear memory model, and sandboxed execution environment—present novel challenges for traditional program analysis approaches.