Roberto Metere

35 papers A* 1B 1C 1Journal 25Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
What a Mesh: Formal Security Analysis of WPA3 SAE Wireless Authentication.
CoRR
Roberto Metere, Mario Lilli, Luca Arnaboldi, Elvinia Riccobene
2025 J jnl
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version).
CoRR
Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav
2025 C conf
Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks.
ICFEM
Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav
2025 — conf
ValuED: A Blockchain-Based Trading Platform to Encourage Student Engagement in Higher Education.
ICSA Companion
Aydin Abadi, Jin Xiao, Roberto Metere, Richard Shillcock
2024 J jnl
A certificateless signature scheme and a certificateless public auditing scheme with authority trust level 3+.
J. Ambient Intell. Humaniz. Comput.
Fei Li, Dongqing Xie, Wei Gao, Kefei Chen, Guilin Wang, Roberto Metere
2024 — conf
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems.
MECO
Roberto Metere, Ricardo M. Czekster, Luca Arnaboldi
2024 — conf
Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification.
DataMod
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 J jnl
Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification.
CoRR
Roberto Metere, Kangfeng Ye, Yue Gu, Zhi Zhang, Dalal Alrajeh, Michele Sevegnani, Poonam Yadav
2024 B conf
User-Guided Verification of Security Protocols via Sound Animation.
SEFM
Kangfeng Ye, Roberto Metere, Poonam Yadav
2024 J jnl
User-Guided Verification of Security Protocols via Sound Animation.
CoRR
Kangfeng Ye, Roberto Metere, Poonam Yadav
2023 J jnl
A Direct Lazy Sampling Proof Technique in Probabilistic Relational Hoare Logic.
CoRR
Roberto Metere, Changyu Dong
2023 J jnl
Checking and Automating Confidentiality Theory in Isabelle/UTP.
CoRR
Lex Bailey, Jim Woodcock, Simon Foster, Roberto Metere
2022 J jnl
An Overview of Cyber Security and Privacy on the Electric Vehicle Charging Infrastructure.
CoRR
Roberto Metere, Zoya Pourmirza, Sara Walker, Myriam Neaimeh
2022 — conf
Automating Cryptographic Protocol Language Generation from Structured Specifications.
FormaliSE@ICSE
Roberto Metere, Luca Arnaboldi
2022 J jnl
cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models.
CoRR
Ricardo M. Czekster, Roberto Metere, Charles Morisset
2021 J jnl
MetaCP: Cryptographic Protocol Design Tool for Formal Verification.
CoRR
Roberto Metere, Luca Arnaboldi
2021 J jnl
Securing the Electric Vehicle Charging Infrastructure.
CoRR
Roberto Metere, Myriam Neaimeh, Charles Morisset, Carsten Maple, Xavier J. A. Bellekens, Ricardo M. Czekster
2020 J jnl
End-to-End Verifiable E-Voting Trial for Polling Station Voting at Gateshead.
IACR Cryptol. ePrint Arch.
Feng Hao, Shen Wang, Samiran Bag, Rob Procter, Siamak F. Shahandashti, Maryam Mehrnezhad, Ehsan Toreini, Roberto Metere, Lana Y. J. Liu
2020 J jnl
End-to-End Verifiable E-Voting Trial for Polling Station Voting.
IEEE Secur. Priv.
Feng Hao, Shen Wang, Samiran Bag, Rob Procter, Siamak F. Shahandashti, Maryam Mehrnezhad, Ehsan Toreini, Roberto Metere, Lana Y. J. Liu
2019 J jnl
Efficient Delegated Private Set Intersection on Outsourced Private Datasets.
IEEE Trans. Dependable Secur. Comput.
Aydin Abadi, Sotirios Terzis, Roberto Metere, Changyu Dong
2019 — conf
Modelling Load-Changing Attacks in Cyber-Physical Systems.
PASM
Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere
2019 J jnl
Modelling Load-Changing Attacks in Cyber-Physical Systems.
CoRR
Luca Arnaboldi, Ricardo M. Czekster, Roberto Metere, Charles Morisset
2019 A* conf
Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.
CCS
Luca Arnaboldi, Roberto Metere
2019 J jnl
Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols.
CoRR
Luca Arnaboldi, Roberto Metere
2019 J jnl
TrABin: Trustworthy Analyses of Binaries.
CoRR
Andreas Lindner, Roberto Guanciale, Roberto Metere
2019 J jnl
TrABin: Trustworthy analyses of binaries.
Sci. Comput. Program.
Andreas Lindner, Roberto Guanciale, Roberto Metere
2018 J jnl
Analysing and Patching SPEKE in ISO/IEC.
CoRR
Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong
2018 J jnl
Analyzing and Patching SPEKE in ISO/IEC.
IEEE Trans. Inf. Forensics Secur.
Feng Hao, Roberto Metere, Siamak F. Shahandashti, Changyu Dong
2018 J jnl
Efficient Delegated Private Set Intersection on Outsourced Private Datasets.
IACR Cryptol. ePrint Arch.
Aydin Abadi, Sotirios Terzis, Roberto Metere, Changyu Dong
2018 J jnl
Incentive-driven attacker for corrupting two-party protocols.
Soft Comput.
Yilei Wang, Roberto Metere, Huiyu Zhou, Guanghai Cui, Tao Li
2018 J jnl
Socially-conforming cooperative computation in cloud networks.
J. Parallel Distributed Comput.
Tao Li, Brij Bhooshan Gupta, Roberto Metere
2018 J jnl
Sound Transpilation from Binary to Machine-Independent Code.
CoRR
Roberto Metere, Andreas Lindner, Roberto Guanciale
2017 — conf
Automated Cryptographic Analysis of the Pedersen Commitment Scheme.
MMM-ACNS
Roberto Metere, Changyu Dong
2017 J jnl
Automated Cryptographic Analysis of the Pedersen Commitment Scheme.
CoRR
Roberto Metere, Changyu Dong
2017 — conf
Sound Transpilation from Binary to Machine-Independent Code.
SBMF
Roberto Metere, Andreas Lindner, Roberto Guanciale