This book explores fundamental principles for securing IT systems and illustrates them with hands...
This book constitutes the refereed proceedings of the Second International Conference on Principl...
InhaltsangabePreface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability...
This book explores fundamental principles for securing IT systems and illustrates them with hands...
This book explores fundamental principles for securing IT systems and illustrates them with hands...
When the SCION project started in 2009, the goal was to create an architecture offering high avai...
When the SCION project started in 2009, the goal was to create an architecture offering high avai...
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specifica...
InhaltsangabePreface. Contributing Authors. Labelled Proof Systems for Intuitionistic Provability...