{"id":"W4411025433","doi":"10.1561/3300000044","title":"Security Analysis and Formal Verification on Blockchain and its Applications","year":2025,"lang":"en","type":"article","venue":"Foundations and Trends® in Privacy and Security","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"123 Certification (Canada)","funders":"","keywords":"Blockchain; Computer science; Computer security","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.0004455824,0.0001549178,0.0002101197,0.0007172984,0.0006341807,0.000311015,0.0002123305,0.00009661031,0.000009014576],"category_scores_gemma":[0.00005708668,0.0001629586,0.00003528121,0.001607029,0.0000955006,0.0003728475,0.0002737358,0.000208447,0.000001225751],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002577307,"about_ca_system_score_gemma":0.00002391474,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006812064,"about_ca_topic_score_gemma":0.0001435941,"domain_scores_codex":[0.9987125,0.00008962996,0.0003168818,0.0005625729,0.0001147327,0.0002037034],"domain_scores_gemma":[0.9991261,0.0002519687,0.00009939414,0.0003675923,0.00006596361,0.00008898642],"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.00001053993,0.0001443165,0.007404582,0.00005057217,0.00007353071,7.248377e-7,0.003219224,0.00002269234,0.00001785468,0.9051002,0.00002884406,0.08392692],"study_design_scores_gemma":[0.001069144,0.00007599146,0.2752137,0.00004717959,0.0001485533,0.0000124281,0.0002625185,0.5883901,0.0001789242,0.1183076,0.01588414,0.0004096861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8999804,0.001261892,0.0920252,0.003951625,0.00009152083,0.0003081048,0.00002810615,0.0001075482,0.002245662],"genre_scores_gemma":[0.9980279,0.0004081196,0.001213198,0.0001684693,0.00002331977,0.00006753748,0.00003895302,0.000003224134,0.0000493238],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7867926,"threshold_uncertainty_score":0.6645258,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.017205859428054,"score_gpt":0.2956661101107213,"score_spread":0.2784602506826673,"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."}}