Pith. sign in

Paper Citation Record · LEDGER

An empirical analysis of vulnerability detection tools for solidity smart contracts

As of 19 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 0 inbound Pith citation observations for arXiv:2505.15756.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2505.15756 v2

Coverage vector

measured 45 of 45 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-22T13:42:05.787708Z

measured 45 of 45 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

45 of 45 outbound references displayed

  • verified exact6
  • verified fuzzy38
  • unresolved1
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 94a76b1d-6d21-4faf-b725-918e7eea2f30 · outbound

This paper cites In: Proceedings of the 37th IEEE/ACM International Conference on Automated Soft- ware Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 37th IEEE/ACM International Conference on Automated Soft- ware Engineering, pp

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.650089Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:6a1cc8eed9f02a9e4d665415e644aacfcae2bec333392f931bb91fd02f490788

Observation de8893f8-606d-4a2d-89e2-164e14c57cca · outbound

This paper cites In: 2019 International Conference on Computer and Information Sciences (ICCIS), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 International Conference on Computer and Information Sciences (ICCIS), pp

Reference 2

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.794144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:c79c6bf07905b0b84559c7f02455f5f4c4568bf92488d88da3b1075824e6a9ba

Observation 875ea241-f50f-42d6-a052-e1ca0322094d · outbound

This paper cites SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts.

An empirical analysis of vulnerability detection tools for solidity smart contracts SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

Reference 3

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.939977Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:1ad27d9e33e808bb9e37e7ccb3c2c1619961d1b4ea5eeec86266b5956473e54f

Observation b91af272-135c-4d7b-aad5-dff1390e99d5 · outbound

This paper cites In: 32nd USENIX Security Symposium (USENIX Security 23), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 32nd USENIX Security Symposium (USENIX Security 23), pp

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.647461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:8d2d7ee05d580e1138981dd71d7e3307f76969125afb8a1022583271586f5926

Observation e1671da8-8c9c-44fb-a42c-8cc59af7a61a · outbound

This paper cites white paper 3(37), 2–1 (2014).

An empirical analysis of vulnerability detection tools for solidity smart contracts white paper 3(37), 2–1 (2014)

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.679044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:a8bacef3ca9d8ff474477475e21daeb1518cc96e729aea227c02d188f0f36c41

Observation fb093b48-989a-47e9-8ec3-22b750172921 · outbound

This paper cites When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?.

An empirical analysis of vulnerability detection tools for solidity smart contracts When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?

Reference 6

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.934007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:abb83b8ddec7780924138554bda56b7f5ec67904e8bd971ea2d77ce0aeaf0c6b

Observation 36b10b0e-8e1f-46de-a066-b8cf15e8556d · outbound

This paper cites IEEE Transactions on Software Engineering 48(1), 327–345 (2020).

An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering 48(1), 327–345 (2020)

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.738413Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:c6d2256cb526b288d34f20d0b0a5346f48c88909727b6740c5eb5a22ddecf5a9

Observation 392f2e62-9405-4737-aabe-79f0c007bf6f · outbound

This paper cites Automated Software Engineering 30(2), 31 (2023).

An empirical analysis of vulnerability detection tools for solidity smart contracts Automated Software Engineering 30(2), 31 (2023)

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.741421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:fe7699e7b3df23507483d39aa14ce82174d5ce45356273869836c7fd2d7e6d02

Observation 6b9a7adc-597f-4f11-a129-ee162b700c7c · outbound

This paper cites Educational and psychological measurement 20(1), 37–46 (1960).

An empirical analysis of vulnerability detection tools for solidity smart contracts Educational and psychological measurement 20(1), 37–46 (1960)

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.758716Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:6fadb9f6590cc6b72e17932f457c3d5f9a4f1790bce61c0ca58ecf4fd4426c77

Observation 25e1f10a-0274-437b-b968-733515e0f343 · outbound

This paper cites Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants.

An empirical analysis of vulnerability detection tools for solidity smart contracts Generating Java Methods: An Empirical Assessment of Four AI-Based Code Assistants

