{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002145668,0.0002016743,0.0003077489,0.0002042973,0.0003313851,0.00009919376,0.0006817668,0.000168372,0.000002274736],"category_scores_gemma":[0.000004960633,0.0001420375,0.00009155788,0.0004906695,0.00008040025,0.0001727128,0.00007384841,0.0001131671,0.00001760635],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002589667,"about_ca_system_score_gemma":0.00008685866,"about_ca_topic_candidate":true,"about_ca_topic_consensus":true,"about_ca_topic_score_codex":0.01264017,"about_ca_topic_score_gemma":0.01991371,"domain_scores_codex":[0.9990236,0.0000508057,0.00009672053,0.000381431,0.0002105627,0.0002368829],"domain_scores_gemma":[0.9988831,0.0001171753,0.0002248427,0.0003992593,0.0003103894,0.00006519313],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"qualitative","study_design_scores_codex":[0.000647734,0.0001014361,0.002263848,0.005490902,0.001277212,0.0001753341,0.297525,0.00005653409,0.0004326871,0.6697218,0.005046845,0.01726073],"study_design_scores_gemma":[0.00501759,0.004136633,0.02050426,0.001469097,0.001698804,0.0001059218,0.8838904,0.01698419,0.003324065,0.01275495,0.04672339,0.003390727],"study_design_candidate":"qualitative","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8702437,0.004188618,0.1069149,0.00252249,0.005641987,0.005664208,0.00004351379,0.002020953,0.002759603],"genre_scores_gemma":[0.7630114,0.0004644814,0.0087909,0.00001876582,0.0001326239,0.00001309851,0.0002310245,0.00008387671,0.2272539],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6569668,"threshold_uncertainty_score":0.9979703,"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."}}