URL:  https://wwwen.uni.lu/research/fstm/dcs/research_projects/remote_memory_attestation_and_erasure_through_formal_verification Date:  Monday, 28 November 2022, 20:31