{"id":"W3140997097","doi":"10.1007/978-3-030-90567-5_6","title":"On MILP-Based Automatic Search for Bit-Based Division Property for Ciphers with (Large) Linear Layers","year":2021,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Coding theory and cryptography","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Division (mathematics); Permutation (music); Computer science; Multiplication (music); Integer programming; Algorithm; Integer (computer science); Linear programming; Matrix (chemical analysis); Set (abstract data type); Invertible matrix; Theoretical computer science; Mathematics; Mathematical optimization; Arithmetic","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.001318166,0.0008185913,0.001318176,0.001535837,0.0007963694,0.002056355,0.001237839,0.001065964,0.007744485],"category_scores_gemma":[0.00650094,0.000465249,0.001117973,0.001334297,0.001409385,0.003441538,0.003043758,0.001961939,0.001581993],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008908564,"about_ca_system_score_gemma":0.001431733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008260667,"about_ca_topic_score_gemma":0.0009126294,"domain_scores_codex":[0.9987205,0.0003454832,0.00008730804,0.0002013853,0.0004090852,0.0002362969],"domain_scores_gemma":[0.9972939,0.00152968,0.0001515287,0.000591366,0.0003083889,0.0001251142],"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.001559659,0.0004126542,0.001935649,0.0006826434,0.0001543678,0.0003792351,0.0003667014,0.1666748,0.03982729,0.4414137,0.01684414,0.3297493],"study_design_scores_gemma":[0.00006232733,0.0001322467,0.0001622051,0.00003971469,0.0000307209,0.0001001457,0.00003781497,0.8162149,0.007032958,0.1744637,0.00169577,0.00002754626],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05248456,0.0003941888,0.9353365,0.0003996145,0.0001281946,0.0001423646,0.0002293549,0.001571712,0.009313446],"genre_scores_gemma":[0.6723998,0.0003302881,0.3204408,0.000452583,0.0001792373,0.0002647766,0.0007779606,0.0003630901,0.004791407],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007744485,"threshold_uncertainty_score":0.02590787,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02379203951712848,"score_gpt":0.2819105757048534,"score_spread":0.258118536187725,"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."}}