{"id":"W3029610118","doi":"","title":"Computational Soundness of Coinductive Symbolic Security under Active Attacks.","year":2012,"lang":"en","type":"preprint","venue":"IACR Cryptology ePrint Archive","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Victoria","funders":"","keywords":"Soundness; Computer science; Encryption; TRACE (psycholinguistics); Theoretical computer science; 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.007652664,0.001030942,0.001370937,0.001568507,0.002031871,0.004788288,0.003356869,0.002645741,0.004939314],"category_scores_gemma":[0.03206077,0.0009233825,0.003328916,0.001187884,0.01387422,0.01403078,0.007209874,0.007862031,0.000761176],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003989996,"about_ca_system_score_gemma":0.003244256,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001927107,"about_ca_topic_score_gemma":0.001409179,"domain_scores_codex":[0.986233,0.003559339,0.0008471576,0.003081575,0.004559707,0.001719114],"domain_scores_gemma":[0.9587106,0.02517728,0.002305656,0.009464762,0.003244055,0.001097723],"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.0001475881,0.00006684838,0.0006337392,0.0001157133,0.00005719143,0.0001671451,0.0004378452,0.01914107,0.002110983,0.9708517,0.0007117646,0.005558421],"study_design_scores_gemma":[0.00005342983,0.00005884444,0.000151659,0.00002958424,0.0000478312,0.0001366222,0.00006343316,0.09176675,0.004128226,0.9019198,0.001617689,0.00002612703],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0879067,0.0003653485,0.8885933,0.003069963,0.0001712333,0.0002794244,0.0003695011,0.001107202,0.01813725],"genre_scores_gemma":[0.9551741,0.0002399533,0.03874482,0.0006840504,0.0001637134,0.0002466003,0.0003213708,0.0001673839,0.004257864],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007652664,"threshold_uncertainty_score":0.04047167,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0238870361011685,"score_gpt":0.288980556139148,"score_spread":0.2650935200379795,"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."}}