{"id":"W4411552270","doi":"10.1109/icse55347.2025.00166","title":"Formally Verified Cloud-Scale Authorization","year":2025,"lang":"en","type":"article","venue":"","topic":"Cloud Data Security Solutions","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Cloud computing; Computer science; Authorization; Scale (ratio); Database; Computer security; Operating system; Physics","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.004802824,0.0006395382,0.0006055465,0.0007880507,0.001241689,0.004357207,0.001885982,0.001363364,0.005888885],"category_scores_gemma":[0.02338214,0.0007862786,0.001700077,0.000470348,0.004611872,0.005120724,0.003444711,0.002920639,0.001298881],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003641356,"about_ca_system_score_gemma":0.00653981,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01381523,"about_ca_topic_score_gemma":0.01401968,"domain_scores_codex":[0.9930279,0.001610071,0.0005791835,0.001004848,0.002924322,0.0008536282],"domain_scores_gemma":[0.9814528,0.01007536,0.001049517,0.003555723,0.003478812,0.0003877785],"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.0003359807,0.0002819109,0.005290318,0.0006532652,0.00008445269,0.001425678,0.001463162,0.2076084,0.02675178,0.7109922,0.006925549,0.03818727],"study_design_scores_gemma":[0.0002646032,0.000137042,0.0008924135,0.0001978955,0.00008985199,0.0003524702,0.0003112543,0.6399767,0.04508682,0.2798544,0.03274641,0.00009007197],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.06733299,0.0002226125,0.8968373,0.001758809,0.0002869271,0.0004815924,0.001276424,0.00841374,0.02338964],"genre_scores_gemma":[0.7477604,0.0002222692,0.2417381,0.0005613221,0.0001184452,0.0003067068,0.001102384,0.0009775044,0.007212927],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01381523,"threshold_uncertainty_score":0.02746964,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01036716324298093,"score_gpt":0.2548990373510523,"score_spread":0.2445318741080714,"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."}}