I am contributing to the development of zero-knowledge technologies, among others on identity related projects. One long-term goal of the team is for example to build decentralised and verifiable credentials that can be used by official entities while preserving the privacy of data owners using forms of zero-knowledge proofs.
under the supervision of Gilles Barthe. I was working at the at-the-time-newly-founded MPI in Bochum, on various projects to connect the symbolic techniques I developed during my thesis to other areas of security than cryptographic protocols.
under the supervision of Steve Kremer and Vincent Cheval. I developed and implemented symbolic techniques for formalising and analysing automatedly security protocols. I typically contributed to the theory and development of the DeepSec prover for analysing privacy-type properties.