Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jason Franklin' in GoogleThis author has not been identified. Look up 'Sagar Chaki' in GoogleThis author has not been identified. Look up 'Anupam Datta' in GoogleThis author has not been identified. Look up 'Arvind Seshadri' in Google

runs on WebDSL