Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T15:49:17.173634Z
Paper Citation Record · LEDGER
Set-Based Models for Cryptocurrency Software
As of 17 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:1908.00591.
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-16T06:30:59.297886+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
46 of 46 outbound references displayed
- verified exact1
- verified fuzzy36
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7e3ff90e-027e-48fc-96fa-1c0a878cf6b6 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.855543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation eed20021-e571-41e2-8031-9a33b7f10126 · outbound
This paper cites Schneider.
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.841589Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8eb983ac-f9a1-4715-8087-0610386cdd1f · outbound
This paper cites Anderson.
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.827301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ab57c9e5-f4c3-4d31-86d1-5948b70adac1 · outbound
This paper cites System- level non-interference of constant-time cryptography.
Set-Based Models for Cryptocurrency Software System- level non-interference of constant-time cryptography
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.814049Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 190c18f4-ff18-4912-9b4b-2a418eb0830c · outbound
This paper cites System-level non-interference for constant-t ime cryptography.
Set-Based Models for Cryptocurrency Software System-level non-interference for constant-t ime cryptography
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.801826Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d932dc75-83c2-4730-b530-8cf1ff46a491 · outbound
This paper cites A machine-checked formalization of sigma- protocols.
Set-Based Models for Cryptocurrency Software A machine-checked formalization of sigma- protocols
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.788853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 80622b65-8cd9-4920-a546-2a9cb49c2990 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.775204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dd762b05-17d6-4aa0-9886-50c16c71e94e · outbound
This paper cites Interactive theorem proving and program development: Coq’ Art : the calculus of inductive constructions.
Set-Based Models for Cryptocurrency Software Interactive theorem proving and program development: Coq’ Art : the calculus of inductive constructions
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.761295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 416e5a12-cc6b-480c-92de-cb22c08f807a · outbound
This paper cites Formal analysis of android’s permission-based security model,.
Set-Based Models for Cryptocurrency Software Formal analysis of android’s permission-based security model,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.747335Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7711b652-69ef-4400-98e4-95438c77d229 · outbound
This paper cites Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol.
Set-Based Models for Cryptocurrency Software Towards a formally verified implementation of the MimbleWimble cryptocurrency protocol
Reference 10
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T15:49:17.216112Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5ded073b-e502-49ec-95b3-6abec19fa3db · outbound
This paper cites Formal ver- ification of smart contracts: Short paper.
Set-Based Models for Cryptocurrency Software Formal ver- ification of smart contracts: Short paper
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.733736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 49e7422c-6012-45f7-8f22-ec385f31de1d · outbound
This paper cites Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications.
Set-Based Models for Cryptocurrency Software Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.720682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 00ebd35f-e5fc-437e-987f-f17ef7151ede · outbound
This paper cites Critical update re: Dao vulnerability.
Set-Based Models for Cryptocurrency Software Critical update re: Dao vulnerability
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.707122Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 97337adf-2fe5-4f40-9aea-1134427a5965 · outbound
This paper cites Clarke, Orna Grumberg, and Doron A.
Set-Based Models for Cryptocurrency Software Clarke, Orna Grumberg, and Doron A
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.693650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 07b995e0-9dfc-4051-b91f-2aa16fcddca0 · outbound
This paper cites Cristi´ a, Pablo Albertengo, Claudia S.
Set-Based Models for Cryptocurrency Software Cristi´ a, Pablo Albertengo, Claudia S
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.679742Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9ab3b7d8-e8a1-41d5-9583-93d895da6671 · outbound
This paper cites Cristi´ a and G.
Set-Based Models for Cryptocurrency Software Cristi´ a and G
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.664942Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2434424f-dc1a-4d69-ab0e-731710bc7f12 · outbound
This paper cites Cristi´ a and G.
Set-Based Models for Cryptocurrency Software Cristi´ a and G
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.651205Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 156254af-64bf-4a6d-9669-e3c0f062e833 · outbound
This paper cites Cristi´ a and G.
Set-Based Models for Cryptocurrency Software Cristi´ a and G
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.636921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0b6d582f-957c-4d80-b2f5-bcc0c4c417ba · outbound
This paper cites Fry dman, Brian Pl¨ uss, and Pablo Rodr ´ ıguez Monetti.
Set-Based Models for Cryptocurrency Software Fry dman, Brian Pl¨ uss, and Pablo Rodr ´ ıguez Monetti
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.622775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5d1adb4f-ed7d-4a3c-8bf4-a0c045a50be0 · outbound
This paper cites Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, and Jim Woodcock.
Set-Based Models for Cryptocurrency Software Fitzgerald, Juan Bicarregui, Peter Gorm Larsen, and Jim Woodcock
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.608863Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0fa644c3-0d90-49f4-9cd7-44c8eaff5cf0 · outbound
This paper cites Goguen and Jos´ e Meseguer.
Set-Based Models for Cryptocurrency Software Goguen and Jos´ e Meseguer
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.594045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 07b25181-052c-4fb0-8b20-007020517682 · outbound
This paper cites A semantic frame- work for the security analysis of ethereum smart contracts.
Set-Based Models for Cryptocurrency Software A semantic frame- work for the security analysis of ethereum smart contracts
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.578163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f92e88b9-c42a-47f2-a3c6-b55acb683ce5 · outbound
This paper cites Validation of formal models by refinement animation.
Set-Based Models for Cryptocurrency Software Validation of formal models by refinement animation
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.562468Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 931a32f6-3aed-46e6-9f72-7f5b14719d8f · outbound
This paper cites Hierons, Kirill Bogdanov, Jonathan P.
Set-Based Models for Cryptocurrency Software Hierons, Kirill Bogdanov, Jonathan P
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.548529Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 059fc567-6bf6-4384-af01-fa0b9f0c2140 · outbound
This paper cites Defining the ethereum virtual machine for i nteractive theorem provers.
Set-Based Models for Cryptocurrency Software Defining the ethereum virtual machine for i nteractive theorem provers
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.534439Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ca6552b6-8401-465c-9f90-a9fa7bb4790e · outbound
This paper cites Eval- uation of logic-based smart contracts for blockchain syste ms.
Set-Based Models for Cryptocurrency Software Eval- uation of logic-based smart contracts for blockchain syste ms
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.519254Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f80beb0f-3677-47a6-8046-365c4a8e2004 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.505861Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4b683ab0-3612-4c27-811c-ba76c1c6fef6 · outbound
This paper cites Murray, Thomas Sewell, Rafal Kolanski, and Gernot Heiser.
Set-Based Models for Cryptocurrency Software Murray, Thomas Sewell, Rafal Kolanski, and Gernot Heiser
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.492868Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e91fd1a1-2e74-442b-acfa-6172a80c5f1a · outbound
This paper cites Applying a formal method in industry: A 25-year trajectory.
Set-Based Models for Cryptocurrency Software Applying a formal method in industry: A 25-year trajectory
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.480181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e13113c5-6d68-4e66-a163-74022efff1f8 · outbound
This paper cites Formal verification of a realistic compile r.
Set-Based Models for Cryptocurrency Software Formal verification of a realistic compile r
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.467392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5350cf93-61bc-4fa4-be90-1e9d656d84db · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.453854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ad5046a1-bfe4-49f0-9b1a-e4af3bed3b92 · outbound
This paper cites Mak- ing smart contracts smarter.
Set-Based Models for Cryptocurrency Software Mak- ing smart contracts smarter
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.440149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 121cd8bf-4a0c-462b-9c79-e20341cb95a8 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.426356Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 541c7b1c-1ef7-455a-8505-e16d6c33bee2 · outbound
This paper cites Nakamoto.
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.412737Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d161b826-d006-41f2-829b-05f0e9d8de0b · outbound
This paper cites Automated theorem proving - theory and practice.
Set-Based Models for Cryptocurrency Software Automated theorem proving - theory and practice
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.398595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5173d0cf-8852-4db7-8c80-1e0214648f9f · outbound
This paper cites P ˆ ırlea and I.
Set-Based Models for Cryptocurrency Software P ˆ ırlea and I
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.384653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 285fbe14-3dc1-46ae-80f6-a99df14ad5b9 · outbound
This paper cites Ever- crypt: A fast, verified, cross-platform cryptographic prov ider.
Set-Based Models for Cryptocurrency Software Ever- crypt: A fast, verified, cross-platform cryptographic prov ider
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.370595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d3ec77c6-bb55-46a4-8fae-2844da48c8e3 · outbound
This paper cites {log}, 2008.
Set-Based Models for Cryptocurrency Software {log}, 2008
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.355366Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 74fed650-015a-4035-833a-aa566f40f0cf · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.339204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6a322662-7468-490e-bea0-5aac2dbcc247 · outbound
This paper cites Carrington.
Set-Based Models for Cryptocurrency Software Carrington
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.322147Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a17300a6-b8fe-4225-83b8-4741fcebbb53 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.308198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4e921f59-cb69-44bd-a992-7a1b4a95dc75 · outbound
This paper cites Practical Model-Based Testing: A Tools Ap- proach.
Set-Based Models for Cryptocurrency Software Practical Model-Based Testing: A Tools Ap- proach
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.292570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d4142776-1277-4a93-9e2e-9eed2a849c2a · outbound
This paper cites Ethereum: A secure decentralised generalis ed transaction ledger eip- 150 revision (759dccd - 2017-08-07), 2017.
Set-Based Models for Cryptocurrency Software Ethereum: A secure decentralised generalis ed transaction ledger eip- 150 revision (759dccd - 2017-08-07), 2017
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.277428Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0ddb8667-f0e0-4af6-8076-e2a40b362fa6 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.262707Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1599f38a-6c26-4f5b-b7bb-4446cc1ea335 · outbound
This paper cites an unresolved cited work.
Set-Based Models for Cryptocurrency Software Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T15:49:17.246634Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 292e7be7-6ba1-44ec-bb21-6715f7c6c7ac · outbound
This paper cites A particular class of the idealized models mentioned above are those c alled se- curity models.
Set-Based Models for Cryptocurrency Software A particular class of the idealized models mentioned above are those c alled se- curity models
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T15:49:17.231627Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.