Home About us Team Clara Schneidewind Clara Schneidewind clara.schneidewind@... Blockchain technologies, formal methods for security and privacy, program analysis, applied cryptography