In recent years, Cloud Computing has become an increasingly widespread paradigm within ICT infrastructures, introducing lots of benefits such as cost savings and higher performances. On the other hand, however, this new paradigm introduced new threats and vulnerabilities menacing the reliability of the nodes over the Cloud. To mitigate these kinds of risks, such as possible attacks on the software integrity of a node, different techniques were proposed in literature over the years. The concept of Remote Attestation (RA), in particular, allows the hardware and software of a host (called Attester or Prover) to be authenticated through another remote host (called Verifier), allowing the definition of the state of integrity of the node.