Publication | Closed Access

MIPE: a practical memory integrity protection method in a trusted execution environment

Hardware SecurityEngineeringTrusted PlatformProgram AnalysisInformation SecurityOperating System SecurityComputer EngineeringTrusted Execution EnvironmentComputer ScienceHardware Security SolutionFormal VerificationSoftware AnalysisSystem SoftwareData SecurityCryptographyIntegrity Verification