Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T10:27:34.713351Z
Paper Citation Record · LEDGER
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts
As of 20 August 2026, this Paper Citation Record lists 68 of 68 outbound references and 0 inbound Pith citation observations for arXiv:1908.11227.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
68 of 68 outbound references displayed
- verified exact4
- verified fuzzy38
- unresolved21
- parse uncertain0
- malformed identifier0
- metadata mismatch5
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3fb4af2f-5ea6-4717-9249-e7230dce07a9 · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.438386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 69304ce5-0016-46a7-a4ad-41477c49643b · outbound
This paper cites Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Smart Contracts for Machine-to-Machine Communication: Possibilities and Limitations
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T10:27:35.942187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bd13db37-619b-4c06-b97c-a7631ae27ac6 · outbound
This paper cites A survey of attacks on ethereum smart contracts sok,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts A survey of attacks on ethereum smart contracts sok,
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.496160Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 56e794a2-6b13-4380-a5eb-50188fe25d3f · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.427967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 538dfe47-a49d-44e0-98d2-e34a5a80a5bd · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.417156Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3b9f9778-ccc2-4dcf-98a6-4c1540b68984 · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.363879Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 064c0654-1d9c-4984-aea6-57a65fae65a5 · outbound
This paper cites Mythril classic: an open-source security analysis tool for ethereum smart contracts.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Mythril classic: an open-source security analysis tool for ethereum smart contracts
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.321670Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 86f92987-eac0-4cb2-bef1-401518aad301 · outbound
This paper cites Making smart contracts smarter,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Making smart contracts smarter,
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.517403Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3bc722b7-1937-4898-b5cf-b8d6d35cb666 · outbound
This paper cites Manticore: a symbolic execution tool for analysis of smart contracts and binaries,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Manticore: a symbolic execution tool for analysis of smart contracts and binaries,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.310093Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 78375144-f3f1-4c3f-8491-f2bdd4bad1bd · outbound
This paper cites ZEUS: analyzing safety of smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts ZEUS: analyzing safety of smart contracts,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.298246Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8e693029-b8fc-4d89-9749-e14d4b550db9 · outbound
This paper cites Smt-based verification of solidity smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Smt-based verification of solidity smart contracts,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.287926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c4d06651-a774-4264-b1fa-62c93abdc2b6 · outbound
This paper cites Combinatorial sketching for finite programs,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Combinatorial sketching for finite programs,
Reference 13
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:27:35.803218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1aca2281-d4f2-4c23-89a8-9dc4aec0c752 · outbound
This paper cites Transit: Specifying protocols with concolic snippets,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Transit: Specifying protocols with concolic snippets,
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.533173Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0caa8d55-82e5-4e18-a8eb-6b508aaf014e · outbound
This paper cites Program synthesis by sketching,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Program synthesis by sketching,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.276544Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ad4c3060-fb41-4cfb-8fcb-0d031e5408f1 · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.250196Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e752e21d-32f2-439c-b1ab-241945840e25 · outbound
This paper cites Solidity 0.5.3,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Solidity 0.5.3,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.232481Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b86e9b5d-7175-430b-bf1a-c5f648b7993f · outbound
This paper cites Finding the greedy, prodigal, and suicidal contracts at scale,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Finding the greedy, prodigal, and suicidal contracts at scale,
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.545628Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78119091-41b1-408c-9ddf-389bef32e34f · outbound
This paper cites Securify: Practical security analysis of smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Securify: Practical security analysis of smart contracts,
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.549058Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a385dbc-835a-453c-90f0-b9eebd2b761c · outbound
This paper cites Madmax: Surviving out-of-gas conditions in ethereum smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Madmax: Surviving out-of-gas conditions in ethereum smart contracts,
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.552275Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9a30cfb-5fd2-43ff-a045-ac76e819217d · outbound
This paper cites Vandal: A Scalable Security Analysis Framework for Smart Contracts.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Vandal: A Scalable Security Analysis Framework for Smart Contracts
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.555673Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 32976f64-e051-4158-b680-5072536e9666 · outbound
This paper cites an unresolved cited work.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T10:27:36.222006Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ebd56cc6-6b8c-4202-86f1-4ca8ec5a1bf0 · outbound
This paper cites Z3: An efficient smt solver,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Z3: An efficient smt solver,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.211354Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cea6480e-2df1-4e95-968c-f633ebc40241 · outbound
This paper cites Barrett, C.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Barrett, C
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.201867Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 4512fe1d-9b23-479a-b522-ceea134f009b · outbound
This paper cites Interprocedural side-effect analysis in linear time,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Interprocedural side-effect analysis in linear time,
Reference 25
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T10:27:35.627607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 16cec599-8547-4382-9465-3e28a7e9f2e3 · outbound
This paper cites Oyente: An analysis tool for smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Oyente: An analysis tool for smart contracts,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.191743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation befab6c1-b0d2-4881-8c70-4fa7c9e594c5 · outbound
This paper cites Etherscan,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Etherscan,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.182202Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 37b471d5-3b37-4e6f-adf4-3c0ec4f3902a · outbound
This paper cites Zeus evaluation,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Zeus evaluation,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.172842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0cafed58-26ca-48eb-a38f-1abe1de9c621 · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.163044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a18b2d75-ae29-4733-a216-a2abe9fd8f2a · outbound
This paper cites [Online].
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts [Online]
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.153437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c555189e-346c-4608-8a69-1206d9bb9e3c · outbound
This paper cites Under-optimized smart contracts devour your money,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Under-optimized smart contracts devour your money,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.144023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 67bd3660-41a5-4aa3-9b19-582706d11aeb · outbound
This paper cites Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Running on Fumes--Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.590691Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 797af6a0-fb9c-4362-8185-a9ad5fc8f082 · outbound
This paper cites Online detection of effectively callback free objects with applications to smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Online detection of effectively callback free objects with applications to smart contracts,
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.594182Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00fa9336-2b38-445b-a7da-e6710b055b27 · outbound
This paper cites Reguard: Finding reentrancy bugs in smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Reguard: Finding reentrancy bugs in smart contracts,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.133585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fcb80d26-3604-41ac-a9a1-9e17ae268a79 · outbound
This paper cites Formal verification for solidity contracts.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Formal verification for solidity contracts
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.124045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7b5de67e-26c9-4c38-a40b-10440c0fd627 · outbound
This paper cites Defining the ethereum virtual machine for interactive theorem provers,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Defining the ethereum virtual machine for interactive theorem provers,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.114495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 30b2f291-95f7-4b8e-bb8f-44010f2b45e6 · outbound
This paper cites Formal verification of smart contracts: Short paper,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Formal verification of smart contracts: Short paper,
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.607739Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26efe8c0-59e4-4b0e-9403-81db48942b39 · outbound
This paper cites A semantic frame- work for the security analysis of ethereum smart contracts,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts A semantic frame- work for the security analysis of ethereum smart contracts,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.104438Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1347b8c0-2d0c-4fc8-8e1f-e129e978e28f · outbound
This paper cites Towards verifying ethereum smart contract bytecode in isabelle/hol,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Towards verifying ethereum smart contract bytecode in isabelle/hol,
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.614490Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c045e6a7-c508-46ef-82ef-13ef9e045cd2 · outbound
This paper cites Formal Specification and Verification of Smart Contracts for Azure Blockchain.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Formal Specification and Verification of Smart Contracts for Azure Blockchain
Reference 40
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T10:27:35.473478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 531528b3-4810-49cd-a459-69a87d4d2559 · outbound
This paper cites Contractfuzzer: fuzzing smart contracts for vulnerability detection,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Contractfuzzer: fuzzing smart contracts for vulnerability detection,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.094739Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1641aea9-8861-4bad-a725-65f6de9ae655 · outbound
This paper cites The seahorn verification framework,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts The seahorn verification framework,
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.085215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 372dd3e9-a9bf-494c-9627-83fdd529ce21 · outbound
This paper cites Strictly declarative specification of sophisticated points-to analyses,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Strictly declarative specification of sophisticated points-to analyses,
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.628643Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f57fde0a-c5b5-49af-aff0-cf9f9c968919 · outbound
This paper cites Nipkow, M.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Nipkow, M
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.075961Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7194312d-9eb5-4db0-adf4-bd713aed868a · outbound
This paper cites Dependent types and multi- monadic effects in F*,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Dependent types and multi- monadic effects in F*,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.066469Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 41751ad5-df99-425e-b568-4045baededb7 · outbound
This paper cites Kevm: A complete formal semantics of the ethereum virtual machine,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Kevm: A complete formal semantics of the ethereum virtual machine,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.056383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9586966a-575f-452e-a430-64ffb6ac33b8 · outbound
This paper cites An overview of the K semantic frame- work,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts An overview of the K semantic frame- work,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.046169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 240f0907-8339-40c7-a601-81decd999c43 · outbound
This paper cites Openzeppelin: Safemath,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Openzeppelin: Safemath,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.036341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e8dec782-6e91-42c0-93e9-70baa43b48cb · outbound
This paper cites A static analyzer for large safety-critical software,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts A static analyzer for large safety-critical software,
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.648751Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation abda8733-78ae-46b5-8211-4acfc5f0c670 · outbound
This paper cites Why does astr ´ee scale up?.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Why does astr ´ee scale up?
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-14T10:27:34.757084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9bdf5ce2-854c-4f76-805b-5978ac4f8d5e · outbound
This paper cites Sparrow,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Sparrow,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.025922Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 1752b8c4-a26c-4784-af80-26404673255f · outbound
This paper cites Frama-c: A software analysis perspective,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Frama-c: A software analysis perspective,
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.658185Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b22e15f-b639-475a-ade6-d88f674eecd8 · outbound
This paper cites Frama-c: a source-code analyzer of c software.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Frama-c: a source-code analyzer of c software
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.016010Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 20d5319c-6502-4336-a20c-af3263520a1b · outbound
This paper cites Improving integer security for systems with kint,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Improving integer security for systems with kint,
Reference 54
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:27:35.352941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f17c2def-b215-4697-a5a2-2be80b906aba · outbound
This paper cites Intscope: Automatically detecting integer overflow vulnerability in X86 binary using symbolic execution,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Intscope: Automatically detecting integer overflow vulnerability in X86 binary using symbolic execution,
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:36.004947Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 32d892a7-9c2d-474c-b846-c62457a6631c · outbound
This paper cites Dynamic test generation to find integer bugs in x86 binary linux programs,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Dynamic test generation to find integer bugs in x86 binary linux programs,
Reference 56
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:27:35.291841Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0aa54718-e7ec-4ad1-85e0-80365b5af122 · outbound
This paper cites Modular bug-finding for integer overflows in the large: Sound, efficient, bit-precise static analysis,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Modular bug-finding for integer overflows in the large: Sound, efficient, bit-precise static analysis,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:35.994280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation baa3b26b-27c6-4801-9d1e-2433afb08014 · outbound
This paper cites Targeted automatic integer overflow discovery using goal-directed conditional branch enforcement,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Targeted automatic integer overflow discovery using goal-directed conditional branch enforcement,
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.677171Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ca5b3657-d86d-4889-874d-d66152a9e17f · outbound
This paper cites Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints,
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.680528Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1ea97a0-40d4-4234-a637-5ba40b42175c · outbound
This paper cites Systematic design of program analysis frameworks,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Systematic design of program analysis frameworks,
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.683773Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b84685f8-783b-4387-81d7-f6bde5e9c803 · outbound
This paper cites The octagon abstract domain,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts The octagon abstract domain,
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.686997Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f9377107-df12-40fb-b9c0-abc6094e4411 · outbound
This paper cites A tool for checking ansi-c programs,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts A tool for checking ansi-c programs,
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:35.983706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b0136ac0-c683-48e0-97f2-7046c27ea58d · outbound
This paper cites How to avoid proving the absence of integer overflows,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts How to avoid proving the absence of integer overflows,
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:35.973614Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 16535141-d66f-460e-a551-9778080773b2 · outbound
This paper cites Flow-insensitive static analysis for detecting integer anomalies in programs,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Flow-insensitive static analysis for detecting integer anomalies in programs,
Reference 64
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:27:35.065975Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ad8e2071-280c-4c36-ada4-f8941fae7a28 · outbound
This paper cites Using type qualifiers to analyze untrusted integers and detecting security flaws in c programs,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Using type qualifiers to analyze untrusted integers and detecting security flaws in c programs,
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:35.963285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 341ca597-2735-4216-9e85-5b225baded85 · outbound
This paper cites Sound input filter generation for integer overflow errors,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Sound input filter generation for integer overflow errors,
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T10:27:35.953052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bed756f8-5138-4e35-bf55-8d3ffe8027b3 · outbound
This paper cites Program transformations to fix c integers,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Program transformations to fix c integers,
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.710315Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d87b9eb1-4e9a-4a0a-96b3-ae725fb7f6f5 · outbound
This paper cites Intpti: Automatic integer error repair with proper-type inference,.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Intpti: Automatic integer error repair with proper-type inference,
Reference 68
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T10:27:34.891678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ad1be161-4b2f-46a9-8995-32da70fc1a3b · outbound
This paper cites Available: http://doi.acm.org/10.1145/2535838.2535888.
VeriSmart: A Highly Precise Safety Verifier for Ethereum Smart Contracts Available: http://doi.acm.org/10.1145/2535838.2535888
Reference 452
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T10:27:34.706888Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.