{"id":"W2115175687","doi":"10.1109/securware.2010.42","title":"Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images","year":2010,"lang":"en","type":"article","venue":"","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":46,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Key (lock); Computer science; Schedule; Key schedule; Algorithm; Cryptography; Operating system; Cryptanalysis","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.002255277,0.001240134,0.0007497933,0.0006918853,0.0007584091,0.001582383,0.001844745,0.001298335,0.01045953],"category_scores_gemma":[0.01423861,0.0007295325,0.001298337,0.001288263,0.001206614,0.002650835,0.00171611,0.002778811,0.001146699],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00154367,"about_ca_system_score_gemma":0.002134068,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003392365,"about_ca_topic_score_gemma":0.007121311,"domain_scores_codex":[0.9978499,0.001094753,0.0001219463,0.0003012918,0.0004235904,0.0002084694],"domain_scores_gemma":[0.9822354,0.01542181,0.0004721125,0.001135012,0.0006171396,0.0001184509],"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.000702258,0.0006096716,0.001384935,0.0009717221,0.0001784306,0.0004134682,0.0003780609,0.6448368,0.01260844,0.06900439,0.011869,0.2570429],"study_design_scores_gemma":[0.0001282243,0.00008952336,0.0001469321,0.00002414867,0.00003059063,0.00008341845,0.0001113273,0.9508444,0.008568986,0.0368862,0.003074654,0.00001159554],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1043462,0.0005621826,0.8683569,0.002187976,0.0001335654,0.0003665239,0.0008409346,0.006105646,0.0171],"genre_scores_gemma":[0.4026027,0.0004075832,0.5897694,0.0004579737,0.00008005433,0.0002537412,0.001226786,0.000695679,0.004506076],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01045953,"threshold_uncertainty_score":0.03499055,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009254499961853806,"score_gpt":0.2679426126451594,"score_spread":0.2586881126833056,"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."}}