Automated Cryptographic Analysis of the Pedersen Commitment Scheme. - Roberto Metere; Changyu Dong (MMM-ACNS, 2017)

Sound Transpilation from Binary to Machine-Independent Code. - Roberto Metere; Andreas Lindner; Roberto Guanciale (SBMF, 2017)

Analysing and Patching SPEKE in ISO/IEC. - Feng Hao 001; Roberto Metere; Siamak F. Shahandashti; Changyu Dong (CoRR, 2018)

Socially-conforming cooperative computation in cloud networks. - Tao Li; Brij Bhooshan Gupta; Roberto Metere (J. Parallel Distributed Comput., 2018)

Incentive-driven attacker for corrupting two-party protocols. - Yilei Wang; Roberto Metere; Huiyu Zhou 001; Guanghai Cui; Tao Li 043 (Soft Comput., 2018)

Analyzing and Patching SPEKE in ISO/IEC. - Feng Hao 001; Roberto Metere; Siamak F. Shahandashti; Changyu Dong (IEEE Trans. Inf. Forensics Secur., 2018)

Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. - Luca Arnaboldi 001; Roberto Metere (CCS, 2019)

Modelling Load-Changing Attacks in Cyber-Physical Systems. - Luca Arnaboldi 001; Ricardo M. Czekster; Charles Morisset; Roberto Metere (PASM, 2019)

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. - Luca Arnaboldi 001; Roberto Metere (CoRR, 2019)

TrABin: Trustworthy analyses of binaries. - Andreas Lindner; Roberto Guanciale; Roberto Metere (Sci. Comput. Program., 2019)

Efficient Delegated Private Set Intersection on Outsourced Private Datasets. - Aydin Abadi; Sotirios Terzis; Roberto Metere; Changyu Dong (IEEE Trans. Dependable Secur. Comput., 2019)

End-to-End Verifiable E-Voting Trial for Polling Station Voting at Gateshead. - Feng Hao 001; Shen Wang 008; Samiran Bag; Rob Procter; Siamak F. Shahandashti; Maryam Mehrnezhad; Ehsan Toreini; Roberto Metere; Lana Y. J. Liu (IACR Cryptol. ePrint Arch., 2020)

End-to-End Verifiable E-Voting Trial for Polling Station Voting. - Feng Hao 001; Shen Wang 008; Samiran Bag; Rob Procter; Siamak F. Shahandashti; Maryam Mehrnezhad; Ehsan Toreini; Roberto Metere; Lana Y. J. Liu (IEEE Secur. Priv., 2020)

Securing the Electric Vehicle Charging Infrastructure. - Roberto Metere; Myriam Neaimeh; Charles Morisset; Carsten Maple; Xavier J. A. Bellekens; Ricardo M. Czekster (CoRR, 2021)

MetaCP: Cryptographic Protocol Design Tool for Formal Verification. - Roberto Metere; Luca Arnaboldi 001 (CoRR, 2021)

Automating Cryptographic Protocol Language Generation from Structured Specifications. - Roberto Metere; Luca Arnaboldi 001 (FormaliSE@ICSE, 2022)

cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models. - Ricardo M. Czekster; Roberto Metere; Charles Morisset (CoRR, 2022)

An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure. - Roberto Metere; Zoya Pourmirza; Sara Walker; Myriam Neaimeh (CoRR, 2022)

Checking and Automating Confidentiality Theory in Isabelle/UTP. - Lex Bailey; Jim Woodcock 001; Simon Foster 001; Roberto Metere (CoRR, 2023)

A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic. - Roberto Metere; Changyu Dong (CoRR, 2023)

Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. - Roberto Metere; Kangfeng Ye; Yue Gu; Zhi Zhang; Dalal Alrajeh; Michele Sevegnani; Poonam Yadav (DataMod, 2024)

Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems. - Roberto Metere; Ricardo M. Czekster; Luca Arnaboldi 001 (MECO, 2024)

User-Guided Verification of Security Protocols via Sound Animation. - Kangfeng Ye; Roberto Metere; Poonam Yadav (SEFM, 2024)

Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. - Roberto Metere; Kangfeng Ye; Yue Gu; Zhi Zhang; Dalal Alrajeh; Michele Sevegnani; Poonam Yadav (CoRR, 2024)

A certificateless signature scheme and a certificateless public auditing scheme with authority trust level 3+. - Fei Li 006; Dongqing Xie; Wei Gao 007; Kefei Chen; Guilin Wang; Roberto Metere (J. Ambient Intell. Humaniz. Comput., 2024)

ValuED: A Blockchain-Based Trading Platform to Encourage Student Engagement in Higher Education. - Aydin Abadi; Jin Xiao; Roberto Metere; Richard Shillcock (ICSA Companion, 2025)