Publications

Scalable parametric verification of secure systems: How to verify reference monitors without worrying about data structure size

• • Jason Franklin
  • Sagar Chaki
  • et al.
• 2010
• S&P 2010