{"id":"W2105528199","doi":"10.1145/1165389.945463","title":"Implementing an untrusted operating system on trusted hardware","year":2003,"lang":"en","type":"article","venue":"ACM SIGOPS Operating Systems Review","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":79,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Operating system; Embedded system; Trusted Computing; Trusted Platform Module; Embedded operating system; Context (archaeology); Memory protection; Architecture; Direct Anonymous Attestation; Context switch; Computer hardware; Virtual memory; Software; Memory management; 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":["metaepi_narrow","sts","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.00544631,0.0004887133,0.0008747142,0.0001364261,0.001566291,0.00140829,0.002244207,0.0001342284,0.0000395503],"category_scores_gemma":[0.002199991,0.0004361131,0.0001562728,0.001113472,0.00002600438,0.0009495415,0.0003846734,0.0004289613,0.0001756185],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002484433,"about_ca_system_score_gemma":0.0002164962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000120409,"about_ca_topic_score_gemma":0.000005945837,"domain_scores_codex":[0.9934335,0.002086316,0.001694635,0.001171162,0.0007075999,0.0009068245],"domain_scores_gemma":[0.9954121,0.0004977146,0.0006302039,0.002698686,0.0005017001,0.0002596166],"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":[0.000002000615,0.0001948658,0.001627668,0.0142857,0.0001645917,0.00008603257,0.002530187,0.003632751,0.001816832,0.9389729,0.00304378,0.0336427],"study_design_scores_gemma":[0.002631511,0.0008822719,0.0003518086,0.07917092,0.0002067405,0.001812077,0.0065415,0.6607808,0.003747104,0.00007499791,0.2399992,0.003800997],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1001652,0.2151221,0.56206,0.003628982,0.01712718,0.01926656,0.00008447758,0.009657275,0.0728882],"genre_scores_gemma":[0.9520515,0.000489159,0.04470582,0.001654033,0.0004162836,0.0003520647,0.00004210387,0.00007296955,0.0002160868],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9388979,"threshold_uncertainty_score":0.9998091,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05117373143572124,"score_gpt":0.3171586654917876,"score_spread":0.2659849340560663,"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."}}