Christian Wachsmann is a postdoctoral researcher at the Intel Collaborative Research Institute for Secure Computing (ICRISC) at TU Darmstadt. He received his Ph.D. in computer science from Technische Universitat Darmstadt, Germany. His current research focuses on the design, development, formal modeling, and security analysis of security architectures and cryptographic protocols to verify the software integrity (attestation) of embedded systems. Christian is the main author of more than 30 scientific publications in internationally renowned journals and conferences on information and communications security.