Soares, Luigi, E Pereira, Fernando. " Memory-Safe Elimination of Side Channels" Anais do Concurso de Teses e Dissertações (CTD) [Online], (6 agosto 2023)