Formal security analysis of smart embedded systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Farid Molazem Tabrizi, Karthik Pattabiraman. Formal security analysis of smart embedded systems. In Stephen Schwab, William K. Robertson, Davide Balzarotti, editors, Proceedings of the 32nd Annual Conference on Computer Security Applications, ACSAC 2016, Los Angeles, CA, USA, December 5-9, 2016. pages 1-15, ACM, 2016. [doi]

This author has not been identified. Look up 'Farid Molazem Tabrizi' in GoogleThis author has not been identified. Look up 'Karthik Pattabiraman' in Google

runs on WebDSL