@article{Franklin2018, author = "Jason Franklin and Sagar Chaki and Anupam Datta and Arvind Sesahdri", title = "{Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size (CMU-CyLab-10-005)}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Scalable_Parametric_Verification_of_Secure_Systems_How_to_Verify_Reference_Monitors_without_Worrying_about_Data_Structure_Size_CMU-CyLab-10-005_/6468041", doi = "10.1184/R1/6468041.v1" }