28 citations · 71 across the 10 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021
Automating Cryptographic Protocol Language Generation from Structured Specifications
Roberto Metere, Luca Arnaboldi
Security of cryptographic protocols can be analysed by creating a model in a formal language and verifying the model in a tool. All such tools focus on the last part of the analysi…
cs.CR2021★ 3 cited
Securing the Electric Vehicle Charging Infrastructure
Roberto Metere, Myriam Neaimeh, Charles Morisset +3
Electric Vehicles (EVs) can help alleviate our reliance on fossil fuels for transport and electricity systems. However, charging millions of EV batteries requires management to pre…