News

Cities should have more input on TxDOT highway 'monstrosities'
A reader says TxDOT highways are "monstrosities" that divide neighborhoods, create visual noise and air pollution and are the ...
IEEE6d
Secure Authentication and Key Management Protocol for Deployment of Internet of Vehicles (IoV) Concerning Intelligent Transport Systems
AKAP-IoV was tested and verified using Scyther and Tamarin to ensure its resistance to cyber threats. Furthermore, we conducted a formal security analysis using the Real-or-Random (RoR) oracle model ...