Alessio Viticchié, Cataldo Basile, Antonio Lioy (2017) Remotely assessing integrity of software applications by monitoring invariants: Present limitations and future directions, In: CRiSIS-2017: 12th Int. Conf. on Risks and Security of Internet and Systems, pp. 66-82, ISBN: 978-3-319-76686-7