{"id":"W4402705716","doi":"10.1145/3658644.3690255","title":"AutoPatch: Automated Generation of Hotpatches for Real-Time Embedded Devices","year":2024,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Reboot; Embedded system; Compiler; Overhead (engineering); Software; Embedded software; State (computer science); Vulnerability (computing); Operating system; Computer security; Programming language","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.0006546432,0.0002368581,0.0003553381,0.0001987575,0.00009069812,0.0003871006,0.00106126,0.0003042662,0.00002518292],"category_scores_gemma":[0.00005627407,0.0002265474,0.0001870402,0.0002709976,0.00003270356,0.0001139344,0.001125271,0.0002243934,0.00005667939],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005995824,"about_ca_system_score_gemma":0.0003507639,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001575974,"about_ca_topic_score_gemma":0.00001697333,"domain_scores_codex":[0.9980848,0.00008109363,0.0006119221,0.0007449512,0.0002624699,0.0002147652],"domain_scores_gemma":[0.9982421,0.0002033529,0.0003408548,0.0008454605,0.0003076774,0.00006054058],"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.00003051672,0.0005276264,0.0001395056,0.007799569,0.0007744403,0.00001386296,0.03004822,0.03926454,0.1120958,0.6082511,0.1462004,0.05485441],"study_design_scores_gemma":[0.00008425916,0.00003160999,0.0001006426,0.0001495022,0.00002621546,0.000002415204,0.00001954451,0.955328,0.02569234,0.01792711,0.0004023929,0.0002359824],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1626285,0.0004347843,0.818477,0.002372505,0.003748858,0.001259813,0.00005914478,0.005833367,0.005186042],"genre_scores_gemma":[0.6071264,0.00003225975,0.3912303,0.0001118223,0.0004258291,0.0001173453,0.0001281479,0.00002562419,0.0008021864],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9160634,"threshold_uncertainty_score":0.9238336,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06944360564436415,"score_gpt":0.3251459770016748,"score_spread":0.2557023713573107,"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."}}