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 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 39th 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 39th International Symposium on Reliable Distributed Systems (SRDS)},
    year = {2020},
    month = {September},
    url = {/publications/papers/Logres2020.pdf},
}