{"id":"W6992525316","doi":"","title":"A Lightweight Type System with Uniqueness and Typestates for the Java Cryptography API","year":2023,"lang":"en","type":"dissertation","venue":"UWSpace (University of Waterloo)","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Blackberry (Canada)","funders":"","keywords":"Cryptography; Initialization; Plaintext; Cryptographic primitive; Encryption; Cipher; Java","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.008670037,0.0009410954,0.001180795,0.001831901,0.002207317,0.008039836,0.003448601,0.003016397,0.007637336],"category_scores_gemma":[0.01706921,0.002141866,0.003448469,0.001374591,0.00469749,0.01225827,0.007115548,0.006114424,0.005260298],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002098918,"about_ca_system_score_gemma":0.005418128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002519118,"about_ca_topic_score_gemma":0.002983235,"domain_scores_codex":[0.9920114,0.001908549,0.001758779,0.001349188,0.002372524,0.0005996076],"domain_scores_gemma":[0.9869627,0.003134496,0.001537996,0.00604974,0.001820565,0.0004943951],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0004312655,0.0001593687,0.004680419,0.0005609215,0.0001007651,0.0005962221,0.001714525,0.01173015,0.01881159,0.8213344,0.0181448,0.1217356],"study_design_scores_gemma":[0.0002497728,0.0004627249,0.001335494,0.0007384147,0.0002636814,0.001525036,0.00034654,0.1390508,0.0479143,0.2911569,0.5163919,0.0005644801],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003399552,0.0001605998,0.9799107,0.0004006154,0.0002897965,0.000151713,0.000178546,0.0126793,0.002829273],"genre_scores_gemma":[0.08421179,0.0004569808,0.8964766,0.000988849,0.0003145476,0.0006341758,0.0006509735,0.005727773,0.0105384],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008670037,"threshold_uncertainty_score":0.04585207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01177153851982872,"score_gpt":0.1986735002809674,"score_spread":0.1869019617611387,"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."}}