{"id":"W2188063272","doi":"10.1007/978-3-642-27901-0_3","title":"Automated Verification of Block Cipher Modes of Operation, an Improved Method","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Assertion; CBC-MAC; Block cipher; Block cipher mode of operation; Set (abstract data type); Theoretical computer science; Block (permutation group theory); Cipher; Chaining; Programming language; Encryption; Algorithm; Computer security; Mathematics","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.001124167,0.001194234,0.001234716,0.001497539,0.0007804824,0.001732864,0.001872989,0.001135202,0.006936319],"category_scores_gemma":[0.004898855,0.0008636227,0.00139921,0.0006885999,0.001363675,0.003218202,0.002426896,0.001809624,0.002851489],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006626144,"about_ca_system_score_gemma":0.001430092,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001067304,"about_ca_topic_score_gemma":0.001254124,"domain_scores_codex":[0.996828,0.0006830283,0.0002043102,0.0006322054,0.001347339,0.0003051785],"domain_scores_gemma":[0.9943913,0.002138423,0.0002776086,0.002317733,0.0008077918,0.00006726648],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00149347,0.00029116,0.001826757,0.0004965538,0.0002356747,0.0005153292,0.0003489251,0.06388826,0.1791409,0.1496659,0.008739632,0.5933574],"study_design_scores_gemma":[0.0002500688,0.0004203657,0.001054199,0.0000892809,0.0001542514,0.0007185463,0.00005754681,0.7288391,0.121016,0.1337964,0.01349184,0.0001123376],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01423687,0.0001491572,0.9785329,0.00006439984,0.00006945251,0.0001361639,0.0001739602,0.003753542,0.002883556],"genre_scores_gemma":[0.3938052,0.0001812667,0.5976711,0.000111478,0.00008585263,0.0002695581,0.0004954583,0.000521543,0.00685851],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006936319,"threshold_uncertainty_score":0.02320427,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02524139310088283,"score_gpt":0.3130831843726585,"score_spread":0.2878417912717756,"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."}}