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