Alessio Viticchie', Cataldo Basile, Fulvio Valenza, Antonio Lioy (2018) On the impossibility of effectively using likely-invariants for software attestation purposes, In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, pp. 1-25, ISSN: 2093-5374