{"id":"W4242766192","doi":"10.46586/tosc.v2017.i4.99-129","title":"MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics","year":2017,"lang":"en","type":"article","venue":"IACR Transactions on Symmetric Cryptology","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":70,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Algorithm; Computer science; Representation (politics); Mathematics; Theoretical computer science; Mathematical optimization","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.001117095,0.001410657,0.001107452,0.0005762527,0.000436199,0.001526434,0.001191028,0.001098318,0.007640539],"category_scores_gemma":[0.002497629,0.0006657249,0.000935212,0.0006901822,0.0009720257,0.001615107,0.001036364,0.001854731,0.0008109061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001397619,"about_ca_system_score_gemma":0.001858787,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002339202,"about_ca_topic_score_gemma":0.0030775,"domain_scores_codex":[0.9993371,0.0001797913,0.00002429007,0.0001133508,0.0002224204,0.0001229759],"domain_scores_gemma":[0.9989291,0.0006872144,0.000127989,0.00005611301,0.0001451831,0.00005435352],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002890993,0.00001423699,0.000130034,0.00004431176,0.0000106413,0.00005633278,0.00001707598,0.9694524,0.0009020593,0.02422202,0.0005666245,0.004555305],"study_design_scores_gemma":[0.000005766577,0.000009932625,0.00001587804,0.00000575985,0.000004391167,0.000008034216,0.00000589136,0.9920411,0.0003804942,0.007037629,0.0004826833,0.000002529921],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0116555,0.0002058036,0.9795273,0.0002262641,0.00003557454,0.00007320754,0.0001500419,0.0002649732,0.00786139],"genre_scores_gemma":[0.6303756,0.0004642498,0.3551708,0.0003077555,0.00005093323,0.0005769794,0.0004087224,0.0003038815,0.01234095],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007640539,"threshold_uncertainty_score":0.02556014,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06615708801716053,"score_gpt":0.3386980545469639,"score_spread":0.2725409665298034,"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."}}