{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":["open_science"],"consensus_categories":[],"category_scores_codex":[0.05062539,0.001491419,0.001430221,0.003374612,0.003874585,0.01075595,0.00580792,0.006388935,0.004636759],"category_scores_gemma":[0.2848775,0.003340638,0.002348234,0.002346585,0.02253462,0.02806799,0.01019373,0.01162433,0.001571392],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00600017,"about_ca_system_score_gemma":0.006667024,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004627925,"about_ca_topic_score_gemma":0.003014525,"domain_scores_codex":[0.9067985,0.03495871,0.004061321,0.01062841,0.037489,0.006064158],"domain_scores_gemma":[0.5249159,0.3145683,0.02507503,0.1130651,0.0200626,0.002312972],"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.001321086,0.0004291155,0.03937162,0.00135163,0.000355065,0.002081112,0.006049724,0.113372,0.01986358,0.6608681,0.010564,0.144373],"study_design_scores_gemma":[0.0001557627,0.0003367915,0.007342571,0.0009148332,0.0002221931,0.001647577,0.002029971,0.2320466,0.03675741,0.6875861,0.03069083,0.0002693685],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3504318,0.004837941,0.5742459,0.03474469,0.0008151886,0.0006277394,0.001122572,0.01165907,0.02151503],"genre_scores_gemma":[0.8845868,0.001185982,0.1068027,0.001483276,0.0003441491,0.0002150549,0.0004744956,0.002605297,0.002302258],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9941921,"threshold_uncertainty_score":0.2677359,"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."}}