Linked Presentation: PatchVerif: Discovering Faulty Patches in Robotic VehiclesFuzz The Power: Dual-role State Guided Black-box Fuzzing for USB Power DeliveryDiscovering Adversarial Driving Maneuvers against Autonomous VehiclesLocIn: Inferring Semantic Location from Spatial Maps in Mixed RealityARGUS: A Framework for Staged Static Taint Analysis of GitHub Workflows and Actions
