Search for persons
X
?
Proceedings of the 16th International Conference on Availability, Reliability and Security ,
3
A Formal Analysis of EnOcean's Teach-in and Authentication:
, In:
?
2020 28th Telecommunications Forum (TELFOR) ,
6
Smart Water Distribution System Communication Architecture ..:
, In:
?
Towards Connected and Autonomous Vehicle Highways; EAI/Springer Innovations in Communication and Computing ,
8
Formal Modeling: A Step Forward to Cyber Secure Connected C..:
, In:
?
2019 27th Telecommunications Forum (TELFOR) ,
10
Formal Methods for Connected Vehicle Protocols:
, In:
?
2019 12th CMI Conference on Cybersecurity and Privacy (CMI) ,
11