Concepedia

{VRASED}: A Verified Hardware/Software Co-Design for Remote Attestation

Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, Gene Tsudik

USENIX Security Symposium · 2019 · 89 citations · 14 references

Concepts

EngineeringComputer EngineeringComputer ScienceAuthenticationEmbedded SystemsHardware-software Co-designAssertion-based VerificationDeductive VerificationDesign For TestabilityHardware Security VerificationHardware-in-the-loop ValidationSoftware TestingAttestationEmbedded Hardware Co-designHardware Co-verificationRemote AttestationSecure Hardware Design Verification

References

14

Understanding the mirai botnet

Manos Antonakakis, Tim April, Michael Bailey et al. · USENIX Security Symposium · 2017 · 1.1K citations

Computing, Computer Systems, Cybersecurity +12

Patrick Koeberl, Steffen Schulz, Ahmad‐Reza Sadeghi et al. · 2014 · 340 citations

Computing, Computer Engineering, Computer Science +15

Arvind Seshadri, Mark Luk, Elaine Shi et al. · ACM SIGOPS Operating Systems Review · 2005 · 321 citations

Computing, Computer Engineering, Computer Science +16

SMART: Secure and Minimal Architecture for (Establishing a Dynamic) Root of Trust

Karim Eldefrawy · Graduate School and Research Center in Digital Science (EURECOM) · 2012 · 311 citations

Computing, Computer Engineering, Computer Science +17

Ferdinand Brasser, Brahim El Mahjoub, Ahmad‐Reza Sadeghi et al. · 2015 · 264 citations

Engineering, Computer Engineering, Computer Science +17