Items where authors include "Metere, Roberto"

Article

Czekster, Ricardo M., Metere, Roberto orcid.org/0000-0001-6992-4285 and Morisset, Charles (2022) Incorporating Cyber Threat Intelligence into Complex Cyber-Physical Systems:A STIX Model for Active Buildings. Applied Sciences (Switzerland). 5005. ISSN 2076-3417

Hao, Feng, Wang, Shen, Bag, Samiran et al. (6 more authors) (2020) End-to-End Verifiable E-Voting Trial for Polling Station Voting. IEEE Security & Privacy. 9152966. pp. 6-13. ISSN 1540-7993

Arnaboldi, Luca, Czekster, Ricardo M., Morisset, Charles et al. (1 more author) (2020) Modelling Load-Changing Attacks in Cyber-Physical Systems. Electronic Notes in Theoretical Computer Science. pp. 39-60. ISSN 1571-0661

Hao, Feng, Metere, Roberto orcid.org/0000-0001-6992-4285, Shahandashti, Siamak F. orcid.org/0000-0002-5284-6847 et al. (1 more author) (2018) Analyzing and Patching SPEKE in ISO/IEC. Information Forensics and Security, IEEE Transactions on. pp. 2844-2855. ISSN 1556-6013

Preprint

Metere, Roberto orcid.org/0000-0001-6992-4285, Ye, Kangfeng, Gu, Yue et al. (4 more authors) (2024) Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. [Preprint]