Our Publications

by Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, and Adrian Perrig
Reference:
The Complete Guide to SCION. From Design Principles to Formal Verification. Laurent Chuat, Markus Legner, David Basin, David Hausheer, Samuel Hitz, Peter Müller, and Adrian Perrig. Publisher: Springer International Publishing AG, 2022.
Bibtex Entry:
@book{SCIONBookv2,
  author    = {Laurent Chuat and Markus Legner and David Basin and David Hausheer and Samuel Hitz and Peter Müller and Adrian Perrig},
  title     = {The Complete Guide to SCION. From Design Principles to Formal Verification},
  publisher = {Springer International Publishing AG},
  year      = {2022},
  url       = {https://link.springer.com/book/10.1007/978-3-031-05288-0},
  keywords  = {book}
}