Our Publications

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 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 Embedded Security in Cars Workshop (ESCAR)},
    year =         2004,
    month =        nov
}