David Förster examines privacy protection for vehicular communication under the assumption of an attacker that is able to compromise back-end systems – motivated by the large number of recent security incidents and revelations about mass surveillance. The author aims for verifiable privacy protection enforced through cryptographic and technical means, which safeguards user data even if back-end systems are not fully trusted. Förster applies advanced cryptographic concepts, such as anonymous credentials, and introduces a novel decentralized secret sharing algorithm to fulfill complex and seemingly contradicting requirements in several vehicle-to-x application scenarios. Many of the concepts and results can also be applied to other flavors of internet of things systems. Contents A Large-scale Evaluation of Pseudonym Change Strategies A Pseudonym System with Strong Privacy Guarantees An Application for Privacy-preserving Analysis of Traffic Flows Target Groups Researchers and students in the field of vehicular ad-hoc networks, mobile ad-hoc networks, privacy, security, and distributed systems Practitioners in the field of vehicle-to-x communication, vehicle telematics, internet of things, privacy, and security About the Author David Förster completed his dissertation at Ulm University while working in the Corporate Research department of a leading German automotive supplier. He has worked as a consultant for IT security for several years and holds a degree in Computer Science from the Karlsruhe Institute of Technology.