Publication | Closed Access
Safety checking of machine code
71
Citations
69
References
2000
Year
Unknown Venue
EngineeringInformation SecurityVerificationSafety ScienceUntrusted Machine CodeHost SystemSoftware AnalysisFormal VerificationHardware SecuritySafety CheckingTrusted Execution EnvironmentSecure ComputingRuntime VerificationSoftware System SafetyOperating System SecurityComputer ScienceSafety TestingData SecurityCryptographySoftware SecurityTrusted PlatformProgram AnalysisSoftware TestingFormal MethodsSystem Software
We show how to determine statically whether it is safe for untrusted machine code to be loaded into a trusted host system.
| Year | Citations | |
|---|---|---|
Page 1
Page 1