Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T17:39:50.058348Z
Paper Citation Record · LEDGER
Security Properties for Open-Source Hardware Designs
As of 15 August 2026, this Paper Citation Record lists 71 of 71 outbound references and 2 inbound Pith citation observations for arXiv:2412.08769.
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-15T06:32:42.880941+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-15T18:23:01.648809Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-15T18:26:27.122257Z
Reference resolution
71 of 71 outbound references displayed
- verified exact2
- verified fuzzy28
- unresolved39
- parse uncertain0
- malformed identifier1
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 32889988-583a-48ee-961d-ffc048536229 · outbound
This paper cites IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language.
Security Properties for Open-Source Hardware Designs IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.597052Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 22b311b4-d8a4-47d2-969b-ef38e5ceab6f · outbound
This paper cites Ahmad, W.
Security Properties for Open-Source Hardware Designs Ahmad, W
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.579930Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cfb8c376-70ff-4c88-a504-1231f124a076 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.564873Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0aa679b1-fb45-4dfe-906f-6c7f2c37f06c · outbound
This paper cites Ardeshiricham, W.
Security Properties for Open-Source Hardware Designs Ardeshiricham, W
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.549298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0d03a1a8-afa1-4090-8d37-79cbc7ae2fb6 · outbound
This paper cites Balkind, M.
Security Properties for Open-Source Hardware Designs Balkind, M
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.534265Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d6cfbde8-26e5-4f61-ab5a-bd913df3506b · outbound
This paper cites Bilzor, T.
Security Properties for Open-Source Hardware Designs Bilzor, T
Reference 6
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-11T17:39:50.672814Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation af099478-36cb-41d6-bc0a-c231d449dacf · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.518986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 61b27551-d193-4c73-8c12-962c0f6b154b · outbound
This paper cites Canakci, L.
Security Properties for Open-Source Hardware Designs Canakci, L
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.503096Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f370b7ed-b1c4-41c4-90b7-38d24653b4fe · outbound
This paper cites Canakci, C.
Security Properties for Open-Source Hardware Designs Canakci, C
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.487480Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 004240c7-60b1-4d41-98ab-e9ec4dac1ac9 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.470968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 78ed1027-9a36-42c2-a2e8-b66ddb2e57c1 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.457113Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 817fb087-970f-41c0-b6f2-47bd92222a23 · outbound
This paper cites HyPFuzz: Formal-Assisted Processor Fuzzing.
Security Properties for Open-Source Hardware Designs HyPFuzz: Formal-Assisted Processor Fuzzing
Reference 12
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T17:39:50.586789Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a0f77e85-d15a-4f35-9b72-bc5e900bde4c · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.443264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 85fa0164-315b-463f-82a0-1e4497d07c88 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.428702Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 55ee31c7-4710-42da-aade-92e5cb6a2a26 · outbound
This paper cites Dessouky, D.
Security Properties for Open-Source Hardware Designs Dessouky, D
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.414682Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c80c39d5-293a-4172-a46a-9e96b296b7dc · outbound
This paper cites Deutschbein.
Security Properties for Open-Source Hardware Designs Deutschbein
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.400062Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 61ed5956-5433-4eb6-b307-573bd29e9380 · outbound
This paper cites Deutschbein, A.
Security Properties for Open-Source Hardware Designs Deutschbein, A
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.384983Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9afcc4bd-670a-4cd6-96e8-1372a6561124 · outbound
This paper cites Deutschbein and C.
Security Properties for Open-Source Hardware Designs Deutschbein and C
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.368876Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ed1026b7-2265-44af-bd62-f8ae6bc1eff0 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.351038Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 22f5258f-b489-4cc6-831f-ac3c3c20c7b2 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:49.807994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d8bd663-6a27-475d-aa09-a14da66c2247 · outbound
This paper cites Fang and H.
Security Properties for Open-Source Hardware Designs Fang and H
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.335491Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f1e9d180-b948-487b-89c8-18db1af26406 · outbound
This paper cites Farzana, F.
Security Properties for Open-Source Hardware Designs Farzana, F
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.319524Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6ffee0d0-97af-4976-a968-92b44e540c96 · outbound
This paper cites Farzana, F.
Security Properties for Open-Source Hardware Designs Farzana, F
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.303655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b4d8f7ce-eac5-49d5-9311-737d198214fe · outbound
This paper cites Gogri, P.
Security Properties for Open-Source Hardware Designs Gogri, P
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.287504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ac66b5d8-07e5-4b49-8557-bc16d419f38b · outbound
This paper cites MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors.
Security Properties for Open-Source Hardware Designs MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:49.831457Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a3008405-25aa-4c49-bf59-29da31b39648 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 26
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.267838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a4d393f8-cb7c-41e1-85a3-f66dd2b7d440 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 27
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.250754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7b870d3a-6cda-42e5-94ee-94680ddc0441 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.236201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d200b149-b8d6-4572-9106-34a35b3e59c9 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.222024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 655aea81-da90-4b94-930b-fd31fa2cdce4 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.207929Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dd39050c-b5e0-4c01-b351-803e264688c8 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.194192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6955e8c2-67b1-4981-94fd-c5da1fe9028a · outbound
This paper cites Hicks, C.
Security Properties for Open-Source Hardware Designs Hicks, C
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.179556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 06fd2924-2548-41c9-9799-ae8e16b4209a · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.164065Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 59d29a6e-3394-487b-9c01-310b06505d21 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.149229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 343dd1ba-2dca-4b27-b409-83c3b7a3c4c1 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.134068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 74d01947-1091-4ecc-9d2b-7ef9cf578502 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.118389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e493a78e-a328-40df-99bb-7a093e1a368f · outbound
This paper cites (Security) Assertions by Large Language Models.
Security Properties for Open-Source Hardware Designs (Security) Assertions by Large Language Models
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:49.888995Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55c64e35-520e-4802-b762-7ed264010291 · outbound
This paper cites Kastner, F.
Security Properties for Open-Source Hardware Designs Kastner, F
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.102227Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dc16b2d9-60cf-487a-8f15-6fd2ebbb903e · outbound
This paper cites Lyu and P.
Security Properties for Open-Source Hardware Designs Lyu and P
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.086546Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e873e4d6-a50d-41ce-961c-de97eaff7df0 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.072084Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 014ec530-5cd3-4ff7-8f5e-966126ee7a7d · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.057180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c6072639-72e1-4603-81d0-8bc32ebfa4de · outbound
This paper cites Unlocking Hardware Security Assurance: The Potential of LLMs.
Security Properties for Open-Source Hardware Designs Unlocking Hardware Security Assurance: The Potential of LLMs
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:49.916321Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9e9b518f-35af-4298-9282-e86e039c459c · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.042533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 639d6c08-ae89-4be0-8e83-6a296d3e8676 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:51.028013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4cfdcaa3-f577-4423-92a9-94e98df53f43 · outbound
This paper cites Müller, M.
Security Properties for Open-Source Hardware Designs Müller, M
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:51.013670Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0a14fdd8-abac-40ed-bbe4-532b5081806a · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.983990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a148705e-607f-4444-b4a0-85564fa6debb · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.968973Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3fb09872-c516-4bf5-8b11-8652206bdb7b · outbound
This paper cites DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection.
Security Properties for Open-Source Hardware Designs DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:49.951553Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2b09fa7e-821a-4a8a-8500-3693f3e64870 · outbound
This paper cites Patterson.
Security Properties for Open-Source Hardware Designs Patterson
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.953542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 769b6139-d928-44ec-b6e7-0fa308ac96c6 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.937986Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3d0935a5-3f46-4ef8-a8cd-07ad89dd3bc1 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.922833Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 6ee1cf1e-6c1c-4a51-9991-218a1a425ed2 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.907371Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 574de061-ad0a-42dc-864f-6ea22ac53594 · outbound
This paper cites AKER: A Design and Verification Framework for Safe andSecure SoC Access Control.
Security Properties for Open-Source Hardware Designs AKER: A Design and Verification Framework for Safe andSecure SoC Access Control
Reference 53
- Resolution
- verified exact
- local_arxiv, observed 2026-08-11T17:39:50.411936Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e343844a-813e-4ffb-bafd-9943ee363a85 · outbound
This paper cites Ryan and C.
Security Properties for Open-Source Hardware Designs Ryan and C
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.892196Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 0d9916c5-0238-4381-a44a-8f9883d21292 · outbound
This paper cites Sadeghi, J.
Security Properties for Open-Source Hardware Designs Sadeghi, J
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.876703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 03ba1393-b6dc-4af1-825f-c94437c667e4 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 56
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-11T17:39:50.388102Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8dc34b2f-3f8b-46c6-9b58-55a661387824 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.862194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation c4b294a7-c6f3-4703-8eeb-8c0a6a1de8c2 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.847706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation de2095d3-4833-43fd-b7aa-79f7e8d99c11 · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.832838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 887071ea-0ffc-44db-82c9-d7a5b72c05db · outbound
This paper cites Sugiyama, R.
Security Properties for Open-Source Hardware Designs Sugiyama, R
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.817891Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation cce47156-fc7f-4a4c-85b2-53e245f53431 · outbound
This paper cites Tarek, H.
Security Properties for Open-Source Hardware Designs Tarek, H
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.802478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5c5a7df6-2594-4671-a62b-943c70228e61 · outbound
This paper cites Trippel, K.
Security Properties for Open-Source Hardware Designs Trippel, K
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.786649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 8baba05d-d0ae-4479-b563-60eb0a9c64fc · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.770626Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation ee57f135-2b2a-41bf-a23e-0f97231bafc0 · outbound
This paper cites TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities.
Security Properties for Open-Source Hardware Designs TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:50.029270Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 445279e7-e0d7-4dd7-8a31-0618a1467a7e · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 65
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.755286Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 7287e7f5-b368-4ef5-8371-83d0e44fa64e · outbound
This paper cites Zaruba and L.
Security Properties for Open-Source Hardware Designs Zaruba and L
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.738127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b73f831d-cf9e-436f-8330-fa9324a7c934 · outbound
This paper cites Zhang, C.
Security Properties for Open-Source Hardware Designs Zhang, C
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.721881Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1b4d19c8-a014-4f9d-85d6-cce685c4f3eb · outbound
This paper cites Zhang, N.
Security Properties for Open-Source Hardware Designs Zhang, N
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.706348Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation a6862add-b02c-4607-b39c-b26059604371 · outbound
This paper cites Zhang and C.
Security Properties for Open-Source Hardware Designs Zhang and C
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:39:50.688775Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 728abd0e-68fb-4128-bc25-009cb8baea82 · outbound
This paper cites LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation.
Security Properties for Open-Source Hardware Designs LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:39:50.058348Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8cc53c86-97bd-4d32-be58-67cbae13fc1c · outbound
This paper cites an unresolved cited work.
Security Properties for Open-Source Hardware Designs Unresolved cited work
Reference 2021
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:39:50.998735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Pith citing papers
Observation 544242ab-f9ab-442a-9681-fad2f97384b0 · inbound
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification cites this paper.
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification Security Properties for Open-Source Hardware Designs
Reference 44
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T18:26:27.125422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 368ea7f7-a63f-4617-87d3-f698c767c7c5 · inbound
VeriCWEty: Embedding enabled Line-Level CWE Detection in Verilog cites this paper.
VeriCWEty: Embedding enabled Line-Level CWE Detection in Verilog Security Properties for Open-Source Hardware Designs
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-10T11:45:21.389650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.