Luigi Soares

According to our database, Luigi Soares authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Privacy Analyses for Open Banking.

Luigi Soares, Mário S. Alvim, Di Bu, Natasha Fernandes, Yin Liao

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2023

Side-channel Elimination via Partial Control-flow Linearization.

Luigi Soares, Michael Canesche, Fernando Magno Quintão Pereira

ACM Trans. Program. Lang. Syst., June, 2023

2021

Memory-Safe Elimination of Side Channels.

Luigi Soares, Fernando Magno Quintão Pereira

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021