{"id":"W4417222822","doi":"10.1145/3733801.3764200","title":"Energy-Conscious and Regulation-Ready Security Protocol for Wearable Medical Devices: From Formal Proofs to Deployment","year":2025,"lang":"","type":"article","venue":"","topic":"Advanced Authentication Protocols Security","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Cryptographic nonce; Session key; Cryptographic protocol; Testbed; Cryptography; Modular design; Software deployment; Protocol (science); Key (lock); Key-agreement protocol; Replay attack","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":true,"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.005545471,0.001000812,0.0005402144,0.0008115357,0.0007283787,0.003542502,0.00198659,0.001097175,0.006488226],"category_scores_gemma":[0.02277952,0.001149949,0.001296756,0.0004919073,0.004292906,0.004461186,0.004428525,0.004300009,0.001913935],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001714109,"about_ca_system_score_gemma":0.00458542,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001710485,"about_ca_topic_score_gemma":0.001210977,"domain_scores_codex":[0.9944531,0.001773212,0.0004059512,0.0005109904,0.002474266,0.0003825559],"domain_scores_gemma":[0.9901794,0.005691147,0.000583213,0.001897869,0.001435032,0.0002132862],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001741439,0.0003063972,0.001074908,0.001270441,0.0000758649,0.00119303,0.001404888,0.09641898,0.02772644,0.7683947,0.007192692,0.09476748],"study_design_scores_gemma":[0.0002821826,0.000583976,0.0004756497,0.001273648,0.0001010409,0.0008594499,0.0003767128,0.4016263,0.07164153,0.4231281,0.09945747,0.0001939219],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007828441,0.0003515953,0.9832175,0.00108569,0.0001201117,0.000264979,0.0001753115,0.001686468,0.00526994],"genre_scores_gemma":[0.3415722,0.00197929,0.6442853,0.0009782268,0.0001990266,0.001437501,0.0007605948,0.001218454,0.007569471],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006488226,"threshold_uncertainty_score":0.02932757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02066525581726313,"score_gpt":0.3375724711223376,"score_spread":0.3169072153050744,"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."}}