{"id":"W4414199074","doi":"10.1109/dac63849.2025.11132094","title":"RAP-Track: Efficient Control Flow Attestation via Parallel Tracking in Commodity MCUs","year":2025,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"TRACE (psycholinguistics); Control flow; Context (archaeology); Control (management); Flow control (data); Instrumentation (computer programming); Code (set theory); Flow (mathematics); Commodity; Track (disk drive)","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.0006533025,0.0001126168,0.0001594464,0.0001704321,0.0001672393,0.0001725172,0.0005729757,0.00006525101,0.00001539664],"category_scores_gemma":[0.00009168925,0.0001134276,0.00005221579,0.0006089762,0.00003273711,0.0001980025,0.00007812776,0.0001866213,0.00003195916],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00008076937,"about_ca_system_score_gemma":0.00006864695,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006922476,"about_ca_topic_score_gemma":0.00004692038,"domain_scores_codex":[0.9987158,0.0001411506,0.0003522109,0.0003587485,0.0001867409,0.000245342],"domain_scores_gemma":[0.9988466,0.0005321529,0.0000788222,0.0004022249,0.00009825867,0.0000419798],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003572429,0.000627025,0.01266198,0.00006525812,0.00002964269,0.00001474046,0.002851546,0.4723945,0.0006620242,0.2718463,0.001746077,0.2370653],"study_design_scores_gemma":[0.0008110343,0.00001278983,0.03502426,0.00002988286,0.000002615986,0.000002188251,0.0000311748,0.9595156,0.0004832043,0.003443894,0.0005271676,0.0001161734],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04048921,0.00007089343,0.9542652,0.002336728,0.0004973533,0.000228941,0.000001194294,0.0001929989,0.001917431],"genre_scores_gemma":[0.9578902,0.000002556305,0.04087923,0.001141679,0.00002712019,0.00001598991,0.000003612487,0.000003043818,0.00003659643],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.917401,"threshold_uncertainty_score":0.4625443,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01685712802893225,"score_gpt":0.2786980902551329,"score_spread":0.2618409622262006,"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."}}