Poster: Practical Swarm Attestation using Probabilistic Program Integrity Verification. - Sanket C. Uppin; Mehreen Jabbeen; Rijurekha Sen; Vireshwar Kumar (VehicleSec, 2023)