Our Publications

by Arvind Seshadri, Adrian Perrig, Leendert van Doorn, Pradeep Khosla
Reference:
Using SWATT for Verifying Embedded Systems in Cars  [bibtex]Arvind Seshadri, Adrian Perrig, Leendert van Doorn, 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 = {http://www.netsec.ethz.ch/publications/papers/escar04.pdf},
  booktitle =	 {Proceedings of Embedded Security in Cars Workshop (ESCAR)},
  year =		 2004,
  month =		 nov
}