Roberto Metere

According to our database, Roberto Metere authored at least 23 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A certificateless signature scheme and a certificateless public auditing scheme with authority trust level 3+.

Fei Li, Dongqing Xie, Wei Gao, Kefei Chen, Guilin Wang, Roberto Metere

J. Ambient Intell. Humaniz. Comput., February, 2024

User-Guided Verification of Security Protocols via Sound Animation.

Kangfeng Ye, Roberto Metere, Poonam Yadav

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems.

Roberto Metere, Ricardo M. Czekster, Luca Arnaboldi

Proceedings of the 13th Mediterranean Conference on Embedded Computing, 2024

2023

A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic.

Roberto Metere, Changyu Dong

CoRR, 2023

Checking and Automating Confidentiality Theory in Isabelle/UTP.

Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere

CoRR, 2023

2022

An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure.

Roberto Metere, Zoya Pourmirza, Sara Walker, Myriam Neaimeh

CoRR, 2022

cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models.

Ricardo M. Czekster, Roberto Metere, Charles Morisset

CoRR, 2022

Automating Cryptographic Protocol Language Generation from Structured Specifications.

Roberto Metere, Luca Arnaboldi

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

MetaCP: Cryptographic Protocol Design Tool for Formal Verification.

Roberto Metere, Luca Arnaboldi

CoRR, 2021

Securing the Electric Vehicle Charging Infrastructure.

Roberto Metere, Myriam Neaimeh, Charles Morisset, Carsten Maple, Xavier J. A. Bellekens, Ricardo M. Czekster

CoRR, 2021

2020

End-to-End Verifiable E-Voting Trial for Polling Station Voting.

Feng Hao, Shen Wang, Samiran Bag, Rob Procter, Siamak F. Shahandashti, Maryam Mehrnezhad, Ehsan Toreini, Roberto Metere, Lana Y. J. Liu

IEEE Secur. Priv., 2020

End-to-End Verifiable E-Voting Trial for Polling Station Voting at Gateshead.

Feng Hao, Shen Wang, Samiran Bag, Rob Procter, Siamak F. Shahandashti, Maryam Mehrnezhad, Ehsan Toreini, Roberto Metere, Lana Y. J. Liu

IACR Cryptol. ePrint Arch., 2020

2019

Efficient Delegated Private Set Intersection on Outsourced Private Datasets.

Aydin Abadi, Sotirios Terzis, Roberto Metere, Changyu Dong

IEEE Trans. Dependable Secur. Comput., 2019

TrABin: Trustworthy analyses of binaries.

Andreas Lindner, Roberto Guanciale, Roberto Metere

Sci. Comput. Program., 2019

Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi, Roberto Metere

CoRR, 2019

Modelling Load-Changing Attacks in Cyber-Physical Systems.

Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere

Proceedings of the Tenth International Workshop on the Practical Application of Stochastic Modelling, 2019

Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.

Luca Arnaboldi, Roberto Metere

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

Analyzing and Patching SPEKE in ISO/IEC.

Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong

IEEE Trans. Inf. Forensics Secur., 2018

Incentive-driven attacker for corrupting two-party protocols.

Yilei Wang, Roberto Metere, Huiyu Zhou, Guanghai Cui, Tao Li

Soft Comput., 2018

Socially-conforming cooperative computation in cloud networks.

Tao Li, Brij Bhooshan Gupta, Roberto Metere

J. Parallel Distributed Comput., 2018

Analysing and Patching SPEKE in ISO/IEC.

Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong

CoRR, 2018

2017

Sound Transpilation from Binary to Machine-Independent Code.

Roberto Metere, Andreas Lindner, Roberto Guanciale

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Automated Cryptographic Analysis of the Pedersen Commitment Scheme.

Roberto Metere, Changyu Dong

Proceedings of the Computer Network Security, 2017