"HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified ..."

Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics