{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004479939,0.000342915,0.0002755359,0.000495218,0.0003550744,0.0005495218,0.001222809,0.0003752035,0.00001411548],"category_scores_gemma":[0.00005635228,0.0003873153,0.000308283,0.0006091347,0.00007041703,0.00173943,0.001827351,0.0007620348,0.0004846115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003479797,"about_ca_system_score_gemma":0.0004345536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000696797,"about_ca_topic_score_gemma":0.0001121513,"domain_scores_codex":[0.9984789,0.00007389786,0.0003724309,0.0005507571,0.0001316854,0.0003923441],"domain_scores_gemma":[0.9982619,0.00007894012,0.0002816661,0.0008118867,0.0003985842,0.0001670564],"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.00002331375,0.00006544298,0.00004601058,0.000676993,0.0001044554,0.0000136474,0.004890989,0.06311071,0.000002441157,0.9241193,0.003730157,0.003216535],"study_design_scores_gemma":[0.0003966652,0.00004167101,0.00007159752,0.0001057827,0.0000509408,0.000005234625,0.0003334856,0.9142907,0.00008744335,0.06672548,0.01742125,0.0004697618],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1830829,0.00007342728,0.7883903,0.0004932897,0.002340823,0.001445705,0.0003042326,0.001098821,0.02277057],"genre_scores_gemma":[0.9966217,0.00007266372,0.002003226,0.0004506154,0.0001315716,0.0000157753,0.000283155,0.00001344676,0.0004078717],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8573938,"threshold_uncertainty_score":0.9998579,"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."}}