{"id":"W4401202869","doi":"10.48550/arxiv.2407.20396","title":"Mutual information chain rules for security proofs robust against device imperfections","year":2024,"lang":"en","type":"preprint","venue":"arXiv (Cornell University)","topic":"Information and Cyber Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"QuantERA; Air Force Office of Scientific Research; Eidgenössische Technische Hochschule Zürich; University of Waterloo; Natural Sciences and Engineering Research Council of Canada; Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung","keywords":"Mathematical proof; Computer security; Mutual information; Computer science; Chain (unit); Information security; Theoretical computer science; Business; Mathematics; Artificial intelligence; Physics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01273102,0.001323089,0.0013819,0.003576656,0.001605464,0.004155119,0.002996062,0.002346018,0.006089199],"category_scores_gemma":[0.04636576,0.001286765,0.002392481,0.002167727,0.00649321,0.01213166,0.004885065,0.005866606,0.001972665],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002663197,"about_ca_system_score_gemma":0.001788412,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006792804,"about_ca_topic_score_gemma":0.0005183,"domain_scores_codex":[0.9838882,0.00477375,0.001265046,0.002747136,0.006287765,0.001038099],"domain_scores_gemma":[0.9529787,0.03321166,0.002765239,0.007141929,0.003267471,0.0006350088],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0000437605,0.00002616555,0.0002051533,0.0001128942,0.00003437753,0.0001309328,0.0001877625,0.0363602,0.002034884,0.9464844,0.0007065941,0.01367295],"study_design_scores_gemma":[0.00001502975,0.0000278161,0.00007084087,0.00004152087,0.00001596242,0.00006178804,0.00001287214,0.1300236,0.003778483,0.8639727,0.001945919,0.00003347955],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00920755,0.0003519455,0.9807466,0.0002921842,0.00005054915,0.0001272313,0.0001240626,0.0003337842,0.008766091],"genre_scores_gemma":[0.5921834,0.001295984,0.3938676,0.0007885222,0.0003673099,0.0009914059,0.0005906801,0.000888421,0.009026673],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01273102,"threshold_uncertainty_score":0.06732887,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04060627116192476,"score_gpt":0.1874796750656358,"score_spread":0.146873403903711,"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."}}