ARCADIS: Asynchronous Remote Control-Flow Attestation of Distributed IoT Services. - Ragnar Mikael Halldórsson; Edlira Dushku; Nicola Dragoni (IEEE Access, 2021)