Johannes Reinhart received The Best Track Award for his paper "Verifiable Computing in Avionics for Assuring Computer Integrity without Replication".
At the Digital Avionics System Conference (DASC), he convinced the audience with his innovative and groundbreaking idea of using Verifiable Computing for avionics systems. We at ILS congratulate him on this success!
