Christian Badertscher is a Research Associate at the University of Edinburgh, Scotland. He is part of the Blockchain Technology Lab led by Prof. Kiayias. Before joining the University of Edinburgh, Christian completed his PhD student at ETH Zurich working in the cryptography group under the supervision of Prof. Ueli Maurer. The main research focus is on provable security of cryptographic protocols, including secure communication and storage, multi-party computation, and blockchain protocols. Prior to joining the cryptography group, Christian received his Bachelor's and Master's degree in computer science from ETH Zurich.