Model-Checking In-Lined Reference Monitors.

Meera Sridhar, Kevin W. Hamlen

Browse the full VMCAI paper archive.