Verifiable and Privacy-Preserving Traffic Flow Statistics for Advanced Traffic Management Systems | IEEE Journals & Magazine | IEEE Xplore