{"id":"W2014030636","doi":"10.1145/2664243.2664288","title":"Challenges and implications of verifiable builds for security-critical open-source software","year":2014,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":22,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"Fonds de recherche du Québec – Nature et technologies; Natural Sciences and Engineering Research Council of Canada","keywords":"Backdoor; Computer science; Source code; Compiler; Verifiable secret sharing; Software; Commit; Open source; Determinism; Process (computing); Obfuscation; Encryption; Simple (philosophy); Programming language; Code (set theory); Computer security; Set (abstract data type); Database","routes":{"ca_aff":true,"ca_fund":true,"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.0005134698,0.00007887759,0.0001497175,0.00004381322,0.000172864,0.0001293263,0.000897663,0.00005780366,0.000006228728],"category_scores_gemma":[0.0004307898,0.00007822599,0.00002934293,0.0001011598,0.00007242477,0.0003304857,0.0004406245,0.00005915954,0.000003146449],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000007982157,"about_ca_system_score_gemma":0.00002792311,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001599509,"about_ca_topic_score_gemma":0.000007028925,"domain_scores_codex":[0.9991467,0.00004705288,0.0001989298,0.0003511092,0.00008249882,0.0001737092],"domain_scores_gemma":[0.9982038,0.0009605559,0.00005397284,0.0005385716,0.0001631411,0.00008000628],"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.000001756178,0.00004706279,0.0000588895,0.00005627574,0.000003994689,1.569619e-8,0.0006804328,0.000007557798,0.00006369001,0.9073355,0.0005206786,0.0912242],"study_design_scores_gemma":[0.0008332379,0.0003294613,0.004565789,0.00007426336,0.00001394996,0.0000266184,0.0002602119,0.1473973,0.003563101,0.5965053,0.2460251,0.0004057297],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001088795,0.0004976316,0.9852259,0.006731228,0.00009815967,0.0001977759,0.000002515043,0.0001221919,0.006035783],"genre_scores_gemma":[0.7198436,0.00006894057,0.2795313,0.0004012694,0.00005008204,0.00004275637,0.000001827034,0.000006818346,0.00005338122],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7187548,"threshold_uncertainty_score":0.3189963,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05220395498826422,"score_gpt":0.319603663302359,"score_spread":0.2673997083140948,"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."}}