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