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.
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