System M: A Program Logic for Code Sandboxing and Identification

Limin Jia, Shayak Sen, Deepak Garg +1

Security-sensitive applications that execute untrusted code often check the code's integrity by comparing its syntax to a known good value or sandbox the code to contain its effect…