Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size.
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind Seshadri
VenueA*SP
Year2010
ProceedingsIEEE Symposium on Security and Privacy
DBLP recordconf/sp/FranklinCDS10 ↗
Browse the full SP paper archive.