{"id":"W2464265904","doi":"10.1007/978-3-319-33630-5_24","title":"A Progress-Sensitive Flow-Sensitive Inlined Information-Flow Control Monitor","year":2016,"lang":"en","type":"book-chapter","venue":"IFIP advances in information and communication technology","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université Laval","funders":"","keywords":"Flow (mathematics); Information flow; Computer science; Flow control (data); Mechanics; Physics; Computer network; Philosophy","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004753701,0.000374505,0.0004668175,0.001261897,0.0003340952,0.0002370704,0.001240311,0.0006448348,0.00001144071],"category_scores_gemma":[0.0002047775,0.0003607729,0.00007289581,0.0003109577,0.0006047622,0.00577553,0.0005676203,0.0007494703,0.0002246986],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001957538,"about_ca_system_score_gemma":0.0001331392,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002379474,"about_ca_topic_score_gemma":0.000008724928,"domain_scores_codex":[0.997799,0.00007546372,0.001217559,0.0002684153,0.0003324567,0.0003071425],"domain_scores_gemma":[0.9961519,0.0003832154,0.001207862,0.001355075,0.0008274704,0.00007445067],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00001929735,0.000007764958,0.00001726587,0.00002844203,0.00001546973,6.447474e-7,0.000791163,0.00007216848,4.014421e-7,0.5141795,0.00004644373,0.4848215],"study_design_scores_gemma":[0.002076302,0.0001258441,0.0000990356,0.0007721574,0.00001739455,0.00007389707,0.0005126613,0.1262627,0.0001734679,0.1454086,0.7236901,0.000787858],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00005925372,0.00495993,0.8345869,0.01069372,0.0006820548,0.001597805,0.0001766845,0.001205372,0.1460383],"genre_scores_gemma":[0.6028175,0.04580051,0.3389202,0.00643962,0.0002751258,0.0009278432,0.001034659,0.00008916477,0.003695396],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7236437,"threshold_uncertainty_score":0.9998844,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006423980228470338,"score_gpt":0.242268665320011,"score_spread":0.2358446850915407,"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."}}