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 Joel Wanner, Laurent Chuat, and Adrian Perrig
Reference:
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance. Joel Wanner, Laurent Chuat, and Adrian Perrig. In Proceedings of the International Symposium on Reliable Distributed Systems (SRDS) 2020.
Bibtex Entry:
@inproceedings{Logres2020,
author = {Joel Wanner and Laurent Chuat and Adrian Perrig},
title = {A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance},
booktitle = {Proceedings of the International Symposium on Reliable Distributed Systems (SRDS)},
year = {2020},
month = sep,
url = {/publications/papers/Logres2020.pdf},
}