{"id":"W2735497888","doi":"10.1561/1000000052","title":"Secure Processors Part II: Intel SGX Security Analysis and MIT Sanctum Architecture","year":2017,"lang":"en","type":"article","venue":"Foundations and Trends® in Electronic Design Automation","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"Artificial Intelligence in Medicine (Canada)","funders":"","keywords":"Computer science; Guard (computer science); Software; Isolation (microbiology); State (computer science); Computer security; Trusted Computing; Overhead (engineering); Security analysis; System software; Computation; Software engineering; Operating system; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007872697,0.0005716101,0.0004133703,0.001109326,0.0009383315,0.003081862,0.0007238466,0.0009295457,0.007938189],"category_scores_gemma":[0.002647805,0.0004730706,0.0004939729,0.0008734229,0.002055172,0.004515585,0.001412881,0.002522024,0.001675175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002536769,"about_ca_system_score_gemma":0.001713483,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001734581,"about_ca_topic_score_gemma":0.0014224,"domain_scores_codex":[0.9985293,0.0001988809,0.0000823322,0.0001789773,0.0007903224,0.0002201984],"domain_scores_gemma":[0.9990977,0.0003128187,0.0001423875,0.0002259815,0.0001924026,0.00002877466],"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.00008356275,0.00003375435,0.001100443,0.0001565648,0.00001129922,0.0001479108,0.0004579498,0.02013665,0.003647028,0.8906347,0.01375665,0.06983349],"study_design_scores_gemma":[0.00002556812,0.0003032287,0.003420248,0.0004508968,0.00004523636,0.0008397745,0.0004872099,0.1935967,0.02366652,0.4533492,0.3237482,0.00006725494],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.08180825,0.009437785,0.6927819,0.0078022,0.0006616634,0.0003293071,0.0003875615,0.003287986,0.2035034],"genre_scores_gemma":[0.7635464,0.007052472,0.1611917,0.001187703,0.0005882544,0.0003494128,0.0006068176,0.0006334632,0.06484374],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007938189,"threshold_uncertainty_score":0.02655584,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02022828536111905,"score_gpt":0.2873282454876661,"score_spread":0.2670999601265471,"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."}}