Raphael M. Reischuk
PhD student, research assistant
I am a research assistant in the Information Security and Cryptography Group and PhD candidate at the Computer Science Department at Saarland University under supervision of Professor Michael Backes. I am currently working on a joint research project on safe extensibility for Web applications with Johannes Gehrke from Cornell University.
I have studied Computer Science under the supervision of Holger Hermanns and Gert Smolka at Saarland University. I have been awarded the FdSI Bachelor Prize. During my studies, I was an elected member in the students' representative council and teaching assistant for several lectures.
Research Interests
- Design and analysis of web application security
Please have a look at the SAFE Activation Framework for Extensibility - Synthesizing cryptographic protocols from declarative specifications
- Automated verification for cryptographic protocols
- Constraint programming
Book "Programmierung - Eine Einführung in die Informatik"
I assisted Gert Smolka in writing this book, an introduction to computer science based on functional programming. It is mostly written for undergraduate CS students. We are happy to announce the second edition.
FdSI Bachelor Award
I have been awarded the FdSI Bachelor Prize for outstanding achievements during my undergraduate studies at Saarland University.
Selected Publications
-
SAFE Activation Framework for Extensibility
[PDF]
[BibTeX]
Raphael M. Reischuk, Michael Backes, Johannes Gehrke
WWW'12: Proceedings of the 21st International Conference on World Wide Web, 2012.
-
G2C: Cryptographic Protocols from Goal-Driven Specifications
[PDF]
[BibTeX]
Michael Backes, Matteo Maffei, Kim Pecina, Raphael M. Reischuk
TOSCA'11: Theory of Security and Applications (former ARSPA-WITS, now POST), held as part of ETAPS 2011, the Joint European Conferences on Theory and Practice of Software, 2011.
-
Cryptographic Protocols From Declarative Specifications
[BibTeX]
Raphael M. Reischuk
SecDay'10: Grande Region Security and Reliability Day, 2010.
-
Maintaining State in Propagation Solvers
[PDF]
[BibTeX]
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
CP'09: 15th International Conference on Principles and Practice of Constraint Programming, 2009.
-
Automated Checking of Observational Equivalence for an Extended Spi Calculus
[PDF]
[BibTeX]
Georgel Calin, Markus Rabe, Raphael M. Reischuk
Students' project, 2009.
-
Reconciling Copying and Trailing for Constraint Programming Systems
[PDF]
[BibTeX]
Raphael M. Reischuk
Bachelor's thesis, 2008.
Courses
- Programming for Engineers (summer 11)
- Current Research in Information Security (summer 11)
- The Magic of Cryptography (summer 11)
- Cryptography (summer 10)
- Formal Methods and Cryptography (winter 09/10)
- Current Research in Information Security (summer 09)
- The Magic of Cryptography (summer 09)
- Advanced Cryptography (summer 08)
- Programmierung 1 Supervision (winter 07/08)
- Programmierung 1 (winter 06/07)
- Mathematical intensive course for beginners (winter 07/08)
- Mathematical intensive course for beginners (winter 06/07)
Students
- Parth Tripathi (internship, 2012)
- Florian Schröder (Masters's thesis, 2012)
- Karsten Knuth (Bachelor's thesis, 2011)
- Ines Ciolacu (implementation project, 2011)
- Jan Balzer (Bachelor's thesis, 2011)
- Aleksandra Pochron (research project, 2009/2010)
- Nora Speicher (student project, 2009/2010)