Robeto Metere

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

My 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. My research is jointly organised by the Newcastle University, The Alan Turing Institute, and Innovate UK.

My 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

e4future @ Newcastle University

e4future @ The Alan Turing Institute

Internal talklets at the SRS group

Globe graph of current Covid-19 (cases-deaths)