Reference 10

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.931381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:6ca46111d06621e20cde99bcc92628ba73d583ff08a6d6cf6a93e88876c29a67

Observation b82564bb-9af5-42a4-9aac-d50114368d05 · outbound

This paper cites Informa- tion and Software Technology 171, 107468 (2024).

An empirical analysis of vulnerability detection tools for solidity smart contracts Informa- tion and Software Technology 171, 107468 (2024)

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.735747Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:3b2ed03052f041f070cc8268ec18179886b0ad5a5fec30514677be120016857a

Observation fa6d2b71-f3f7-46fa-8673-da35cf29aa64 · outbound

This paper cites In: Proceedings of the ACM/IEEE 42nd International conference on software engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the ACM/IEEE 42nd International conference on software engineering, pp

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.738610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:68a151896bc7b56848ab9c43a2aa69b2fc1bf33c190cb35b65ebc464f4e77399

Observation 1c0a64aa-cde1-4189-b9ac-dad70e0af3e6 · outbound

This paper cites In: 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB), pp

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.741658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:1c3cd5edcd8fd98e743d4ec078e53b2a4aef59096551fc5298381a7baf3b186b

Observation f8a464cc-38b3-465b-b877-8a6583b48ce1 · outbound

This paper cites In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, pp

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.764730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:f437f1293ef5964c65f96c78d042b1145dc465845de30841268c12c45e9b4ca5

Observation fa3d693d-b8c6-4049-bc09-d14b1e607411 · outbound

This paper cites In: 37th IEEE/ACM International Conference on Automated Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 37th IEEE/ACM International Conference on Automated Software Engineering, pp

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.707491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:4875e0c6175023f846bcdd2cac3c20b95a1740b864be47803e610409aae402a4

Observation 0fe0dad7-66fa-4871-9014-db5347634440 · outbound

This paper cites In: 2023 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 5th IEEE International Conference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA), pp

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.703866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:0423f3b29066ea1ac2e2aaab1e42db4bc7575fa1c4dc4626d8194890979e23a6

Observation 623c7c39-02f9-46d1-9850-3682f52b8bee · outbound

This paper cites Sensors 22(5), 1829 (2022).

An empirical analysis of vulnerability detection tools for solidity smart contracts Sensors 22(5), 1829 (2022)

Reference 17

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.701088Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:a00f1a82fd9ec80e65990c4c65a7c691b6f72de43e5fe875820fedd39c58e895

Observation e18e9e8f-a45c-4bd2-91a7-6e5803f71406 · outbound

This paper cites In: Proceed- ings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceed- ings of the 20th International Conference on Predictive Models and Data Analytics in Software Engineering, pp

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.711634Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:0fb8893b4c31a28bb6117ff88a47fa63ebb99cbac8c9754d6072b5a7bf42df68

Observation c2c96b40-915c-4b98-8700-072a373ab1b3 · outbound

This paper cites In: Ndss, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Ndss, pp

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.715180Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:69631e5f74afde73a2a5d2b2711fd6296b5a31fc1eb5e80da5c7041d65b1e129

Observation 7d164b3a-57f1-4e45-85f1-63aa3716398b · outbound

This paper cites Ieee Access 10, 57037–57062 (2022).

An empirical analysis of vulnerability detection tools for solidity smart contracts Ieee Access 10, 57037–57062 (2022)

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.683485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:0790f196248c3b8dd55a9797db6b105fb2ca6194e06560fab8aa94e144df4b1b

Observation 4abfa3f5-1152-47ab-82bf-fd5d49c10f05 · outbound

This paper cites an unresolved cited work.

An empirical analysis of vulnerability detection tools for solidity smart contracts Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-05-22T13:44:53.685016Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:a4a8882fd5dd5defe2dc80a2e54915dc1da39d66767a4e7cb8a3582a084a3018

Observation 9cd08dba-cfc6-4a60-9795-79caa7f76b9a · outbound

This paper cites IEEE Transactions on Knowledge and Data Engineering (2021).

An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Knowledge and Data Engineering (2021)

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.693007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:2fe6d956a3a592ae0d48400d2020ec2c73398f5ebc575af8978d203202b7d5a9

