{"id":"W1885675146","doi":"10.1007/11602897_11","title":"Admissible Interference by Typing for Cryptographic Protocols","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Polytechnique Montréal","funders":"","keywords":"Correctness; Computer science; Cryptography; Interference (communication); Type (biology); Cryptographic protocol; Cryptographic primitive; Theoretical computer science; Process (computing); Information flow; Algorithm; Programming language; Computer network; Channel (broadcasting)","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001104657,0.0005506768,0.0005264881,0.0007849322,0.0004500991,0.0009860967,0.004759371,0.0003765059,0.00003391972],"category_scores_gemma":[0.0001636599,0.0005507862,0.0001907974,0.0007430705,0.0004766924,0.0007296804,0.0009679867,0.0007826611,0.00002895698],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002440782,"about_ca_system_score_gemma":0.0006536779,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007081845,"about_ca_topic_score_gemma":0.00001637234,"domain_scores_codex":[0.9960485,0.00003365858,0.0007247434,0.001824233,0.0005838776,0.0007849711],"domain_scores_gemma":[0.9967977,0.0006436078,0.0004527823,0.001486413,0.0003877936,0.0002317294],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001445099,0.00006433886,0.00003194078,0.000152976,0.00001516727,0.000004120144,0.000729032,0.003715531,0.0004303729,0.0848351,0.0003703917,0.9096366],"study_design_scores_gemma":[0.0005269335,0.0003548275,0.00002175512,0.001513006,0.000007324246,0.00003896077,2.633997e-7,0.7466087,0.004030116,0.1880599,0.05772131,0.001116856],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000101247,0.0004044096,0.9907485,0.001032557,0.0008411405,0.004796396,0.00000958248,0.0002794484,0.001877884],"genre_scores_gemma":[0.03427513,0.00004430203,0.9598909,0.00278289,0.001078556,0.001322109,0.00001374919,0.00006753331,0.000524851],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9085197,"threshold_uncertainty_score":0.9996943,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03886629735266475,"score_gpt":0.3025482220994188,"score_spread":0.2636819247467541,"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."}}