{"id":"W2966457083","doi":"","title":"On MILP-Based Automatic Search for Differential Trails Through Modular Additions with Application to Bel-T.","year":2019,"lang":"en","type":"preprint","venue":"IACR Cryptology ePrint Archive","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Block cipher; Modular design; Differential (mechanical device); Computer science; Algorithm; Integer (computer science); Cipher; Lookup table; Mathematics; Arithmetic; Encryption; Cryptography; Programming language","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.0002378823,0.0004755175,0.0006140529,0.0005163995,0.0003521627,0.0001715573,0.001470076,0.0002210128,0.0001161782],"category_scores_gemma":[0.00003443105,0.0004387395,0.0003126391,0.0003260954,0.0002037092,0.0001067721,0.0007611522,0.0006853667,0.0001052205],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000986201,"about_ca_system_score_gemma":0.0003957509,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001031595,"about_ca_topic_score_gemma":0.0002415749,"domain_scores_codex":[0.9966434,0.0002690071,0.0005466921,0.001408873,0.000454345,0.0006777469],"domain_scores_gemma":[0.9966723,0.0009094083,0.0002460621,0.001790576,0.0002012341,0.0001803636],"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.00008208407,0.0003673127,0.0001539081,0.0001784075,0.000158881,0.000004376068,0.002809247,0.02069579,0.0004886278,0.9682983,0.0006081595,0.00615497],"study_design_scores_gemma":[0.001310295,0.0006610401,0.00709074,0.0001439926,0.00006791804,0.000008487303,0.00009734278,0.3074041,0.001329552,0.6804813,0.0008278908,0.0005773951],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1336299,0.000007065491,0.8581508,0.002758287,0.0003300123,0.003779673,0.0008327174,0.0002321626,0.0002794097],"genre_scores_gemma":[0.4847192,0.00000354808,0.5115414,0.0004874122,0.0000609008,0.002387663,0.0007709561,0.00002814696,7.409332e-7],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3510893,"threshold_uncertainty_score":0.9998065,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02172306079136101,"score_gpt":0.305961509797424,"score_spread":0.284238449006063,"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."}}