Post-Quantum Secure Over-the-Air Update of Automotive Systems. - Joppe W. Bos; Alexander Dima; Alexander Kiening; Joost Renes (IACR Cryptol. ePrint Arch., 2023)