Linked Presentation: PatchVerif: Discovering Faulty Patches in Robotic VehiclesZBCAN: A Zero-Byte CAN Defense System