Natasha Fernandes

发表

Ming Ding, C. Palamidessi, Annabelle McIver, 2022, 2022 IEEE 35th Computer Security Foundations Symposium (CSF).

M. Alvim, G. Coutinho, Natasha Fernandes, 2022, Proc. Priv. Enhancing Technol..

Carroll Morgan, M. Alvim, Annabelle McIver, 2022, Proc. Priv. Enhancing Technol..

M. Dras, Annabelle McIver, Natasha Fernandes, 2022, ArXiv.

Annabelle McIver, Mark Dras, Natasha Fernandes, 2018, POST.

Annabelle McIver, Carroll Morgan, Natasha Fernandes, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Catuscia Palamidessi, Konstantinos Chatzikokolakis, Natasha Fernandes, 2020, Journal of Cybersecurity and Privacy.

Catuscia Palamidessi, Konstantinos Chatzikokolakis, Natasha Fernandes, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).

Annabelle McIver, Mark Dras, Natasha Fernandes, 2018, FM.

Annabelle McIver, Natasha Fernandes, Parastoo Sadeghi, 2022, 2210.12916.

P. Sadeghi, Annabelle McIver, Natasha Fernandes, 2022, ArXiv.

Mário S. Alvim, Annabelle McIver, Natasha Fernandes, 2020, CONCUR.

Mário S. Alvim, Annabelle McIver, Gabriel H. Nunes, 2024, 2406.15309.

M. Dras, Annabelle McIver, Natasha Fernandes, 2022, ArXiv.