{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"e6b9f19cd496","filters":{"venue":"IACR Transactions on Symmetric Cryptology"}},"results":[{"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,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"Concordia University","funders":"","keywords":"Algorithm; Computer science; Representation (politics); Mathematics; Theoretical computer science; Mathematical optimization","authors":[{"name":"Ahmed Abdelkhalek","is_ca":true},{"name":"Yu Sasaki","is_ca":false},{"name":"Yosuke Todo","is_ca":false},{"name":"Mohamed F. Tolba","is_ca":true},{"name":"Amr Youssef","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.06615708801716053,"gpt":0.3386980545469639,"spread":0.2725409665298034,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005950177,0.0001821917,0.0004128286,0.0004743277,0.0005176216,0.0001019219,0.001229382,0.0001724777,0.00002209987],"category_scores_gemma":[0.0006990689,0.0001803006,0.0001816258,0.000376331,0.00006872023,0.0003166658,0.00003324885,0.0001860395,0.00001154299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007158288,"about_ca_system_score_gemma":0.00006084062,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002456519,"about_ca_topic_score_gemma":0.000007341487,"domain_scores_codex":[0.998256,0.0001116126,0.0005287434,0.0005131028,0.0002159846,0.0003745028],"domain_scores_gemma":[0.9975661,0.0003242827,0.0002703394,0.001417253,0.0003052441,0.0001167616],"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.000478148,0.001402051,0.0003474547,0.000205048,0.0001473345,0.000001970727,0.000929179,0.008779522,0.002950306,0.6518201,0.00003297447,0.3329059],"study_design_scores_gemma":[0.001067994,0.0005553002,0.005126779,0.00002809991,0.0000570118,0.00001273253,0.00002672856,0.9678234,0.01115844,0.01344576,0.0003668164,0.0003309131],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04908827,0.00001029936,0.9481249,0.0004070202,0.001431534,0.0006338062,0.00007369711,0.00007803646,0.0001524776],"genre_scores_gemma":[0.5172084,0.000009099705,0.4826042,0.00002922909,0.0000257392,0.0001037327,0.0000021072,0.000007972454,0.000009513285],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9590439,"threshold_uncertainty_score":0.7352447,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3022241651","doi":"10.46586/tosc.v2020.is1.132-159","title":"WAGE: An Authenticated Encryption with a Twist","year":2020,"lang":"en","type":"article","venue":"IACR Transactions on Symmetric Cryptology","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo; University of Victoria","funders":"Natural Sciences and Engineering Research Council of Canada; National Institute of Standards and Technology; University of Waterloo; U.S. Department of Commerce","keywords":"Authenticated encryption; Permutation (music); Encryption; Block cipher; Computer science; Pseudorandom permutation; Differential cryptanalysis; Pseudorandom number generator; Random permutation; Mathematics; Arithmetic; Theoretical computer science; Algorithm; Block (permutation group theory); Computer network; Combinatorics","authors":[{"name":"Riham AlTawy","is_ca":true},{"name":"Guang Gong","is_ca":true},{"name":"Kalikinkar Mandal","is_ca":true},{"name":"Raghvendra Rohit","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03122177906961792,"gpt":0.2675509467316158,"spread":0.2363291676619979,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001608599,0.0002186463,0.0002575078,0.0006682018,0.0003300341,0.0001435396,0.0005814832,0.0001078963,0.0002675439],"category_scores_gemma":[0.00001811284,0.0001949176,0.0001024215,0.004017163,0.0001137815,0.0004866227,0.000009988702,0.0003240011,0.0001030852],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004073177,"about_ca_system_score_gemma":0.00007930705,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007144574,"about_ca_topic_score_gemma":0.00007017192,"domain_scores_codex":[0.9981393,0.0001620506,0.0003382388,0.0006397886,0.0003279395,0.0003926393],"domain_scores_gemma":[0.998813,0.0001469796,0.0001027337,0.0005149809,0.0001336482,0.0002886014],"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.0002132537,0.001199425,0.0006015097,0.00003052117,0.0002054901,0.0000865134,0.007117272,0.0005583318,0.001309287,0.7008654,0.0002052675,0.2876077],"study_design_scores_gemma":[0.02684429,0.03158128,0.06009334,0.0001061418,0.001021066,0.001932451,0.009718067,0.6870108,0.02344295,0.06841861,0.08323034,0.006600713],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07325357,0.00002792964,0.9213974,0.004051837,0.0001717025,0.0002746081,0.00001915716,0.0003783858,0.0004253736],"genre_scores_gemma":[0.9371664,0.00001752617,0.06160599,0.001081607,0.00003194869,0.00005924189,0.00001691528,0.00001568179,0.000004686807],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8639128,"threshold_uncertainty_score":0.7948508,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3172830517","doi":"10.46586/tosc.v2021.i2.389-422","title":"Algorithm Substitution Attacks: State Reset Detection and Asymmetric Modifications","year":2021,"lang":"en","type":"article","venue":"IACR Transactions on Symmetric Cryptology","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Stateful firewall; Computer science; Substitution (logic); Semantic security; Scheme (mathematics); Symmetric-key algorithm; Cryptography; State (computer science); Computer security; Adversary; Encryption; Simple (philosophy); Theoretical computer science; Cryptographic protocol; Reset (finance); Algorithm; Public-key cryptography; Mathematics; Programming language; Philosophy; Attribute-based encryption","authors":[{"name":"Philip Hodges","is_ca":true},{"name":"Douglas Stebila","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02404941094490313,"gpt":0.285916197675827,"spread":0.2618667867309238,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003560439,0.0002246096,0.0002722645,0.001998079,0.0007245706,0.0002128935,0.0002966498,0.0001463495,0.0000522114],"category_scores_gemma":[0.0000812665,0.0002449526,0.0001359529,0.007659176,0.0001371527,0.0004944963,0.0000217775,0.0003816517,0.00004832079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001169005,"about_ca_system_score_gemma":0.0001324831,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001145387,"about_ca_topic_score_gemma":0.0002430495,"domain_scores_codex":[0.9977339,0.0002623458,0.0004753983,0.0007393861,0.0003514415,0.0004375165],"domain_scores_gemma":[0.9981937,0.0004729911,0.0001267385,0.0006748102,0.0003521264,0.000179597],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000009549132,0.0003543041,0.0000803766,0.00001232989,0.0000793009,0.00002964491,0.0002713425,0.0002232716,0.0004558596,0.08630538,0.00004525893,0.9121334],"study_design_scores_gemma":[0.01042819,0.002181876,0.08022983,0.00007767061,0.0004906396,0.00352161,0.00194349,0.4236964,0.07628138,0.2796554,0.118066,0.003427549],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01282394,0.0005267157,0.9839904,0.0009453606,0.000696943,0.0002501328,0.00008245033,0.0002137893,0.0004703046],"genre_scores_gemma":[0.8701263,0.0008930851,0.1285641,0.0002046693,0.00002945723,0.000109391,0.00002365778,0.00001449356,0.00003480602],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9087058,"threshold_uncertainty_score":0.9988878,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}