Parametric Verification of Address Space Separation

Jason Franklin, Sagar Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan. Parametric Verification of Address Space Separation. In Pierpaolo Degano, Joshua D. Guttman, editors, Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Volume 7215 of Lecture Notes in Computer Science, pages 51-68, Springer, 2012. [doi]


Abstract is missing.