Fröschle, Sibylle B.Sibylle B.FröschleWolters, PhilippPhilippWolters2024-01-102024-01-102023-10Digital Total - Computing & Data Science an der Universität Hamburg und in der Wissenschaftsmetropole Hamburg (2023)https://hdl.handle.net/11420/45026Machine-to-machine communication over wireless networks is increasingly adopted to improve service and maintenance processes at airports, ports, and manufacturing plants. This brings with it the challenge of how to bootstrap a secure communication channel between the machines involved. Building on the idea of secure device pairing we research novel schemes for key establishment that exploit the proximity of the machines, the physical presence of a human or robotic operator, and/or the physical characteristics of the process. This approach allows us to engineer for post-quantum resistance as well as resilience against multi-instance attacks. To meet current safety and security norms we also provide the methodology to formally capture and verify the corresponding requirements.enConference Posterhttps://www.conferences.uni-hamburg.de/event/387/contributions/1589/Conference Poster