SecEL: Privacy-Preserving, Verifiable and Fault-Tolerant Edge Learning for Autonomous Vehicles. - Jiasi Weng 001; Jian Weng 001; Yue Zhang 025; Ming Li 049; Zhaodi Wen (CoRR, 2020)