vRM: Verifying Reference Monitors via Exhaustive Access Pattern Generation.

Ryo Nakashima, Takahiro Shinagawa

Browse the full COMPSAC paper archive.