{"id":"W1878475345","doi":"10.1007/978-3-642-40196-1_16","title":"SAT-Based Analysis and Quantification of Information Flow in Programs","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Information flow; Data-flow analysis; Data flow diagram; Database","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.00514355,0.001662789,0.001497315,0.003288902,0.001310253,0.004485243,0.003990405,0.001734529,0.01084846],"category_scores_gemma":[0.01948534,0.001758759,0.004593543,0.003309995,0.004997414,0.01176005,0.003712884,0.005872321,0.001458332],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00356298,"about_ca_system_score_gemma":0.002508701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003064276,"about_ca_topic_score_gemma":0.003622644,"domain_scores_codex":[0.9927591,0.003134324,0.0004132882,0.001038188,0.002065571,0.0005894792],"domain_scores_gemma":[0.9848971,0.01149725,0.0004257121,0.002045601,0.0009890303,0.0001453246],"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.00009831733,0.00005862404,0.0005073408,0.0003176176,0.00007873169,0.00005250887,0.0002187432,0.05531577,0.002372375,0.8791068,0.0030225,0.05885075],"study_design_scores_gemma":[0.00001157036,0.00001954423,0.0002186451,0.0000795987,0.00004708396,0.00003697774,0.00003228949,0.1784356,0.003545097,0.8142669,0.003282135,0.00002463591],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0072697,0.0005679623,0.9811859,0.0006649797,0.00008806901,0.0000645792,0.0002616076,0.0007848831,0.009112298],"genre_scores_gemma":[0.3916881,0.001467749,0.5911247,0.0006780622,0.0003981244,0.0003723246,0.001316021,0.000965244,0.01198976],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01084846,"threshold_uncertainty_score":0.03629172,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01959835151394648,"score_gpt":0.2435986769979469,"score_spread":0.2240003254840004,"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."}}