{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005916773,0.0005077764,0.0004644755,0.00082914,0.000807967,0.000807074,0.0007756937,0.001416175,0.00264057],"category_scores_gemma":[0.004328369,0.0002573186,0.0004057995,0.0005081517,0.001151051,0.001854272,0.001995192,0.001158444,0.0005305846],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006449217,"about_ca_system_score_gemma":0.0003857217,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0007306053,"about_ca_topic_score_gemma":0.0007152958,"domain_scores_codex":[0.9979357,0.0002804741,0.0001111006,0.0002948526,0.0009878643,0.0003900869],"domain_scores_gemma":[0.9965205,0.0009843917,0.0005192458,0.001439829,0.0004337038,0.0001022841],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002138031,0.0006047292,0.02776871,0.0006574818,0.0002513011,0.01493276,0.004749656,0.03541468,0.4095038,0.1744953,0.02718612,0.3022974],"study_design_scores_gemma":[0.0001086293,0.001576204,0.009635999,0.0002160474,0.0002002179,0.01299051,0.000479356,0.2274321,0.6639494,0.01956013,0.06364737,0.0002041117],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7359506,0.001112546,0.1961557,0.002173378,0.0004178681,0.0003922874,0.0002117918,0.007667632,0.05591818],"genre_scores_gemma":[0.9763817,0.0001568289,0.01621588,0.0005133771,0.00001965674,0.00005719835,0.00004919312,0.0001309022,0.006475241],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00264057,"threshold_uncertainty_score":0.008833587,"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."}}