Prof. Dr. Adrian Perrig
Prof. Dr. Adrian Perrig
CAB F 85.1
Universitätstrasse 6
8092 Zürich
Phone: +41 44 632 99 69
E-Mail: adrian.perrig@inf.ethz.ch
Our main project is on the SCION secure Internet architecture.
We have founded Anapaya Systems, a startup to commercialize SCION technology.
We have founded Anapaya Systems, a startup to commercialize SCION technology.
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 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
}