Static Analysis Based Invariant Detection for Commodity Operating Systems Invited Paper Proceedings Paper

International Collaboration

cited authors

  • Wei, Jinpeng; Zhu, Feng; Shinjo, Yasushi; ICST

publication date

  • 2011

author keyword

category

research area