{"id":"W2995712173","doi":"","title":"Challenges in Proving Post-Quantum Key Exchanges Based on Key Encapsulation Mechanisms","year":2019,"lang":"en","type":"preprint","venue":"TUbilio (Technical University of Darmstadt)","topic":"Fractal and DNA sequence analysis","field":"Biochemistry, Genetics and Molecular Biology","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada; Deutsche Forschungsgemeinschaft; National Science Foundation","keywords":"Key encapsulation; Encapsulation (networking); Key (lock); Computer science; Key exchange; Computer security; Public-key cryptography; Encryption","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004184661,0.0003053142,0.0004809586,0.0003220427,0.00005338087,0.00001360513,0.0006008482,0.0007366482,0.00006099512],"category_scores_gemma":[0.0001359223,0.0003286671,0.0003176906,0.0001488308,0.0001323785,0.00001111623,0.0006607246,0.000470209,0.00001757115],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001096806,"about_ca_system_score_gemma":0.0002294407,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003562188,"about_ca_topic_score_gemma":0.0007706158,"domain_scores_codex":[0.9980993,0.0001479894,0.0002623769,0.0008742333,0.0003319754,0.0002841523],"domain_scores_gemma":[0.998507,0.00004690926,0.0002720034,0.0009075868,0.0001773038,0.00008925843],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.001484454,0.001130139,0.0007840522,0.001204075,0.0001845264,0.0001097739,0.000418412,0.02479311,0.95406,0.00312105,0.0002678459,0.01244257],"study_design_scores_gemma":[0.01454881,0.02025133,0.09958552,0.007293992,0.002125502,0.0000498812,0.01355977,0.1275889,0.6410987,0.03817835,0.02522309,0.01049617],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9719779,0.001365172,0.01463594,0.002801395,0.0002046252,0.001149064,0.0002119885,0.0000976263,0.007556268],"genre_scores_gemma":[0.9963191,0.001186766,0.001721681,0.0000955912,0.00003610347,0.000002299897,0.0004566094,0.0000230111,0.0001588915],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.3129613,"threshold_uncertainty_score":0.9999166,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02375198101875603,"score_gpt":0.2312208489081447,"score_spread":0.2074688678893886,"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."}}