{"id":"W2621029580","doi":"","title":"Covert Channel Synthesis for Transducers ⋆","year":2010,"lang":"en","type":"preprint","venue":"","topic":"Internet Traffic Analysis and Secure E-voting","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Covert channel; Covert; Probabilistic logic; Computer science; Channel (broadcasting); Undecidable problem; Decoding methods; Theoretical computer science; Iterated function; Algorithm; Mathematics; Computer network; Decidability; Artificial intelligence","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.0005231022,0.0003078618,0.0004811524,0.0001536194,0.00009940145,0.0003523402,0.001932199,0.0004284199,0.0001039026],"category_scores_gemma":[0.00008657541,0.0002589856,0.0006362139,0.00009444817,0.00003371982,0.0001156065,0.0004099462,0.0005705009,0.0000370065],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003903564,"about_ca_system_score_gemma":0.0001317172,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000457981,"about_ca_topic_score_gemma":0.0001783199,"domain_scores_codex":[0.9980922,0.00003600676,0.0003841977,0.0008340648,0.0002735214,0.0003800563],"domain_scores_gemma":[0.9987803,0.0002687487,0.0001587057,0.0005289258,0.0001568299,0.000106503],"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.00001859493,0.000178105,0.000002496587,0.0003170714,0.0006369201,0.00001117313,0.003180368,0.02877219,0.000205929,0.9054129,0.01355703,0.04770726],"study_design_scores_gemma":[0.00008376247,0.00001806937,0.000004498013,0.00005770587,0.00006429552,0.000002923361,0.00003025397,0.992449,0.002039411,0.0004621702,0.004429867,0.0003580516],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003047198,0.00004956548,0.9894196,0.001544577,0.001780442,0.0003199382,0.00001624592,0.0002612606,0.003561135],"genre_scores_gemma":[0.957446,0.0000140181,0.04045773,0.0003601823,0.0003200343,0.0001426346,0.00001175133,0.00002195431,0.001225667],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9636768,"threshold_uncertainty_score":0.9999862,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02084466470432227,"score_gpt":0.2481974519357344,"score_spread":0.2273527872314122,"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."}}