Sandbox

vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation

Application sandboxes restrict program behavior to prevent system-wide damage. Within such sandboxes, reference monitors control which …

Ryo Nakashima, Takahiro Shinagawa