{"id":"W4220834208","doi":"10.1145/3508398.3511507","title":"A TOCTOU Attack on DICE Attestation","year":2022,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"Microsoft (Canada)","funders":"","keywords":"Firmware; Computer science; Malware; Dice; Reboot; Embedded system; Operating system; Microcontroller; Computer security; Computer hardware","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.0003799193,0.0001662114,0.0001488385,0.0001349621,0.0002250106,0.0003115834,0.001569957,0.0000929395,0.0004788671],"category_scores_gemma":[0.00006199462,0.0001776896,0.00008953713,0.000252991,0.00001652165,0.0001144252,0.001930931,0.0006280809,0.0002095342],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001399095,"about_ca_system_score_gemma":0.0001377841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000483212,"about_ca_topic_score_gemma":0.000003171905,"domain_scores_codex":[0.9982771,0.0001351362,0.0002697485,0.0006988023,0.0004364275,0.0001827975],"domain_scores_gemma":[0.9983009,0.0002841244,0.0001940214,0.001093053,0.00006931949,0.00005862492],"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.00001134247,0.0003128274,0.0004299291,0.0001552201,0.0000504193,0.00002239402,0.004750968,0.06861354,0.000028515,0.8233718,0.04769557,0.05455743],"study_design_scores_gemma":[0.0002462459,0.0001424403,0.004283923,0.00008125933,0.000008517451,0.000008107408,0.0001187472,0.828314,0.0002894057,0.01776133,0.148087,0.0006590266],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01590056,0.00005794445,0.9143487,0.004659814,0.002878957,0.0003939303,0.000007442037,0.0007666413,0.06098606],"genre_scores_gemma":[0.8652065,0.00003978656,0.1241606,0.006275282,0.0004675738,0.000241676,0.0001155303,0.00003007923,0.003462945],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.849306,"threshold_uncertainty_score":0.7245973,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1095651814174585,"score_gpt":0.3529937583568521,"score_spread":0.2434285769393936,"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."}}