Memory-Safe Elimination of Side Channels. - Luigi D. C. Soares; Fernando Magno Quintão Pereira (CGO, 2021)

Side-channel Elimination via Partial Control-flow Linearization. - Luigi D. C. Soares; Michael Canesche; Fernando Magno Quintão Pereira (ACM Trans. Program. Lang. Syst., 2023)

Formal Privacy Analyses for Open Banking. - Luigi D. C. Soares; Mário S. Alvim; Di Bu; Natasha Fernandes; Yin Liao (SBMF, 2024)