{"id":"W4290474734","doi":"10.5753/sbseg.2015.20083","title":"A Survey on Tools and Techniques for the Programming and Verification of Secure Cryptographic Software","year":2015,"lang":"en","type":"article","venue":"","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Universidade Estadual de Campinas; Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; University of Waterloo; Fundação de Amparo à Pesquisa do Estado de São Paulo","keywords":"Computer science; Cryptographic primitive; Cryptography; Secure coding; Cryptographic protocol; Software security assurance; Software; Software verification; Coding (social sciences); Software engineering; Software construction; Software development; Programming language; Computer security; Information security; Security service","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003746487,0.001926706,0.00170939,0.006734874,0.001049596,0.003993012,0.003200973,0.001895841,0.005294451],"category_scores_gemma":[0.01102904,0.002147838,0.002561545,0.006421218,0.002671993,0.008380695,0.002430647,0.004704359,0.00383496],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001282,"about_ca_system_score_gemma":0.002088716,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009265548,"about_ca_topic_score_gemma":0.0008805954,"domain_scores_codex":[0.9923431,0.001604038,0.001112005,0.0007760813,0.003816148,0.0003486305],"domain_scores_gemma":[0.989695,0.007086128,0.0005685957,0.001789168,0.0007286664,0.0001325097],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00007420211,0.0001263533,0.0008669643,0.005560798,0.00009308592,0.0002866584,0.0008217573,0.009464907,0.006141084,0.3199879,0.009806484,0.6467699],"study_design_scores_gemma":[0.00005442138,0.0002324505,0.00124066,0.004487434,0.0001257726,0.002774186,0.0002930996,0.03833385,0.01722427,0.3950774,0.5399628,0.0001935641],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"review","genre_scores_codex":[0.002143637,0.04681926,0.936613,0.0006379501,0.0001507826,0.00014209,0.0001890686,0.002405356,0.01089897],"genre_scores_gemma":[0.03830126,0.1085145,0.8453431,0.0005850732,0.0005324333,0.0003950337,0.0007363437,0.001178456,0.004413885],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.006734874,"threshold_uncertainty_score":0.01981354,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05681531240463519,"score_gpt":0.3000084453519146,"score_spread":0.2431931329472794,"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."}}