Roberto Metere

Research Associate
Newcastle University & The Alan Turing Institute (London)

Current project

I am a researcher in the e4future project, where I study the security analysis, included but not limiting to privacy and authentication, of communications in a vehicle-to-grid (V2G) ecosystem. Vehicle-to-grid enables electric vehicles with bidirectional energy transfer. My research is jointly organised by the Newcastle University, The Alan Turing Institute, and Innovate UK.

Research Interests

The expertise I have been developing throughout my PhD is on formal verification of security properties of cryptographic protocols. I focus on improving the automation of cryptographic proofs that guarantee security properties in the computational model and symbolic model, specialising in formal verification of protocol design in secure computation. My work contributes to boost correctness, reproducibility, ability to be understood, and reliability of security protocols.

In the meanwhile that I am updating this section, you can have a look at the page in google scholar.

Current and past research projects where I worked in, or where my research output directly contributed to.

Aggregate commercial EV fleets for energy flexibility services through the V2G technology, leading industry partner is Nissan.
I research the cybersecurity aspects related to the communication protocols used by electric vehicles. My supervisors are Myriam Neaimeh, leading the Vehicle grid integration project at The Alan Turing Institute, London, and Charles Morisset at Newcastle University.

Make scientific advances by investigating both data structures and cryptography.
I collaborated in this project during my doctorate, under the supervision of Changyu Dong, principal investigator of the project.

The SEEV project aims to develop a new generation of e-voting called the self-enforcing e-voting system.
I collaborated as a researcher in this project with expertise on formal verification and mechanisation of cryptographic protocols.

Build fully verified and secure hypervisors for embedded systems.
I started my collaboration with researchers at PROSPER during my ERASMUS+ experience at the Royal Institute of Technology (KTH, Sweden) in 2015.

UK Security & Privacy Seminar series.
A collaboration between 24 UK Universities with speakers across the globe, and with the aim of sharing world leading research into the current cyber security landscape.

Some of these projects are somehow part of my research, can be unfunded research projects, spare time projects, exercises, hobbies or curiosities.

Booking system of talks, seminars and group discussions we give at the Secure and Resilient Systems group at the School of Computing in Newcastle University.

We explore a novel data-centric approach, to design and model a cryptographic protocol once in a structured specification, and to enjoy its description into multiple target languages.

Worldwide cases and deaths officially related to Covid-19. Official (raw) data are collected from europa.eu.

Wanna play? get your entry-level SQL-injection skills right.

This is a simple, alternatively-rendered, and easy-to-clone version of the https://3d.usb.urbanobservatory.ac.uk/, a 3D model of the Urban Sciences Building at Newcastle Unversity that publishes real-time sensors' data.
(my office is 6.012)