Publication | Closed Access

Trust in IoT: dynamic remote attestation through efficient behavior capture

EngineeringTrusted PlatformRuntime VerificationInformation SecuritySoftware TestingVerificationSecurity Testing MethodIot SecuritySystems EngineeringTrusted Execution EnvironmentComputer ScienceInternet Of ThingsEfficient Behavior CaptureFormal VerificationData Security