{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008552195,0.0008793536,0.0008367084,0.0008224494,0.0007415112,0.002028516,0.002168205,0.001075926,0.004354968],"category_scores_gemma":[0.03083392,0.0009641148,0.0008433794,0.0007054227,0.003021754,0.005211026,0.004442947,0.002396517,0.002094593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009121821,"about_ca_system_score_gemma":0.004143451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001456661,"about_ca_topic_score_gemma":0.001149349,"domain_scores_codex":[0.9897994,0.002652666,0.0007037941,0.001004976,0.004698702,0.001140457],"domain_scores_gemma":[0.9704002,0.009392165,0.001997487,0.014831,0.002942859,0.0004364233],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.002451082,0.0005496444,0.02134449,0.0009183714,0.0002068639,0.001181572,0.002108027,0.1604777,0.1168427,0.2067639,0.02573766,0.461418],"study_design_scores_gemma":[0.0002629874,0.0004362742,0.002188014,0.0001816658,0.00006803098,0.0005609078,0.0002422622,0.6735033,0.1904336,0.08945023,0.04251486,0.0001577679],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1135505,0.0002547599,0.8232349,0.0004960292,0.0001655129,0.0002396057,0.0002853835,0.054472,0.007301327],"genre_scores_gemma":[0.6686254,0.0001867293,0.3128498,0.0004038669,0.00006994888,0.0002889482,0.001000687,0.01111312,0.005461378],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008552195,"threshold_uncertainty_score":0.04522884,"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."}}