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]
Abstract is missing.