2 papers
cs.CR2021
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol
Felipe Boeira, Mikael Asplund
Vehicular networks will enable a range of novel applications to enhance road traffic efficiency, safety, and reduce fuel consumption. As for other cyber-physical systems, security…
cs.NI2014
Modelling Correlated Mobility
Mikael Asplund, Simin Nadjm-Tehrani
When nodes in a mobile network cluster together or move according to common external factors (e.g., cars that follow the road network), the resulting contact patterns become correl…