Observation 6d45b737-b10a-4014-bcdb-61053703a530 · outbound

This paper cites In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), pp

Reference 23

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.688184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:de7bb2cbc76f1c3583d3f68744f16a580afe326102f4bb4b61b56ab7197eeee3

Observation c80a887e-6cfc-4782-8e5a-da1618f5a04e · outbound

This paper cites In: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), pp

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.671110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:b510c7f1cbe586841f9c20060bde24e4b5d6d556c8dc74d713e086269f06df03

Observation ba9bb76d-1083-4209-b91d-153aa8d2e9c5 · outbound

This paper cites Decentralized Business Review p.

An empirical analysis of vulnerability detection tools for solidity smart contracts Decentralized Business Review p

Reference 25

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.658974Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:748b85dfbf4aa6eb3ee3e89eed87260403b7c1892b7ee5db7e8b608658f4a565

Observation 04eccbf4-2e4a-4f07-aaa6-80dac702c152 · outbound

This paper cites In: 2023 IEEE/ACM 20th International Conference on Mining Software Reposi- tories (MSR), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE/ACM 20th International Conference on Mining Software Reposi- tories (MSR), pp

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.697654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:c79d66313f4ab04643986f55082fe67e3151e0b1a6eac376719f007778ac4333

Observation 8a12ce53-1ff1-485c-a216-ebbd19b198b9 · outbound

This paper cites In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, pp

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.701330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:de95f6a561a13b7d6752cd95552ed5186f78bcd5e44eac7372328b3439638a04

Observation 82ea6cc2-dc6f-4d9d-87b6-2a557bb73f67 · outbound

This paper cites In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C), pp

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.716698Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:389454d304c1160ed166892f9344a31442da36bf2d53bfa1be10a625ca150201

Observation 4359559a-2824-42fe-ac02-9e8ad390e4db · outbound

This paper cites https://github.com/fsalzano/Empirical-Analysis-of-V ulnerability- Detection- Tools- for- Solidity- Smart- Contracts (2024).

An empirical analysis of vulnerability detection tools for solidity smart contracts https://github.com/fsalzano/Empirical-Analysis-of-V ulnerability- Detection- Tools- for- Solidity- Smart- Contracts (2024)

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.756123Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:af5d5665074fc201ebc5a88c13b3717bc57d697af6b5f477897ba42f44c850f5

Observation 937925c6-a7df-438b-b654-3cb01ccbc71e · outbound

This paper cites Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices.

An empirical analysis of vulnerability detection tools for solidity smart contracts Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices

Reference 30

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.943951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:7de6f908ae3fd6853240b893a80ff2b507dd6c54d1371eb97f542e71ad22528d

Observation f256c0f6-6cde-4fdc-af16-8a59b0c17b0e · outbound

This paper cites In: 2024 IEEE Symposium on Security and Privacy (SP), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2024 IEEE Symposium on Security and Privacy (SP), pp

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.719947Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:aa4c61bc5b71daaf22b650f841973fedaca6b42a9d5264bb1e1fca9fa611b981

Observation cc68ebc2-e547-45e7-bfbf-6c51635b3269 · outbound

This paper cites In: 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 49th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), pp

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.723283Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:86e0e81daccb6a43c2938a85f02b30ce73e28f3324d03bc00d0a1fce773c1d44

Observation c91745d1-3ea3-4eb4-8325-8a80cb84ebca · outbound

This paper cites In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.726510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:1ceef3a52f45a37c7e45c2423a5f06600596f36905b5ccc5fd00176260dfcd91

Observation 6e926ebf-f933-4f98-910e-6edb875a6f3e · outbound

This paper cites In: Pro- ceedings of the 1st international workshop on emerging trends in software engineering for blockchain, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Pro- ceedings of the 1st international workshop on emerging trends in software engineering for blockchain, pp

Reference 34

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.744696Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:fcfde4e033ef3618821434f645858915bb12e0c3c0f3e09c76abd0e7e08ae649

Observation abf98db7-35e4-4120-ba24-01ce87321ae9 · outbound

