{"id":"W4396980827","doi":"10.1109/isqed60706.2024.10528770","title":"Automated Assertion Checker Generator and Information Flow Tracking for Security Verification","year":2024,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Assertion; Computer science; Information flow; Generator (circuit theory); Formal verification; Computer security; Programming language; Power (physics)","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.0004088696,0.00008183329,0.00006700965,0.0001096583,0.000162723,0.0008499927,0.000161235,0.00007092381,0.000005946065],"category_scores_gemma":[0.00005206662,0.00007877146,0.0000315033,0.0003006864,0.00001251794,0.0030691,0.00003613945,0.00006679534,0.00002788414],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004101448,"about_ca_system_score_gemma":0.00005167022,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005711364,"about_ca_topic_score_gemma":0.000001319682,"domain_scores_codex":[0.9992844,0.0000246054,0.0002325312,0.0002103984,0.0001219431,0.0001261395],"domain_scores_gemma":[0.9995338,0.00006421754,0.00004431113,0.000186849,0.0001275763,0.00004325055],"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.00000588786,0.00002605198,0.00004879825,0.0002467199,0.00002286314,4.544264e-7,0.005327684,0.0004521601,0.002134432,0.7228555,0.004499974,0.2643794],"study_design_scores_gemma":[0.000104537,0.00001651721,0.0008635917,0.00002043909,0.000004009979,0.000006298077,0.0000301697,0.9542971,0.006302079,0.002148477,0.03610536,0.0001014525],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0416396,0.0001476709,0.9544711,0.0009211334,0.0006207759,0.0002232198,0.000003993084,0.001600497,0.0003719956],"genre_scores_gemma":[0.9254236,0.00002324978,0.07407669,0.0002853757,0.00009492785,0.00003834348,0.0000415162,0.000004516593,0.00001183987],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9538449,"threshold_uncertainty_score":0.8196499,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0196052131536083,"score_gpt":0.2766176961567687,"score_spread":0.2570124830031604,"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."}}