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