{"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":"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"},"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004737376,0.0003458559,0.0003968556,0.0003984098,0.0002957667,0.0007026232,0.0004955513,0.0004129223,0.002975802],"category_scores_gemma":[0.000791908,0.0002064851,0.0004853263,0.0003856623,0.0009144473,0.001458859,0.001201454,0.000721284,0.001389478],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003285414,"about_ca_system_score_gemma":0.0005575168,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000113298,"about_ca_topic_score_gemma":0.0001169375,"domain_scores_codex":[0.9993961,0.0001292683,0.00004426958,0.00006960161,0.0002457488,0.0001148998],"domain_scores_gemma":[0.9996548,0.00006687449,0.00005840032,0.0001301078,0.00005319886,0.00003671384],"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.002308227,0.0001072338,0.001493543,0.0006297285,0.00007181811,0.001473531,0.0005149149,0.04977148,0.2886516,0.485981,0.007307219,0.1616898],"study_design_scores_gemma":[0.0004890564,0.002733298,0.001062895,0.0001795163,0.0001294912,0.003300695,0.0002254542,0.3515814,0.3024498,0.1666008,0.1709883,0.000259328],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1369186,0.0008049075,0.8331302,0.000643614,0.0004569154,0.0002487528,0.0004836753,0.002473562,0.02483979],"genre_scores_gemma":[0.8597894,0.0004485312,0.1261314,0.0002504319,0.0001305311,0.0001536712,0.0003950691,0.0002043722,0.01249662],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002975802,"threshold_uncertainty_score":0.009954989,"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004446446,0.0009942325,0.001087656,0.001425347,0.001078876,0.003113016,0.001946265,0.002719256,0.002624049],"category_scores_gemma":[0.03825611,0.0008375536,0.00125304,0.0009722002,0.006064114,0.01151616,0.004172017,0.004646561,0.0005604851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001006056,"about_ca_system_score_gemma":0.001097264,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003267833,"about_ca_topic_score_gemma":0.000186771,"domain_scores_codex":[0.9900191,0.00339294,0.0008119768,0.001936862,0.002917818,0.0009213187],"domain_scores_gemma":[0.9552821,0.01882559,0.005352303,0.01796543,0.002008104,0.0005664831],"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.001049061,0.0003550531,0.01575752,0.0004752493,0.0002032445,0.001611691,0.002142223,0.04979637,0.04721311,0.755607,0.002475954,0.1233135],"study_design_scores_gemma":[0.0001431934,0.0008454449,0.002751564,0.0002093436,0.0002345651,0.003283867,0.0004906819,0.4201575,0.09447826,0.4673629,0.009876809,0.0001658671],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2034216,0.0006863638,0.7811832,0.001279415,0.0001750419,0.0003480453,0.0001446867,0.002118513,0.01064316],"genre_scores_gemma":[0.9602982,0.0001827669,0.03735432,0.0002414067,0.00008175585,0.0001209322,0.00006375756,0.0001119977,0.001544878],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004446446,"threshold_uncertainty_score":0.02351534,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}