A Formal Methodology Applied to Secure Over-the-Air Automotive Applications.

Gabriel Pedroza, Muhammad Sabir Idrees, Ludovic Apvrille, Yves Roudier

Browse the full VTC paper archive.