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 …

中島諒, 品川高廣