Fröschle, Sibylle B.Sibylle B.FröschleKubisch, MartinMartinKubisch2024-09-172024-09-172024-10-186th Workshop on CPS&IoT Security and Privacy, CPSIoTSec 2024https://hdl.handle.net/11420/49032In this short paper we explore if and how we can securely pair up two machines for secure machine-to-machine communication by means of an NFC system subject to two conditions: firstly, the machine pairing method must be truly local in that we cannot rely on long-term secrets or a public-key infrastructure; secondly, the machine pairing method must be verifiable and certifiable to a high assurance level. We address this question motivated by a demand for this in the aerospace domain, where there is currently a drive to introduce machine-to-machine communication over wireless networks to improve ground processes such as refuelling and air conditioning. In this paper we present preliminary results towards a positive answer to this question.enCyber-Physical SystemsDistance BoundingFormal Models and VerificationHigh AssuranceKey EstablishmentNFCResilienceComputer Science, Information and General Works::005: Computer Programming, Programs, Data and SecurityConference Paper10.1145/3690134.3694824Conference Paper