Thomaz, Guilherme, Matteo Sammarco, and Miguel Elias M. Campista. " Atualização pelo Ar (OTA) de Dispositivos Embarcados Veiculares com Computação Confiável Fim-a-Fim." Anais do XLII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos, Niterói/RJ, 2024. SBC, 2024, pp.559-573.