by Arvind Seshadri, Adrian Perrig, Leendert van Doorn, and Pradeep Khosla
Reference:
Using SWATT for Verifying Embedded Systems in Cars. Arvind Seshadri, Adrian Perrig, Leendert van Doorn, and Pradeep Khosla. In Proceedings of the Embedded Security in Cars Workshop (ESCAR) 2004.
Bibtex Entry:
@InProceedings{SePeDoKh2004b,
author = {Arvind Seshadri and Adrian Perrig and Leendert van Doorn and Pradeep Khosla},
title = {Using {SWATT} for Verifying Embedded Systems in Cars},
url = {/publications/papers/escar04.pdf},
booktitle = {Proceedings of the Embedded Security in Cars Workshop (ESCAR)},
year = 2004,
month = nov
}