{"id":"W4412127985","doi":"10.1109/cvc65719.2025.00009","title":"Short Paper: SlotCollider - Detecting Storage Slot Collisions in Ethereum Smart Contracts","year":2025,"lang":"en","type":"article","venue":"","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Nexen (Canada)","funders":"","keywords":"Computer science; Embedded system; Operating system","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.004816132,0.001103493,0.0006809345,0.002476679,0.000976697,0.001741264,0.001876342,0.001751279,0.00328423],"category_scores_gemma":[0.02756137,0.0008184275,0.0005346666,0.00167425,0.001417845,0.003821015,0.002750868,0.001252189,0.00156854],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00084429,"about_ca_system_score_gemma":0.001608383,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003283994,"about_ca_topic_score_gemma":0.003273046,"domain_scores_codex":[0.992053,0.001960921,0.000495516,0.001183081,0.003842345,0.0004651466],"domain_scores_gemma":[0.9704339,0.01721508,0.003234784,0.004747411,0.003722803,0.0006459598],"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.001937427,0.0005178594,0.2930868,0.0009347681,0.0004054129,0.002348372,0.002988579,0.04344587,0.04060951,0.01422767,0.08335828,0.5161394],"study_design_scores_gemma":[0.0002016085,0.000802339,0.0336728,0.0001881491,0.0001730724,0.002412745,0.001099462,0.7470279,0.127164,0.01514381,0.07182304,0.000291136],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.4945585,0.001854134,0.422682,0.001932308,0.0009024746,0.0006011691,0.004688015,0.06608663,0.006694721],"genre_scores_gemma":[0.6929035,0.0003429167,0.2918813,0.0006294002,0.0001543316,0.0001789176,0.005391905,0.003742606,0.004775203],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.004816132,"threshold_uncertainty_score":0.02547044,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0111933843132791,"score_gpt":0.2598177058998195,"score_spread":0.2486243215865404,"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."}}