Luísa Lourenço

According to our database, Luísa Lourenço authored at least 3 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2019

Análise de Segurança Baseada em Roles para Fábricas de Software.

Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão, Carla Ferreira

CoRR, 2019

2015

Dependent Information Flow Types.

Luísa Lourenço, Luís Caires

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2013

Information Flow Analysis for Valued-Indexed Data Security Compartments.

Luísa Lourenço, Luís Caires

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013