Prof. Dr. Adrian Perrig

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.

Publications

by Si Liu*, Huayi Duan*, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig. (*co-first authors)
Reference:
A Formal Framework for End-to-End DNS Resolution. Si Liu*, Huayi Duan*, Lukas Heimes, Marco Bearzi, Jodok Vieli, David Basin, and Adrian Perrig. (*co-first authors). In Proceedings of ACM SIGCOMM 2023.
Bibtex Entry:
@InProceedings{dns-formalization-2023,
  author = 		 {Si Liu* and Huayi Duan* and Lukas Heimes and Marco Bearzi and Jodok Vieli and David Basin and Adrian Perrig. (*co-first authors)},
  title = 		 {A Formal Framework for End-to-End {DNS} Resolution},
  booktitle = {Proceedings of {ACM SIGCOMM}},
  month = sep,
  year = 	 2023,
  url = {/publications/papers/2023-DNS-SIGCOMM.pdf},
  slides = {/publications/slides/2023-SIGCOMM-DNS-Formal-Slides.pdf}
}