With the rapid advances in computation and communication, there is a growing interest in verifying the performance of cyber-physical systems (e.g., connected and autonomous vehicles) using real-time system data. Such a practice, however, can jeopardize privacy since these data may be related to personal information (e.g., daily itinerary) and unintendedly leaked to the public in the verification process. Our recent paper, accepted by OJ-CSYS, developed a new data-driven verification method for cyber-physical systems. It can be applied to verify complex systems (e.g., Toyota powertrain) with differential privacy guarantees.