Hofer-Schmitz, Katharina
228  results:
Search for persons X
?
3

A Formal Analysis of EnOcean's Teach-in and Authentication:

, In: Proceedings of the 16th International Conference on Availability, Reliability and Security,
Hofer-Schmitz, Katharina - p. 1-8 , 2021
 
?
8

Formal Modeling: A Step Forward to Cyber Secure Connected C..:

, In: Towards Connected and Autonomous Vehicle Highways; EAI/Springer Innovations in Communication and Computing,
 
?
10

Formal Methods for Connected Vehicle Protocols:

, In: 2019 27th Telecommunications Forum (TELFOR),
 
?
11

Towards Formal Methods of IoT Application Layer Protocols:

, In: 2019 12th CMI Conference on Cybersecurity and Privacy (CMI),
 
1-15