{"id":"W1933998117","doi":"10.1109/ecai.2015.7301205","title":"Secrecy by witness-functions under equational theories","year":2015,"lang":"en","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Witness; Computer science; Cryptographic protocol; Cryptography; Secrecy; Homomorphism; Theoretical computer science; Cryptographic primitive; Homomorphic encryption; Encryption; Cryptosystem; Modular exponentiation; Discrete mathematics; Computer security; Mathematics; 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":[{"model":"gemma","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"empirical","about_ca_system":false,"about_ca_topic":false,"confidence":"low","status":"direct model label, unvalidated"},{"model":"gpt","categories":[],"domain":null,"study_design":"theoretical_or_conceptual","genre":"methods","about_ca_system":false,"about_ca_topic":false,"confidence":"high","status":"direct model label, unvalidated"}],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01100219,0.001153461,0.001061714,0.002507234,0.002351747,0.005021124,0.001588139,0.001961572,0.003129049],"category_scores_gemma":[0.0169605,0.0007242662,0.003802591,0.001410245,0.01212185,0.02349022,0.004919447,0.005499301,0.000598527],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00345562,"about_ca_system_score_gemma":0.002465199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001538997,"about_ca_topic_score_gemma":0.0008063863,"domain_scores_codex":[0.9923982,0.003191181,0.0005050186,0.000901029,0.002019456,0.0009850644],"domain_scores_gemma":[0.9861464,0.00856126,0.0008683617,0.002394981,0.001599534,0.0004294193],"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.00001022715,0.000005965097,0.0001310948,0.00001206105,0.000006672047,0.00002733085,0.000142786,0.002301461,0.0001779846,0.9959662,0.00006359991,0.001154661],"study_design_scores_gemma":[0.000009568636,0.00002154372,0.00004336792,0.00001569221,0.0000130294,0.00003249204,0.00007269184,0.0237031,0.001122156,0.9739405,0.001009246,0.00001651608],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05206141,0.0002699889,0.9349844,0.001082003,0.00006479757,0.00007884883,0.0001020195,0.0002130151,0.0111435],"genre_scores_gemma":[0.8438785,0.0006930445,0.1466115,0.0004534304,0.0002157298,0.0002993725,0.0002638077,0.0003094519,0.007275119],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01100219,"threshold_uncertainty_score":0.05818588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0352197127364455,"score_gpt":0.3023606782414667,"score_spread":0.2671409655050212,"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."}}