1 code implementation • 7 Aug 2019 • Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
This prompts the following three questions: (1) How to trust data produced by a simple remote embedded device?
Cryptography and Security
1 code implementation • 1 Nov 2018 • Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik
In this work, we take the first step towards formal verification of Remote Attestation (RA) by designing and verifying an architecture called VRASED: Verifiable Remote Attestation for Simple Embedded Devices.
Cryptography and Security
