Disclaimer

CISPA is currently in the founding process to join the German Helmholtz Association as a new member. It is consequently undergoing significant organizational changes, which are not yet reflected on this webpage.

For further information on the above mentioned founding process, please refer to the official press release by the State Chancellery of Saarland.

Recent News on the Transformation Process

24.10.2017

The location of the first construction phase has been agreed upon. For further information, please refer to the official press release .

Tim Ruffing
M.Sc. | Researcher


Curriculum Vitae

I'm a computer science PhD student at the Center for IT-Security, Privacy and Accountability (CISPA) at Saarland University in Germany. I am co-supervised by Aniket Kate (now at Purdue University) and Dominique Schröder. I work in the field of cryptographic systems and privacy-enhancing technologies. My current research focuses on cryptocurrencies such as Bitcoin. Previously, I also worked on censorship-resistant communication, imperfect randomness in cryptography, and the computational soundness of formal abstractions of cryptography. See my personal research homepage for my publications and more details.

Projects

CoSP: A General Framework for Computational Soundness Proofs

Dolev-Yao models of cryptographic operations constitute the foundation of many successful verification tools for security protocols. Many of these symbolic abstractions are computationally sound, i.e., the absence of attacks against the abstraction entails the security of suitable cryptographic realizations. CoSP is a general framework for conducting computational soundness proofs of symbolic models in a conceptually modular and generic way.