Publications
Auteurs:
Natasha Fernandes; Annabelle McIver; Catuscia Palamidessi; Ming Ding
Publié dans:
IEEE 35th Computer Security Foundations Symposium (CSF), 2022, ISBN 978-1-6654-8417-6
Éditeur:
IEEE
DOI:
10.1109/csf54842.2022.9919647
Auteurs:
Carlos Pinzón; Catuscia Palamidessi; Pablo Piantanida; Frank Valencia
Publié dans:
36th AAAI Conference on Artificial Intelligence, 2022
Éditeur:
Association for the Advancement of Artificial Intelligence
DOI:
10.1609/aaai.v36i7.20770
Auteurs:
Ehab ElSalamouny, Catuscia Palamidessi
Publié dans:
2020 IEEE European Symposium on Security and Privacy (EuroS&P), 2020, Page(s) 490-507, ISBN 978-1-7281-5087-1
Éditeur:
IEEE
DOI:
10.1109/eurosp48549.2020.00038
Auteurs:
Mireya Jurado; Catuscia Palamidessi; Geoffrey Smith
Publié dans:
IEEE 34th Computer Security Foundations Symposium (CSF), 2021, ISBN 978-1-7281-7607-9
Éditeur:
IEEE
DOI:
10.1109/csf51468.2021.00046
Auteurs:
Palamidessi, Catuscia; Romanelli, Marco
Publié dans:
CONCUR 2020 - 31st International Conference on Concurrency Theory, Sep 2020, Vienne / Virtual, Austria., Numéro 171, 2020, Page(s) 4:1--4:9
Éditeur:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.concur.2020.4
Auteurs:
Granese, Federica; Romanelli, Marco; Gorla, Daniele; Palamidessi, Catuscia; Piantanida, Pablo
Publié dans:
Advances in Neural Information Processing Systems (NeurIPS), 2021, Virtual event, United States, Numéro 34, 2021, ISSN 1049-5258
Éditeur:
Curran Associates Inc. (Printed version) and Neural Information Processing Systems (Online version)
DOI:
10.48550/arxiv.2106.02395
Auteurs:
Daniele Gorla, Federica Granese, Catuscia Palamidessi
Publié dans:
Theoretical Aspects of Computing – ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings, Numéro 11884, 2019, Page(s) 313-331, ISBN 978-3-030-32504-6
Éditeur:
Springer International Publishing
DOI:
10.1007/978-3-030-32505-3_18
Auteurs:
Marco Romanelli, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Pablo Piantanida
Publié dans:
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Page(s) 697-716, ISBN 9781450370899
Éditeur:
ACM
DOI:
10.1145/3372297.3423363
Auteurs:
Marco Romanelli, Kostantinos Chatzikokolakis, Catuscia Palamidessi
Publié dans:
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Page(s) 153-168, ISBN 978-1-7281-6572-1
Éditeur:
IEEE
DOI:
10.1109/csf49147.2020.00019
Auteurs:
Sayan Biswas, Kangsoo Jung, Catuscia Palamidessi
Publié dans:
Theoretical Aspects of Computing – ICTAC, 2021, ISBN 978-3-030-85314-3
Éditeur:
Springer
DOI:
10.1007/978-3-030-85315-0_12
Auteurs:
Héber H. Arcolezi; Jean-François Couchot; Sébastien Gambs; Catuscia Palamidessi; Majid Zolfaghari
Publié dans:
Computer Security - ESORICS 2022: 27th European Symposium on Research in Computer Security, 2022, ISBN 9783031171420
Éditeur:
Springer
DOI:
10.1007/978-3-031-17143-7_40
Auteurs:
Ganesh Del Grosso; Hamid Jalalzai; Georg Pichler; Catuscia Palamidessi; Pablo Piantanida
Publié dans:
Conference on Computer Vision and Pattern Recognition (CVPR), 2022, ISBN 978-1-6654-6947-0
Éditeur:
IEEE
DOI:
10.1109/cvpr52688.2022.01015
Auteurs:
Kangsoo Jung, Sayan Biswas, Catuscia Palamidessi
Publié dans:
Protocols, Strands, and Logic, 2021, ISBN 978-3-030-91631-2
Éditeur:
Springer
DOI:
10.1007/978-3-030-91631-2_13
Auteurs:
Falaschi, Moreno; Palamidessi, Catuscia; Romanelli, Marco
Publié dans:
"Frank S. de Boer and Jacopo Mauro. Recent Developments in the Design and Implementation of Programming Languages, 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.11:1-11:20, 2020, OASICS, ⟨10.4230/OASIcs.Gabbrielli.2020.11⟩", Numéro 86, 2020, Page(s) 11:1--11:20
Éditeur:
Schloss Dagstuhl--Leibniz-Zentrum fur Informatik
DOI:
10.4230/oasics.gabbrielli.11
Auteurs:
Mário S. Alvim,
Konstantinos Chatzikokolakis,
Annabelle McIver,
Carroll Morgan,
Catuscia Palamidessi,
Geoffrey Smith
Publié dans:
2020, ISBN 978-3-319-96131-6
Éditeur:
Springer
DOI:
10.1007/978-3-319-96131-6
Auteurs:
Karima Makhlouf; Sami Zhioua; Catuscia Palamidessi
Publié dans:
Information Processing and Management, Numéro 58, 2021, ISSN 0306-4573
Éditeur:
Pergamon Press Ltd.
DOI:
10.1016/j.ipm.2021.102642
Auteurs:
Karima Makhlouf, Sami Zhioua, Catuscia Palamidessi
Publié dans:
ACM SIGKDD Explorations Newsletter, Numéro 23/1, 2021, Page(s) 14-23, ISSN 1931-0145
Éditeur:
Association for Computing Machinery
DOI:
10.1145/3468507.3468511
Auteurs:
Federica Granese, Daniele Gorla, Catuscia Palamidessi
Publié dans:
International Journal of Information Security, 2021, ISSN 1615-5262
Éditeur:
Springer Verlag
DOI:
10.1007/s10207-020-00530-7
Auteurs:
Konstantinos Chatzikokolakis; Natasha Fernandes; Catuscia Palamidessi
Publié dans:
Journal of Cybersecurity and Privacy, Numéro 1, 2022, ISSN 2624-800X
Éditeur:
MDPI
DOI:
10.3390/jcp1010004
Auteurs:
Valentina Castiglioni, Konstantinos Chatzikokolakis, Catuscia Palamidessi
Publié dans:
Science of Computer Programming, Numéro 188, 2020, Page(s) 102388, ISSN 0167-6423
Éditeur:
Elsevier BV
DOI:
10.1016/j.scico.2019.102388
Auteurs:
Catuscia Palamidessi; Mário Alvim; Yusuke Kawamoto; Konstantinos Chatzikokolakis
Publié dans:
ACM Transactions on Privacy and Security, Numéro 25, 2022, ISSN 2471-2566
Éditeur:
ACM
DOI:
10.48550/arxiv.2012.12060
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible