Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri. Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size. In 31st IEEE Symposium on Security and Privacy, S&P 2010, 16-19 May 2010, Berleley/Oakland, California, USA. pages 365-379, IEEE Computer Society, 2010. [doi]