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]
@inproceedings{TabriziP16,
title = {Formal security analysis of smart embedded systems},
author = {Farid Molazem Tabrizi and Karthik Pattabiraman},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2991085},
researchr = {https://researchr.org/publication/TabriziP16},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Proceedings of the 32nd Annual Conference on Computer Security Applications, ACSAC 2016, Los Angeles, CA, USA, December 5-9, 2016},
editor = {Stephen Schwab and William K. Robertson and Davide Balzarotti},
publisher = {ACM},
isbn = {978-1-4503-4771-6},
}