Formal security analysis of smart embedded systems.

Farid Molazem Tabrizi, Karthik Pattabiraman

Browse the full ACSAC paper archive.