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 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}
}