{"id":"W3140837477","doi":"10.1145/945445.945463","title":"Implementing an untrusted operating system on trusted hardware","year":2003,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":154,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Operating system; Trusted Computing; Embedded system; Embedded operating system; Context (archaeology); Trusted Platform Module; Memory protection; Architecture; Direct Anonymous Attestation; Tamper resistance; Context switch; Hardware architecture; Computer hardware; Memory management; Virtual memory; Software; Computer security; Overlay","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009215352,0.000136485,0.000134849,0.00009313197,0.0006377646,0.0004754564,0.0005914911,0.00005101568,0.00007565634],"category_scores_gemma":[0.00008232819,0.0001266825,0.00004038683,0.0004347341,0.00001047538,0.0004475187,0.00009716558,0.0001287421,0.00007535603],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007511018,"about_ca_system_score_gemma":0.00005770134,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000317013,"about_ca_topic_score_gemma":0.000008278311,"domain_scores_codex":[0.9982965,0.0002387385,0.0003401893,0.0004599788,0.0002486082,0.0004159909],"domain_scores_gemma":[0.9989493,0.0001011532,0.000103143,0.000627953,0.0001126379,0.0001058292],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[6.54751e-7,0.0000299895,0.0004517089,0.00001803689,0.000007368885,0.00000445313,0.0006838064,0.0003913269,0.0003560981,0.9915733,0.0001381178,0.006345107],"study_design_scores_gemma":[0.0007459216,0.0001569649,0.0008818105,0.00009773779,0.000006083216,0.00006917857,0.003666619,0.9538741,0.02078802,0.0002987818,0.01895124,0.0004635425],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1020087,0.00001974205,0.8125779,0.0001831784,0.000747311,0.0002639019,0.000001414554,0.001067906,0.08312996],"genre_scores_gemma":[0.9225292,3.146368e-7,0.07684071,0.0003842514,0.00006843411,0.00001014952,0.000003842436,0.000009084354,0.000154041],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9912745,"threshold_uncertainty_score":0.5165964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03508068956660935,"score_gpt":0.2828035630620673,"score_spread":0.2477228734954579,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}