Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:39:01.411594Z
Paper Citation Record · LEDGER
As of 18 August 2026, this Paper Citation Record lists 100 of 157 outbound references and 4 inbound Pith citation observations for arXiv:1908.08605.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T11:39:01.411594Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T12:41:42.454247Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-06T11:52:41.085888Z
100 of 157 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 068a7f5e-83fb-4baa-8d86-e77d194fcd17 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The blockchain as a software connector,
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 383b3b07-6403-459a-93c7-41da77e4a557 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The future of finance: fintech, tech disruption, and orchestrating innovation,
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6bce2f6-2ca1-40f3-a1e1-9f8d4825c8d8 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Transaction costs,
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b2a61796-9c6f-4aed-8822-aeae074d8ddb · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain technology innovations,
Reference 5
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d45b679d-06b2-44b6-a409-4358f8194f9d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A taxonomy of blockchain-based systems for architecture design,
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5fdda3e2-8d98-4f6f-b70f-8d24f723496f · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Understanding modern banking ledgers through blockchain technologies: Future of transaction processing and smart contracts on the internet of money,
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 98554161-1df9-427c-9ff0-01755530cdae · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Sharing ledgers for sharing economies: an exploration of mutual distributed ledgers (aka blockchain technology),
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cdd4121c-5963-4c01-8a72-9dd291597ee6 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Ethereum: A secure decentralised generalised transaction ledger,
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f078630b-8953-4c84-a901-9075966e43c2 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Architecture of the hyperledger blockchain fabric,
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 295d9e1a-1315-4a8e-a61e-e8c88c507c12 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Hyperledger fabric: a distributed operating system for permissioned blockchains,
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a665ae5-8814-4fb2-b3cc-d4730362ab91 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Digital currencies, decentralized ledgers, and the future of central banking,
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9cb6a7dd-9305-4026-b4a2-6c6ec1f55138 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey On availability for blockchain-based systems,
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d44c7cf9-bed6-4c7c-bfd4-fc288a5a44e1 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Scripting smart contracts for distributed ledger technology
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9d38f3b2-7726-41e6-9bf3-68b32176b0f0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Replacing paper contracts with ethereum smart contracts,
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 174d17a2-200d-46cc-b3df-97fd8f29d295 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain-based Smart Contracts: A Systematic Mapping Study
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24b89bfa-480a-4530-ba35-d5a684f95cdc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain technology: Transforming libertarian cryptocur- rency dreams to finance and banking realities,
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd0e8b53-e683-419d-9e42-c99c2efe7f36 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain technology in finance,
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 681ad5d7-1203-4a3f-a3fe-d227381499dc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain ready manufactur- ing supply chain using distributed ledger,
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 828ae30d-8942-412f-a099-e05a47554c5d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A blockchain- based supply chain quality management framework,
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d1515e0-02e5-4f4c-a5f8-5ff691727dc1 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A supply chain traceability system for food safety based on haccp, blockchain & internet of things,
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 87a25a82-d4f5-43a3-9fe9-3db77d6e4ed1 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Medrec: Using blockchain for medical data access and permission management,
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc31ce51-79a0-4b58-b0f6-7a2695b411b0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain technology in healthcare: The revolution starts here,
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4042ec5e-ff6e-408c-8722-46df1bd624b0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain tech- nology use cases in healthcare,
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation acdbfcd6-76b9-4af9-b8da-7366d329d597 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Healthcare blockchain system using smart contracts for secure automated remote patient monitoring,
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 474ce93f-09fc-433c-950a-c49c4636ad17 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Privacy-preserving smart grid tariff decisions with blockchain-based smart contracts,
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2a259a4f-5223-4f1a-a708-3bfb24216f8e · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A blockchain-based smart grid: towards sustainable local energy markets,
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f24ed78-135b-4c57-b79a-27d6be4287d8 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain based decentralized management of demand response programs in smart energy grids,
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b95e75af-8b01-43d3-a282-7788f377df35 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain for smart grid resilience: Exchanging distributed energy at speed, scale and security,
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6a186e4b-7b6d-4fd5-8a47-b6baeacf59ac · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchains and smart contracts for the internet of things,
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3975dac2-3a7a-4536-854f-60a4e44ae64d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain platform for industrial internet of things,
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 33c4abfe-da2f-45f8-8892-152889815758 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Can blockchain strengthen the internet of things?
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef501ac9-04df-4ac3-aef3-53140b6915e5 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Managing iot devices using blockchain platform,
Reference 33
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ffbf968-4399-4583-b32d-60d1d45389dc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Blockchain in government: Ben- efits and implications of distributed ledger technology for information sharing,
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1ac235c-f727-48e8-9082-820c2ca18d31 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Risks and opportunities for systems using blockchain and smart contracts. data61,
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1f193fc-2329-4162-aa79-72ad41d48ccc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The blockchain anomaly,
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eb9df2e0-b500-47eb-afe2-1ae15ad2aefb · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The blockchain rev- olution: An analysis of regulation and technology related to distributed ledger technologies,
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b4f449b1-cd01-4952-94e4-11ccbba49cc5 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The political economy of bitcoin,
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b2c6697d-3899-466b-b8cc-b6128e3403df · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Digital currencies: Principles, trends, opportunities, and risks,
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 139a8a9a-231f-4048-bf5e-0635fabc38b0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey In code we trust?
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00d74ee1-9b7a-439f-8109-a2779113f30e · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Rethinking permissioned blockchains,
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 364bebc7-4b75-47bb-8533-a46cc8d03c4a · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The truth about blockchain,
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 672822ff-860a-42a1-be39-3ad3c87aafa0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Secure and trustable electronic medical records sharing using blockchain,
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47e39e0f-9a8d-4dff-b964-48fdc7e4f449 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Infrastructural grind: introducing blockchain technology in the shipping domain,
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0f8befc8-0dca-455e-b700-6a7eb21247bc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The use of authentication technology blockchain platform for the marine industry,
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1478ce7-952c-46de-addd-53cfc79c4ffb · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey The application of blockchain technology in the maritime industry,
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 506ba4b1-df6d-4a0e-8bdb-57a36ac7bbbb · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1acb5392-30b6-4afa-a453-081e99701833 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 49
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cabde3a5-8046-4528-ac5d-e08427554536 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a5f3963a-fbcc-4912-bf3d-3e7bfe3c4b35 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d624b971-5a1e-4983-9925-0d148fb3b224 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 52
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 13200821-5aee-49a1-9d9b-10d9d2bb30d4 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b91273f7-1442-463a-8873-0af20163d119 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Ethereums white paper , 2014, https://github
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 587871bc-a412-4446-a07f-f4574f087efe · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec872df0-66fa-4c68-9520-75adce4fbb09 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Lessons learned from implementing a privacy-preserving smart contract in ethereum,
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e427961-53c3-460e-862c-5c760565a7ca · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Step by step towards creating a safe smart contract: Lessons and insights from a cryptocurrency lab,
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6a2a6c8-90c9-41d0-bcc8-eef8f40f7eaf · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smart contracts: security patterns in the ethereum ecosystem and solidity,
Reference 58
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8213185-c887-4576-b225-7d01444e9788 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smart contract programming languages on blockchains: An empirical evaluation of usability and security,
Reference 59
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ea81bb8-3207-4a92-957e-c9d25d6600f8 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smart contracts vulnerabilities: a call for blockchain software engineering?
Reference 60
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c7398408-991e-4574-ace4-bb99af66766b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey An overview of smart contract: architecture, applications, and future trends,
Reference 61
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 077b3bb0-619d-4fdc-b231-d584bb6e1e3a · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Making smart contracts smarter,
Reference 62
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7b7f93d-d46b-49d9-991c-6cc01149427d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 63
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d5ec6f17-939f-4712-b50c-790be39c2d8b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Zeus: Analyzing safety of smart contracts,
Reference 64
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e6e3ef64-87ab-45b9-9aa0-830bfd132f91 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Vandal: A Scalable Security Analysis Framework for Smart Contracts
Reference 65
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9a94e07-5e8a-49fc-be0c-69c79cad01a7 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Securify: Practical security analysis of smart contracts,
Reference 66
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 06c3250e-cc66-4f27-bd6b-28d2d68f2801 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Towards verifying ethereum smart contract bytecode in isabelle/hol,
Reference 67
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b38bd40e-d905-4b0b-9056-f3a4aa551e7a · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Ethir: A framework for high-level analysis of ethereum bytecode,
Reference 68
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee11745f-c70c-4824-a885-c5a10c952f3e · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal verification of smart contracts based on users and blockchain behaviors models,
Reference 69
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e1aeb1ed-c825-4035-b69d-568c9f7a6bdd · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Understanding ethereum via graph analysis,
Reference 70
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1312620-f5c5-4df4-9506-38e6e1507f77 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Under-optimized smart contracts devour your money,
Reference 71
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation edbd66ee-a02d-4c1d-b3fd-73d6e06095c3 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal specification technique in smart contract verification,
Reference 72
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63c9b41a-5b94-4850-abde-e1dc2915e10b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal modeling and verifica- tion of smart contracts,
Reference 73
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7d6b48f-4f81-4958-96fe-faa0ae228326 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Kevm: A complete formal semantics of the ethereum virtual machine,
Reference 74
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8a7b177-2b3c-41ac-a12c-7d24e68b891f · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smartinspect: solidity smart contract inspector,
Reference 75
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4414554e-115c-42e3-b9ce-2f66cdb86463 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A survey of attacks on ethereum smart contracts (sok),
Reference 76
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 385d9d2e-69d0-46b1-8b6c-110d12121006 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey An empirical analysis of smart contracts: platforms, applications, and design patterns,
Reference 77
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64e1a826-5e92-4145-8a07-3be38798d85d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A survey on the security of blockchain systems,
Reference 78
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4ba1694d-c7d4-426a-b099-4274dc8dcc58 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Security, performance, and applications of smart contracts: A systematic survey,
Reference 79
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fdad344-35f7-4102-99a7-ae3d5e55178e · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Foundations and tools for the static analysis of ethereum smart contracts,
Reference 80
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 6a0d6fec-c2f1-4f8c-bd2d-cd1bf1edf24e · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A semantic framework for the security analysis of ethereum smart contracts,
Reference 81
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4ddc7248-0c3d-4498-bb3f-0ebffbd7ce20 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Security vulnerabilities in ethereum smart contracts,
Reference 82
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e1723c7b-3cd2-4c4c-9dcd-4b56a70c353b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A survey of blockchain security issues and challenges
Reference 83
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b8457f85-38d8-4d57-8d4d-8042c59e3cd6 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Towards Safer Smart Contracts: A Survey of Languages and Verification Methods
Reference 84
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8490ad53-1c10-4a2a-9c33-934acbe1e7f0 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Cybercriminal minds: an investigative study of cryptocurrency abuses in the dark web,
Reference 86
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7555ca2d-1a74-47e5-9bdd-910305bf63af · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A survey of tools for analyzing ethereum smart contracts,
Reference 87
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation eb32c333-2b2d-4130-8119-9ec95457303b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 88
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation efd76774-9d16-49ab-ab79-f937853161a2 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 89
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 10759f39-2cad-4161-952d-0e408e4125dc · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smart contracts-dumb idea,
Reference 90
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ff75db0b-490b-4baa-82fd-d09e1167c68b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal verification of smart contracts: Short paper,
Reference 91
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0f15de13-3f68-4110-ba0f-de818c54f892 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Fether: An extensible definitional interpreter for smart-contract verifications in coq
Reference 92
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d627b608-008e-43d9-a45a-71a561406c5a · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A Hybrid Formal Verification System in Coq for Ensuring the Reliability and Security of Ethereum-based Service Smart Contracts
Reference 93
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 47b37ebd-9bff-4bde-aa13-4252714b3e53 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Validation of de- centralised smart contracts through game theory and formal methods,
Reference 94
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ae86f00f-d752-4f74-80cf-1cf531cd3f01 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal process virtual machine for smart contracts verification,
Reference 95
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 12807725-7d2d-4caa-ae60-20666b7a392f · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Formal Specification and Verification of Smart Contracts for Azure Blockchain
Reference 96
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 67fad0b4-b95b-49f9-98a0-8d09aab62be8 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Smt-based verification of solidity smart contracts,
Reference 97
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8034f57d-e984-4d6e-86bc-e0d93802415b · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Empir- ical vulnerability analysis of automated smart contracts security testing on blockchains,
Reference 98
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 431178f3-baf9-4854-81a6-c741a3474207 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Understanding blockchain consensus models,
Reference 99
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d48ad841-34b4-4e47-82bc-ed98dc961d2d · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Decentralized networks: The future internet,
Reference 100
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c795740b-d59b-429e-8e8c-16bc4c5a9bc9 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Comparison of ethereum, hyperledger fabric and corda,
Reference 101
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f1dece21-764b-445a-92d4-d383a9e5f461 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey A next-generation smart contract and decentralized application platform,
Reference 102
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa363d93-0dba-4a53-9d11-f72863e1da68 · outbound
Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey Unresolved cited work
Reference 103
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 348ba657-7b78-4add-8473-423edb2972b8 · inbound
MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c4f83f8-c804-4ee5-8cc6-67f471c91fb3 · inbound
Smart-LLaMA-DPO: Reinforced Large Language Model for Explainable Smart Contract Vulnerability Detection Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8169d9c-b433-45b7-8914-6fb7be98ce50 · inbound
FedStrategist: A Meta-Learning Framework for Adaptive and Robust Aggregation in Federated Learning Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0cc353be-27b3-4224-9fd6-e594d6c9e85c · inbound
SAEL: Leveraging Large Language Models with Adaptive Mixture-of-Experts for Smart Contract Vulnerability Detection Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.