{"id":"W2580529968","doi":"10.1109/eurosp.2017.30","title":"Reasoning about Probabilistic Defense Mechanisms against Remote Attacks","year":2017,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo; University of Toronto","funders":"","keywords":"Probabilistic logic; Exploit; Computer security; Computer science; Cryptography; Artificial intelligence","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":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.001162887,0.0004098297,0.0004430856,0.0001438035,0.0007218619,0.001651005,0.004095348,0.0004450059,0.00002061421],"category_scores_gemma":[0.0007014287,0.0004132068,0.0002288417,0.000113016,0.00009012187,0.0002574724,0.003904901,0.000947581,0.000126876],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001599855,"about_ca_system_score_gemma":0.0004091226,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001353853,"about_ca_topic_score_gemma":0.00002078878,"domain_scores_codex":[0.9969066,0.0001603616,0.0005451308,0.001380384,0.0005076458,0.000499822],"domain_scores_gemma":[0.9948779,0.0001836118,0.0006995619,0.003724622,0.0003231767,0.0001910672],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006029373,0.00006468264,0.00002224097,0.0003151403,0.00006867573,0.0000575324,0.00164252,0.006722913,0.0001068702,0.8729671,0.001844634,0.1161817],"study_design_scores_gemma":[0.0001496487,0.00001803877,0.0001883208,0.0006073294,0.00001340943,0.00001996232,0.0000149128,0.7683423,0.0002677091,0.2261967,0.003634457,0.0005472256],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002256564,0.0002156351,0.9441929,0.0008291178,0.002792957,0.0004794982,0.000004750328,0.0008363056,0.04839231],"genre_scores_gemma":[0.3798847,0.00009563176,0.6177879,0.0006657631,0.0003304875,0.00001999585,0.00002650777,0.00003295906,0.001156042],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7616194,"threshold_uncertainty_score":0.999832,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04279975042247994,"score_gpt":0.2997853363203754,"score_spread":0.2569855858978954,"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."}}