{"id":"W4283715773","doi":"10.1109/icbc54727.2022.9805509","title":"Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts","year":2022,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Solidity; Computer science; Database transaction; Audit; Dependency (UML); Smart contract; Computer security; Exploit; Benchmark (surveying); Order (exchange); Accounting; Database; Finance; Software engineering; Business","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.0005959314,0.00005812029,0.0001222767,0.0001403809,0.0001588812,0.00001409097,0.0005664261,0.0000320635,0.00005071436],"category_scores_gemma":[0.00006246178,0.00006077036,0.00002234882,0.0006250928,0.00004445627,0.00009533302,0.0004071093,0.0002068532,0.000002363788],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005569202,"about_ca_system_score_gemma":0.00004946404,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001527527,"about_ca_topic_score_gemma":0.00003511296,"domain_scores_codex":[0.9991864,0.00006668046,0.0002327416,0.0002100343,0.0001284871,0.000175643],"domain_scores_gemma":[0.9993179,0.0001757082,0.00009133466,0.0003624634,0.00003453567,0.00001809387],"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.000002134202,0.0001871335,0.00410285,0.00001333785,0.000007395556,0.000006328221,0.001411882,0.0008868214,0.002088053,0.9833726,0.0004815377,0.007439976],"study_design_scores_gemma":[0.0005339294,0.0001031909,0.01870465,0.00001006484,0.000002317509,0.00003593225,0.001283853,0.9248092,0.01005103,0.03614614,0.008087487,0.000232202],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9107956,0.0001270484,0.06572915,0.00365648,0.0001242985,0.0003212384,0.000006716757,0.001596555,0.0176429],"genre_scores_gemma":[0.9878832,0.000001414898,0.01175698,0.0001543035,0.000003672998,0.00009577414,0.000001396654,0.000002872178,0.000100415],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9472264,"threshold_uncertainty_score":0.2478143,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.009384966432326612,"score_gpt":0.2359263556352179,"score_spread":0.2265413892028913,"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."}}