{"id":"W122504873","doi":"10.1007/978-3-642-36594-2_30","title":"Computational Soundness of Coinductive Symbolic Security under Active Attacks","year":2013,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Victoria","funders":"","keywords":"Soundness; Computer science; Encryption; Theoretical computer science; TRACE (psycholinguistics); Symmetric-key algorithm; Ciphertext; Mathematics; Computer security; Public-key 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002421225,0.0009999383,0.001380943,0.001701929,0.00207169,0.006294461,0.002050409,0.002342505,0.006475357],"category_scores_gemma":[0.01045178,0.0009837183,0.00180965,0.001708961,0.01321408,0.01340845,0.004579986,0.008029765,0.00135918],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003043814,"about_ca_system_score_gemma":0.002154283,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001455229,"about_ca_topic_score_gemma":0.001038065,"domain_scores_codex":[0.9955285,0.0009334476,0.0002884742,0.000826065,0.001759087,0.0006643375],"domain_scores_gemma":[0.9894611,0.006652538,0.0003100571,0.002154433,0.001193197,0.0002286102],"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.0000370885,0.00001480786,0.00009202781,0.00005819413,0.000009671672,0.00003754591,0.000240595,0.001492315,0.0006266461,0.9909236,0.0007987962,0.005668672],"study_design_scores_gemma":[0.00001189187,0.000008819169,0.00003633745,0.00001522549,0.00001018188,0.0000267298,0.00003015245,0.002773952,0.0005986537,0.9949292,0.001550883,0.000008078104],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.1262272,0.00272988,0.6497933,0.008147824,0.0009410542,0.0001828286,0.0008043906,0.002185128,0.2089885],"genre_scores_gemma":[0.9508083,0.0008875265,0.0306874,0.000849746,0.0004940958,0.000183785,0.0004605867,0.0003017688,0.01532687],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006475357,"threshold_uncertainty_score":0.02208453,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01716209837868851,"score_gpt":0.2580138085464211,"score_spread":0.2408517101677326,"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."}}