Login / Signup

Static analysis based invariant detection for commodity operating systems.

Jinpeng WeiFeng ZhuYasushi Shinjo
Published in: CollaborateCom (2011)
Keyphrases