FL-DECO-BC: A Privacy and Provenance Preserving, Provably Secure FL Framework for VANETs. - Sathwik Narkedimilli; Rayachoti Arun Kumar; N. V. Saran Kumar; Ramapatruni Praneeth Reddy; Pavan Kumar C (GLOBECOM (Workshops), 2024)