DO-RA: Data-oriented runtime attestation for IoT devices
Boyu Kuang, Anmin Fu, Lu Zhou, Willy Susilo, Yuqing Zhang
Topics & Concepts
Computer scienceGas meter proverControl flow graphControl flowScheme (mathematics)Data integrityData flow diagramStatic analysisInternet of ThingsAccess controlDistributed computingEmbedded systemComputer securityDatabaseTheoretical computer scienceProgramming languageMathematical proofGeometryMathematical analysisMathematicsSecurity and Verification in ComputingCloud Data Security SolutionsAdvanced Malware Detection Techniques