Johannes Reinhart hat mit seinem Paper "Verifiable Computing in Avionics for Assuring Computer-Integrity without Replication" die Auszeichnung für The Best Track Award erhalten.
Bei der Digital Avionics System Conferenz (DASC) hat er mit seiner innovativen und bahnbrechenden Idee, Verifiable Computing für Avionik Systeme zu verwenden, zu überzeugen gewusst. Wir das ILS beglückwünschen ihm zu diesen Erfolg!