This paper cites In: Proceedings of the 34th annual computer security applications conference, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 34th annual computer security applications conference, pp

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.704106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:2b95a2e8e2fedb44967b24e5abfc4fdd28e1841b5a027dbd91c6942dd1ae5f4b

Observation 25ae0fb8-6471-49c6-8724-80e3fc2be830 · outbound

This paper cites In: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the 2018 ACM SIGSAC conference on computer and communications security, pp

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.707136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:8ad97a31a5b3cc26fa65ad7a5416b80e1afe65f14d909e09835c4becac1a2f7e

Observation eafd5140-6885-4817-858a-5f178ae43673 · outbound

This paper cites Proceedings of the ACM on Software Engineering 1(FSE), 161–181 (2024).

An empirical analysis of vulnerability detection tools for solidity smart contracts Proceedings of the ACM on Software Engineering 1(FSE), 161–181 (2024)

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.710197Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:b79f9a3432fda2938f0352b67b3c19bab71ca836ad6c8c1413ab217b476c7082

Observation cfb1f4f9-bacc-4ef3-bee2-4877462da553 · outbound

This paper cites IEEE Transactions on Software Engineering (2024).

An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering (2024)

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.718632Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:277fc56fff2b8f15469b4ad0d761e70f03b66b595c0396b9a680c1d63e532ce8

Observation 0654f16d-5a5c-4f40-ac7a-bbf2e81f6bd7 · outbound

This paper cites In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, pp

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.729770Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:4b3291e0520d2f0fbc53d31222306d8eaffb9c0ed1e327db42ab39b05f497020

Observation 8539c443-6342-41c2-b28a-1dd55f30b078 · outbound

This paper cites Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities.

An empirical analysis of vulnerability detection tools for solidity smart contracts Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities

Reference 40

Resolution
verified exact
arxiv_id, observed 2026-05-22T13:44:52.935729Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:4ecfa1f006010aa6639d3dcb1f59f1e8e1a4d1055d9a962861ac54abc7be50bd

Observation f633c4ec-a889-48b1-8239-66182aa1df79 · outbound

This paper cites IEEE Transactions on Software Engineering (2024) 38 Salzano et al.

An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering (2024) 38 Salzano et al

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.747789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:2c30a73cfb0fd29e3c9ec61a325d20718f49c9d7b1236269935f7b46fa0bf48c

Observation a89e091f-70f7-4a6e-ab70-242197dda9d0 · outbound

This paper cites Journal of Information Security and Applications 77, 103555 (2023).

An empirical analysis of vulnerability detection tools for solidity smart contracts Journal of Information Security and Applications 77, 103555 (2023)

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.750414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:b2a97da6d4a47cdcec48bb9990ce83996677d8a6acebdca9cfec7482a21470a1

Observation 1c937a2e-71d1-41ee-a910-a4f7e2ca0a8a · outbound

This paper cites In: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), pp

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.753129Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:71584d2b409f987db949e53532c2354a8745eb3e3483406965dade6fece1907a

Observation ea8a1617-1e4c-4450-9ae7-6cfe3f252593 · outbound

This paper cites In: Proceedings of the Twenty-Ninth Inter- national Conference on International Joint Conferences on Artificial Intelligence, pp.

An empirical analysis of vulnerability detection tools for solidity smart contracts In: Proceedings of the Twenty-Ninth Inter- national Conference on International Joint Conferences on Artificial Intelligence, pp

Reference 44

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.761709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:6395771797d3a738fa75da678bb5cecd15c1b2cb3d2ff58c91f7b7d2c931600b

Observation cb95fc6e-b9da-4992-b4e4-8c6a2a3d371d · outbound

This paper cites IEEE Transactions on Software Engineering 47(10), 2084–2106 (2019).

An empirical analysis of vulnerability detection tools for solidity smart contracts IEEE Transactions on Software Engineering 47(10), 2084–2106 (2019)

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-05-22T13:44:53.733078Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-05-22T13:42:05.787708Z digest=sha256:dfed2589bcd348671aeb60d9c1e22d8f3ed82c4483e219c037c84ec61bd35cdc

Pith citing papers

No inbound Pith citation observations are available.