Roberto Metere
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks. | Kangfeng Ye, Roberto Metere, Jim Woodcock, Poonam Yadav |
| 2025 | ICSA | ValuED: A Blockchain-Based Trading Platform to Encourage Student Engagement in Higher Education. | Aydin Abadi, Jin Xiao, Roberto Metere, Richard Shillcock |
| 2024 | SEFM | User-Guided Verification of Security Protocols via Sound Animation. | Kangfeng Ye, Roberto Metere, Poonam Yadav |
| 2019 | CCS | Poster: Towards a Data Centric Approach for the Design and Verification of Cryptographic Protocols. | Luca Arnaboldi, Roberto Metere |