Maintaining State in Propagation Solvers. - Raphael M. Reischuk; Christian Schulte 001; Peter J. Stuckey; Guido Tack (CP, 2009)

G2C: Cryptographic Protocols from Goal-Driven Specifications. - Michael Backes 001; Matteo Maffei; Kim Pecina; Raphael M. Reischuk (TOSCA, 2011)

SAFE extensibility of data-driven web applications. - Raphael M. Reischuk; Michael Backes 001; Johannes Gehrke (WWW, 2012)

Secure and customizable web development in the safe activation framework. - Raphael M. Reischuk; Florian Schröder; Johannes Gehrke (CCS, 2013)

Verifiable Delegation of Computation on Outsourced Data. - Michael Backes 001; Dario Fiore 001; Raphael M. Reischuk (IACR Cryptol. ePrint Arch., 2013)

Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. - Michael Backes 001; Dario Fiore 001; Raphael M. Reischuk (IACR Cryptol. ePrint Arch., 2014)

FAIR: Forwarding Accountability for Internet Reputability. - Christos Pappas; Raphael M. Reischuk; Adrian Perrig (ICNP, 2015)

Balancing Isolation and Sharing of Data in Third-Party Extensible App Ecosystems. - Florian Schröder; Raphael M. Reischuk; Johannes Gehrke (ICWE, 2015)

Forwarding Accountability: A Challenging Necessity of the Future Data Plane. - Christos Pappas; Raphael M. Reischuk; Adrian Perrig (iNetSeC, 2015)

ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data. - Michael Backes 001; Manuel Barbosa; Dario Fiore 001; Raphael M. Reischuk (IEEE Symposium on Security and Privacy, 2015)

SCION Five Years Later: Revisiting Scalability, Control, and Isolation on Next-Generation Networks. - David Barrera 003; Raphael M. Reischuk; Pawel Szalachowski; Adrian Perrig (CoRR, 2015)

Designing a Global Authentication Infrastructure. - Stephanos Matsumoto; Raphael M. Reischuk; Pawel Szalachowski; Tiffany Hyun-Jin Kim; Adrian Perrig (CoRR, 2015)

Declarative design and enforcement for secure cloud applications. - Raphael M. Reischuk (2015)

DEMO: Easy Deployment of a Secure Internet Architecture for the 21st Century: How hard can it be to build a secure Internet? - Ercan Ucan; Raphael M. Reischuk; Adrian Perrig (CCS, 2016)

SIBRA: Scalable Internet Bandwidth Reservation Architecture. - Cristina Basescu; Raphael M. Reischuk; Pawel Szalachowski; Adrian Perrig; Yao Zhang; Hsu-Chun Hsiao; Ayumu Kubota; Jumpei Urakawa (NDSS, 2016)

IKP: Turning a PKI Around with Blockchains. - Stephanos Matsumoto; Raphael M. Reischuk (IACR Cryptol. ePrint Arch., 2016)

IKP: Turning a PKI Around with Decentralized Automated Incentives. - Stephanos Matsumoto; Raphael M. Reischuk (IEEE Symposium on Security and Privacy, 2017)

The SCION internet architecture. - David Barrera 003; Laurent Chuat; Adrian Perrig; Raphael M. Reischuk; Pawel Szalachowski (Commun. ACM, 2017)

Authentication Challenges in a Global Environment. - Stephanos Matsumoto; Raphael M. Reischuk; Pawel Szalachowski; Tiffany Hyun-Jin Kim; Adrian Perrig (ACM Trans. Priv. Secur., 2017)

SCION: A Secure Internet Architecture - Adrian Perrig; Pawel Szalachowski; Raphael M. Reischuk; Laurent Chuat (Springer, 2017)

Network Transparency for Better Internet Security. - Christos Pappas; Taeho Lee 003; Raphael M. Reischuk; Pawel Szalachowski; Adrian Perrig (IEEE/ACM Trans. Netw., 2019)