Specifying and Verifying Hardware for Tamper-Resistant Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Lie, John C. Mitchell, Chandramohan A. Thekkath, Mark Horowitz. Specifying and Verifying Hardware for Tamper-Resistant Software. In 2003 IEEE Symposium on Security and Privacy (S&P 2003), 11-14 May 2003, Berkeley, CA, USA. pages 166, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'David Lie' in GoogleThis author has not been identified. Look up 'John C. Mitchell' in GoogleThis author has not been identified. Look up 'Chandramohan A. Thekkath' in GoogleThis author has not been identified. Look up 'Mark Horowitz' in Google

runs on WebDSL