Raphael Reischuk

Ph.D. student, research assistant

I am a research assistant in the Information Security and Cryptography Group and Ph.D. student at the Computer Science Department at Saarland University. My advisor is Michael Backes.

I have studied Computer Science under the supervision of Holger Hermanns and Gert Smolka. 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 some lectures.

Research Interests

Design and analysis of cryptographic protocols
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 designing this book.

FdSI Bachelor Prize

I've been awarded the FdSI Bachelor Prize.

Misc

See

tools for a collection of useful utilities,
links for some interesting links, and
riddles for a couple of challenging riddles.