{"id":"W2990403016","doi":"10.1145/3385412.3385982","title":"Securing smart contract with runtime validation","year":2020,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":59,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Overhead (engineering); Source code; Compiler; Solidity; Benchmark (surveying); Protocol (science); Code (set theory); Spec#","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":[],"consensus_categories":[],"category_scores_codex":[0.0001054081,0.00006417493,0.00007018972,0.00002019419,0.00009361072,0.000179079,0.0003539279,0.0000215346,0.00005958016],"category_scores_gemma":[0.00002181408,0.00005402994,0.00001898789,0.0002457152,0.00001172477,0.0004017219,0.00007012529,0.00007675558,0.0001313042],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009481976,"about_ca_system_score_gemma":0.0000295317,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001487305,"about_ca_topic_score_gemma":9.312149e-7,"domain_scores_codex":[0.9993557,0.00002450224,0.0001162285,0.0002327783,0.0001527058,0.0001180545],"domain_scores_gemma":[0.9995809,0.00005669206,0.00005146731,0.0001839763,0.00005188628,0.00007507376],"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.00003296068,0.0001104589,0.01158739,0.00007128979,0.00006454346,0.00002750766,0.01114329,0.002350559,0.004224965,0.9362267,0.002669969,0.03149042],"study_design_scores_gemma":[0.0006411766,0.000153807,0.005032027,0.00002498959,0.000006489358,0.00002027508,0.00007570184,0.9294941,0.04678554,0.0008561212,0.01659007,0.0003196524],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05027939,0.00001587033,0.9356786,0.00457852,0.00007747682,0.00008142873,2.14169e-7,0.000348071,0.008940398],"genre_scores_gemma":[0.9571461,0.000001590419,0.04102292,0.001720471,0.00007434795,0.000002597492,0.000001473626,0.000003642363,0.00002685799],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9353705,"threshold_uncertainty_score":0.2203277,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0259987955944887,"score_gpt":0.227119602889423,"score_spread":0.2011208072949343,"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."}}