{"id":"W2427518429","doi":"","title":"Interpretation functions-based method to verify secrecy under equational theories","year":2008,"lang":"en","type":"article","venue":"International Conference on Telecommunications","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Secrecy; Interpretation (philosophy); Property (philosophy); Cryptographic protocol; Computer science; Cryptography; Construct (python library); Cryptographic primitive; Abstract interpretation; Protocol (science); Theoretical computer science; Function (biology); Computer security; Programming language; Epistemology","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.006562477,0.001380501,0.001104614,0.002495812,0.001440192,0.002690915,0.002567696,0.001928891,0.005031032],"category_scores_gemma":[0.01405669,0.0009386234,0.004031074,0.001203197,0.005232677,0.009580958,0.003795009,0.006582497,0.001224785],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002006961,"about_ca_system_score_gemma":0.002310482,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001098235,"about_ca_topic_score_gemma":0.0008503684,"domain_scores_codex":[0.9919939,0.002691538,0.0008634036,0.001169817,0.002714439,0.0005669094],"domain_scores_gemma":[0.9911554,0.004783238,0.0005062444,0.001963132,0.001417346,0.0001744971],"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.0001209025,0.00009785622,0.0006220372,0.0002225309,0.0001078687,0.0003529006,0.0008549085,0.01221966,0.006526788,0.9349769,0.001504378,0.04239333],"study_design_scores_gemma":[0.0001230232,0.0001769373,0.0003371899,0.0001512748,0.0001745141,0.0004926733,0.000221739,0.1952093,0.03166315,0.7488664,0.02244409,0.000139793],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002423962,0.0000534758,0.9946779,0.0001539575,0.00005392477,0.00008522148,0.00004164668,0.0005705347,0.001939422],"genre_scores_gemma":[0.2274179,0.0002399901,0.7667202,0.0003991335,0.000189707,0.0004713955,0.000353091,0.0005628921,0.003645668],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006562477,"threshold_uncertainty_score":0.03470606,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1023504190861378,"score_gpt":0.3682020978810476,"score_spread":0.2658516787949098,"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."}}