{"as_of":"2026-08-15T19:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8cf2bac80cde5392d73ae4e1ea02fce3ff49c0ac5e8b2ef0dd4c4fb8d10a7207","coverage":[{"denominator":71,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":71,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T17:39:50.058348Z","state":"measured"},{"denominator":73,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":73,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-15T18:23:01.648809Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-15T18:26:27.122257Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"cited_work":{"arxiv_id":"2412.08769","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.08769","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Security properties for open-source hardware designs","venue":null,"work_id":"3ba3a661-9ca1-4946-9871-868084592baf","year":2024},"citing_paper":{"arxiv_id":"2603.01170","last_updated":"2026-04-23T12:41:27Z","snapshot_observed_at":"2026-08-15T15:35:29.453723Z","submitted_at":"2026-03-01T16:20:47Z","title":"ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-15T18:23:01.648809Z"},"links":{"cited_paper":"/paper/2412.08769","citing_paper":"/paper/2603.01170"},"observation_digest":"sha256:134425f0b4b5ee08d14ca2139e51d885fb4dd52da55dbcacca17755d97b90303","observation_id":"544242ab-f9ab-442a-9681-fad2f97384b0","resolution":{"observed_at":"2026-05-15T18:26:27.125422Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"cited_work":{"arxiv_id":"2412.08769","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2412.08769","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Security properties for open-source hardware designs","venue":null,"work_id":"3ba3a661-9ca1-4946-9871-868084592baf","year":2024},"citing_paper":{"arxiv_id":"2604.15375","last_updated":"2026-04-15T19:25:57Z","snapshot_observed_at":"2026-07-30T15:32:05.926749Z","submitted_at":"2026-04-15T19:25:57Z","title":"VeriCWEty: Embedding enabled Line-Level CWE Detection in Verilog","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-10T11:43:44.174797Z"},"links":{"cited_paper":"/paper/2412.08769","citing_paper":"/paper/2604.15375"},"observation_digest":"sha256:206e2dd8647ba8f199d1685f663e7977e592a92c12e27c9713101b9dfc098032","observation_id":"368ea7f7-a63f-4617-87d3-f698c767c7c5","resolution":{"observed_at":"2026-05-10T11:45:21.389650Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2412.08769/citation-record","integrity":"/paper/2412.08769/integrity","json":"/paper/2412.08769/citation-record.json","paper":"/paper/2412.08769"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.591270Z","title":"IEEE Standard for SystemVerilog–Unified Hardware Design, Specification, and Verification Language","venue":null,"work_id":"396bb991-9537-49b1-9ec9-64ba86e0b800","year":2018},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.709974Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:757ce37cdc01fd578a34d437c117a73c7ec937d6a3a10dc96320020be6e4236e","observation_id":"32889988-583a-48ee-961d-ffc048536229","resolution":{"observed_at":"2026-08-11T17:39:51.597052Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.574990Z","title":"Ahmad, W","venue":null,"work_id":"58d65a31-7cbe-4d3c-b676-6f0ef9705510","year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.715225Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:bbf23f6cb3e0f12d3a1b8ce976b701ab4936f9d8e04ac59b79d933ba42e2f19e","observation_id":"22b311b4-d8a4-47d2-969b-ef38e5ceab6f","resolution":{"observed_at":"2026-08-11T17:39:51.579930Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.560402Z","title":null,"venue":null,"work_id":"7babce21-22de-469d-8765-e519383f0316","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.720093Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:106b9c9bbf9fe8982ecbb242ea6300da918a50bfcd614f459d64841f55e4e67c","observation_id":"cfb8c376-70ff-4c88-a504-1231f124a076","resolution":{"observed_at":"2026-08-11T17:39:51.564873Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.544908Z","title":"Ardeshiricham, W","venue":null,"work_id":"f5c58585-28f3-4cce-8dba-9b4e10d5bf50","year":2017},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.725234Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:1e3a7ed1e76c3a35492bd7c89550fe2ce741192c6aa2814d96508e2d38ecbd87","observation_id":"0aa679b1-fb45-4dfe-906f-6c7f2c37f06c","resolution":{"observed_at":"2026-08-11T17:39:51.549298Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.529953Z","title":"Balkind, M","venue":null,"work_id":"eb006871-735d-445a-b141-6f4c788507d8","year":2016},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.730443Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:663268e7febdec72bfc3f0c13dadc91efe9abc41c1ec4d5420ec42067cc62588","observation_id":"0d03a1a8-afa1-4090-8d37-79cbc7ae2fb6","resolution":{"observed_at":"2026-08-11T17:39:51.534265Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2011.59549","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.664030Z","title":"Bilzor, T","venue":null,"work_id":"53c12741-bd21-4803-b325-ce9e2f51ea25","year":2011},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.735787Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:7374eaea6d2690281bc06a704ffd07d048f6a1bd060913f30e593415b5737f49","observation_id":"d6cfbde8-26e5-4f61-ab5a-bd913df3506b","resolution":{"observed_at":"2026-08-11T17:39:50.672814Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.513821Z","title":null,"venue":null,"work_id":"700ad49f-35c8-4fef-929a-8fb2c49d1986","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.741815Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:08a67a352ee686bfab3bcd6c35e3d2879c9e11892a0db2e80734bcb8e0676bca","observation_id":"af099478-36cb-41d6-bc0a-c231d449dacf","resolution":{"observed_at":"2026-08-11T17:39:51.518986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.498529Z","title":"Canakci, L","venue":null,"work_id":"8e6f181b-5c3d-4930-95cc-112ed8e3154a","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.746820Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:95a6a740fec8ef63979f30a0e4bcdfddfb4e5b51fa2d81cba181813b8d0dfc6f","observation_id":"61b27551-d193-4c73-8c12-962c0f6b154b","resolution":{"observed_at":"2026-08-11T17:39:51.503096Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.482048Z","title":"Canakci, C","venue":null,"work_id":"91118496-22fc-4aba-8571-5f431cf58f39","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.751599Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:bf165f0184d9445a98909192b7d173e8c7bb1ca4554c614c20820815002f311e","observation_id":"f370b7ed-b1c4-41c4-90b7-38d24653b4fe","resolution":{"observed_at":"2026-08-11T17:39:51.487480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.466335Z","title":null,"venue":null,"work_id":"1cbba0c3-e96f-4f8b-ba1b-f7015eacebd2","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.758151Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ae69ed096f5d824dd26085d0b82cccefa49ab323d03f1b8be3a76f626572712c","observation_id":"004240c7-60b1-4d41-98ab-e9ec4dac1ac9","resolution":{"observed_at":"2026-08-11T17:39:51.470968Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.452784Z","title":null,"venue":null,"work_id":"1e4b4165-b1f0-4a99-9be0-c087f7099cbb","year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.763452Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:da08e02ec4de6d06a858d8b2043770bdebb01318bc2b7c71a3f5fed3b6a79915","observation_id":"78ed1027-9a36-42c2-a2e8-b66ddb2e57c1","resolution":{"observed_at":"2026-08-11T17:39:51.457113Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.02485","last_updated":"2023-06-24T20:35:37Z","snapshot_observed_at":"2026-08-15T12:37:21.215281Z","submitted_at":"2023-04-05T14:56:25Z","title":"HyPFuzz: Formal-Assisted Processor Fuzzing","version":3},"cited_work":{"arxiv_id":"2304.02485","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.02485","snapshot_observed_at":"2026-08-11T17:39:50.579610Z","title":"HyPFuzz: Formal-Assisted Processor Fuzzing","venue":"cs.CR","work_id":"c7d3dee8-79e3-4754-a3e2-f98d7bd564ef","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.768250Z"},"links":{"cited_paper":"/paper/2304.02485","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:16e0b58f4efdeed64044bf7bd03049ff5704e621a6cc6674a8ac2575c76fee63","observation_id":"817fb087-970f-41c0-b6f2-47bd92222a23","resolution":{"observed_at":"2026-08-11T17:39:50.586789Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.438623Z","title":null,"venue":null,"work_id":"2fa50b94-08d8-4279-afa4-91a98dc7e73a","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.774305Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ff5320ec6acc21f4f67b6536c6d86da248fcfe3a079cb0ec7e07d815996d302a","observation_id":"a0f77e85-d15a-4f35-9b72-bc5e900bde4c","resolution":{"observed_at":"2026-08-11T17:39:51.443264Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.424257Z","title":null,"venue":null,"work_id":"87f102bb-82d1-46ad-9196-2c207951e551","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.779290Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:8b40e9c01535d04ae4b290fea674c0e3c98bb974054649619fdcfd89dc5e7b27","observation_id":"85fa0164-315b-463f-82a0-1e4497d07c88","resolution":{"observed_at":"2026-08-11T17:39:51.428702Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.409975Z","title":"Dessouky, D","venue":null,"work_id":"4bc2959a-b41f-4e8a-870d-61f16412bfd8","year":2019},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.784252Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:b4500fe5c93655e8b0cebcd6bbf2d951ef29d4115cdcdb2ff6aa44b1d9a06b09","observation_id":"55ee31c7-4710-42da-aade-92e5cb6a2a26","resolution":{"observed_at":"2026-08-11T17:39:51.414682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.395359Z","title":"Deutschbein","venue":null,"work_id":"bde1b6ab-8a84-4797-90a3-a1d652fcd8c0","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.789297Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:81201e0ea6bcb5d8a888d19a56bcf65fca42c23ca97cf0ff704db29fa4f4fe6e","observation_id":"c80c39d5-293a-4172-a46a-9e96b296b7dc","resolution":{"observed_at":"2026-08-11T17:39:51.400062Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.380199Z","title":"Deutschbein, A","venue":null,"work_id":"7eefd8c0-64f7-4938-82ce-22e244eb1471","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.794121Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:cf3dc6ca531e5155c1ee1e2781e3db03d3f7af7a0fbdaa093e8333117a144196","observation_id":"61ed5956-5433-4eb6-b307-573bd29e9380","resolution":{"observed_at":"2026-08-11T17:39:51.384983Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.362901Z","title":"Deutschbein and C","venue":null,"work_id":"9f830faf-a790-4cfb-86c3-3497329c15ad","year":2020},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.798727Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:d74d9ef4704107a77f600897a8be7221b2e417250388cb19cc1e1ac436ff692c","observation_id":"9afcc4bd-670a-4cd6-96e8-1372a6561124","resolution":{"observed_at":"2026-08-11T17:39:51.368876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.345926Z","title":null,"venue":null,"work_id":"7f8f03f9-3492-42d5-b002-e1bc810c3895","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.803364Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:c664d60cbcb92f4b4ff5bb2c2c3301c613469209803ba1d0839543c4f92a507a","observation_id":"ed1026b7-2265-44af-bd62-f8ae6bc1eff0","resolution":{"observed_at":"2026-08-11T17:39:51.351038Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:49.807994Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.807994Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:a3577e467fe13145b3faf0374fa79b8843d578926c713ae54349e8307f5fd3ac","observation_id":"22f5258f-b489-4cc6-831f-ac3c3c20c7b2","resolution":{"observed_at":"2026-08-11T17:39:49.807994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.330851Z","title":"Fang and H","venue":null,"work_id":"5b2ccb6f-24b5-40e1-8d6a-47656e290d62","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.812972Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:d507b51bcf8fdfcd6dac22e09d366b172e7bb5aa440fc99f070754e4a258643e","observation_id":"2d8bd663-6a27-475d-aa09-a14da66c2247","resolution":{"observed_at":"2026-08-11T17:39:51.335491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.314886Z","title":"Farzana, F","venue":null,"work_id":"1da01e4c-a439-4753-b37d-238a9ad9f1f9","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.817580Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:054566e63d4a7b3b3fff531cafbd1bf8b653e99468bc40ee3f835ec88f0cf153","observation_id":"f1e9d180-b948-487b-89c8-18db1af26406","resolution":{"observed_at":"2026-08-11T17:39:51.319524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.298721Z","title":"Farzana, F","venue":null,"work_id":"219129c4-2bb6-4e64-8962-d3d305383bb1","year":2019},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.822208Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:709a21918c23312e9b1ac98d9ca6349e0b68085703d3fa02eb5629f3eec67dad","observation_id":"6ffee0d0-97af-4976-a968-92b44e540c96","resolution":{"observed_at":"2026-08-11T17:39:51.303655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.282173Z","title":"Gogri, P","venue":null,"work_id":"876d81d5-e129-472b-bf85-8d1c76fca0ad","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.826955Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:213d0d21ee580c4d4c622906c40f9dc6ac25f638d555dfc9de8c4dcaa0e22d26","observation_id":"b4d8f7ce-eac5-49d5-9311-737d198214fe","resolution":{"observed_at":"2026-08-11T17:39:51.287504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2311.14594","last_updated":"2023-11-24T16:32:43Z","snapshot_observed_at":"2026-08-13T05:18:19.370932Z","submitted_at":"2023-11-24T16:32:43Z","title":"MABFuzz: Multi-Armed Bandit Algorithms for Fuzzing Processors","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.14594","snapshot_observed_at":"2026-08-11T17:39:49.831457Z","title":"Gohil, R","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.831457Z"},"links":{"cited_paper":"/paper/2311.14594","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:0e223390027b33fcffde42429fa8680a0be9b14517246229d5e45440117fc62e","observation_id":"ac66b5d8-07e5-4b49-8557-bc16d419f38b","resolution":{"observed_at":"2026-08-11T17:39:49.831457Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.262221Z","title":null,"venue":null,"work_id":"1854ef01-0f0e-4ef7-b617-53da55bbaf84","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.836662Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:5e932c6365051a3895905c7062ff9effde9c68c89c891bec545f87c9ac49b71b","observation_id":"a3008405-25aa-4c49-bf59-29da31b39648","resolution":{"observed_at":"2026-08-11T17:39:51.267838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.246051Z","title":null,"venue":null,"work_id":"43dcb638-719d-468e-9776-3b8fa1ee7f91","year":2018},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.841486Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:764a177f816ea3fe5ddd5c89bc557fd1e0746d63d9873fbeffe7fe5eae15779e","observation_id":"a4d393f8-cb7c-41e1-85a3-f66dd2b7d440","resolution":{"observed_at":"2026-08-11T17:39:51.250754Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.231489Z","title":null,"venue":null,"work_id":"08195af9-029f-4fed-94e9-0a8dc86ec3eb","year":2019},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.846210Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:eafe002352a3df2f26ec7def81b7157f1acebe34f50f5a07ed61ded8ea3da2ae","observation_id":"7b870d3a-6cda-42e5-94ee-94680ddc0441","resolution":{"observed_at":"2026-08-11T17:39:51.236201Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.217344Z","title":null,"venue":null,"work_id":"43ebe9ac-692e-4843-aa2f-5a54b2a152af","year":2019},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.850906Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:8013374ff74c4f3e89d3e9493bd06e8aff277df4395c9396b2075c0f93abdbfd","observation_id":"d200b149-b8d6-4572-9106-34a35b3e59c9","resolution":{"observed_at":"2026-08-11T17:39:51.222024Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.203604Z","title":null,"venue":null,"work_id":"ef2a428f-f565-4192-a830-1b977299e4c9","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.855514Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:4017c47ac46882c46029304ba04fda044fd43f52b74b77edf5a0d454bfd4d4e8","observation_id":"655aea81-da90-4b94-930b-fd31fa2cdce4","resolution":{"observed_at":"2026-08-11T17:39:51.207929Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.189649Z","title":null,"venue":null,"work_id":"cf199f59-9547-42b4-ae3f-f5f3a49c3162","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.860022Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ad3599523952cf2c1e4671db706dac4582bbef00f6ed2081cac9a019b6b7c7ae","observation_id":"dd39050c-b5e0-4c01-b351-803e264688c8","resolution":{"observed_at":"2026-08-11T17:39:51.194192Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.175006Z","title":"Hicks, C","venue":null,"work_id":"678da081-ba19-4440-92ad-effffc2a9416","year":2015},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.864789Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:dd9f57712c6f94dafa13fa1d71dd7b1c8e7a0a210383362071ca96ec58e4645a","observation_id":"6955e8c2-67b1-4981-94fd-c5da1fe9028a","resolution":{"observed_at":"2026-08-11T17:39:51.179556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.159366Z","title":null,"venue":null,"work_id":"eedfc525-6125-4d01-a669-0d0f4273bc4d","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.869267Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:c5e6a553cdacaf5cae74dea3ac7b8938c5d77ba51d70921a0a915f63192146db","observation_id":"06fd2924-2548-41c9-9799-ae8e16b4209a","resolution":{"observed_at":"2026-08-11T17:39:51.164065Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.144212Z","title":null,"venue":null,"work_id":"470cb77f-4367-44f5-89b5-d3bdb6790da1","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.873872Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:f05dda5dc09ed9ededebfcaa3d944fa12dbfd66b2dcf2c34ee692374789fccaa","observation_id":"59d29a6e-3394-487b-9c01-310b06505d21","resolution":{"observed_at":"2026-08-11T17:39:51.149229Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.129152Z","title":null,"venue":null,"work_id":"acb72f26-f2cd-420d-a6dc-d9ad9a0c664b","year":2018},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.878637Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:fad5ea6c128e1c552ac33aec4e8b3b82a8fd1cda4f7019e5ddfcb0522fa89bd3","observation_id":"343dd1ba-2dca-4b27-b409-83c3b7a3c4c1","resolution":{"observed_at":"2026-08-11T17:39:51.134068Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.113175Z","title":null,"venue":null,"work_id":"96e4d877-994a-469f-9b18-c5b8ea206627","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.883596Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:2da4ec129aedcd081c6efc6b39ebf07f0202f59b2210977c1229fb2a79619505","observation_id":"74d01947-1091-4ecc-9d2b-7ef9cf578502","resolution":{"observed_at":"2026-08-11T17:39:51.118389Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2306.14027","last_updated":"2024-07-09T21:08:06Z","snapshot_observed_at":"2026-08-14T07:27:49.795732Z","submitted_at":"2023-06-24T17:44:36Z","title":"(Security) Assertions by Large Language Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.14027","snapshot_observed_at":"2026-08-11T17:39:49.888995Z","title":"Kande, H","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.888995Z"},"links":{"cited_paper":"/paper/2306.14027","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:444a403a21df2042b1a0352e400dca742574ec115df5c8c9eb2cb90791fa8238","observation_id":"e493a78e-a328-40df-99bb-7a093e1a368f","resolution":{"observed_at":"2026-08-11T17:39:49.888995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.097111Z","title":"Kastner, F","venue":null,"work_id":"27438505-65c6-4e0f-94ee-30a3fe91bcc5","year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.894984Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ea3c33a2236e5d0a97c8ebd3cbc372c4a6f8f025362909cf14ff61cd05a43fe9","observation_id":"55c64e35-520e-4802-b762-7ed264010291","resolution":{"observed_at":"2026-08-11T17:39:51.102227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.081880Z","title":"Lyu and P","venue":null,"work_id":"1ded4b13-b6ee-486d-b075-d66d68176a7e","year":2020},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.899633Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:c3558201415c516b802e0acc19b3dc9bce8a3698955c72014eb3dfe9d7350490","observation_id":"dc16b2d9-60cf-487a-8f15-6fd2ebbb903e","resolution":{"observed_at":"2026-08-11T17:39:51.086546Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.067211Z","title":null,"venue":null,"work_id":"b30e90d5-f775-479d-8ea2-0e3c63e4f821","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.906006Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:2423296e18b439478bdfc555c851d490ecd2366e068277d6fe2f75752085e6c2","observation_id":"e873e4d6-a50d-41ce-961c-de97eaff7df0","resolution":{"observed_at":"2026-08-11T17:39:51.072084Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.052656Z","title":null,"venue":null,"work_id":"4300c9b9-7f99-4e59-81bb-f24028c05393","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.911493Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ec79203362b3dbeda2b20992645086996b7b59a27f3faa62e1d65e9a3e1b6258","observation_id":"014ec530-5cd3-4ff7-8f5e-966126ee7a7d","resolution":{"observed_at":"2026-08-11T17:39:51.057180Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.11042","last_updated":"2023-08-21T21:05:22Z","snapshot_observed_at":"2026-08-13T10:30:09.694975Z","submitted_at":"2023-08-21T21:05:22Z","title":"Unlocking Hardware Security Assurance: The Potential of LLMs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.11042","snapshot_observed_at":"2026-08-11T17:39:49.916321Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.916321Z"},"links":{"cited_paper":"/paper/2308.11042","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:49b1a49e62609f86a5fa830fcde5053fb171c4579623bbfa4134de2841929aad","observation_id":"c6072639-72e1-4603-81d0-8bc32ebfa4de","resolution":{"observed_at":"2026-08-11T17:39:49.916321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.037779Z","title":null,"venue":null,"work_id":"df40046b-939d-47a4-bff4-4528b039d2f2","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.921673Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:2ac1661107eea5359e2d177991334d49e00e8429d0949ad195cf30ab3ba3a01b","observation_id":"9e9b518f-35af-4298-9282-e86e039c459c","resolution":{"observed_at":"2026-08-11T17:39:51.042533Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.023431Z","title":null,"venue":null,"work_id":"8bae651d-1c1a-4bd7-b226-2e1299515a32","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.926253Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:c638a0c68639f6c855c276f86a331b171fd7c8b626da8cc3fb10cbab195986a8","observation_id":"639d6c08-ae89-4be0-8e83-6a296d3e8676","resolution":{"observed_at":"2026-08-11T17:39:51.028013Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:51.008416Z","title":"Müller, M","venue":null,"work_id":"c5a33f83-e170-42f3-aa87-f5e6e8eae562","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.931726Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:8fabd997b674f4309ce8f02427585c7e4705f23a91d59146e5910e133486b9bd","observation_id":"4cfdcaa3-f577-4423-92a9-94e98df53f43","resolution":{"observed_at":"2026-08-11T17:39:51.013670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.978897Z","title":null,"venue":null,"work_id":"07c1e723-f03b-44b1-87f6-beef15493cb9","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.941910Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:4b930e779babad65be6cc493a335444c18213b77edfe0b872468e550f889f63c","observation_id":"0a14fdd8-abac-40ed-bbe4-532b5081806a","resolution":{"observed_at":"2026-08-11T17:39:50.983990Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.964182Z","title":null,"venue":null,"work_id":"91681fc7-21de-4659-911f-dc73c6a71b41","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.946966Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:292817f8e27d868aa3217043c2c448c96b86a50b778ed1fdcf382018e1727d81","observation_id":"a148705e-607f-4444-b4a0-85564fa6debb","resolution":{"observed_at":"2026-08-11T17:39:50.968973Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.06932","last_updated":"2023-08-14T04:21:10Z","snapshot_observed_at":"2026-08-13T10:35:10.368410Z","submitted_at":"2023-08-14T04:21:10Z","title":"DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2308.06932","snapshot_observed_at":"2026-08-11T17:39:49.951553Z","title":"Paria, A","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.951553Z"},"links":{"cited_paper":"/paper/2308.06932","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:30220e4c06dbc5f64aea491f9297ea691a6064f23dc74e85bf91b76a3a20a6ce","observation_id":"3fb09872-c516-4bf5-8b11-8652206bdb7b","resolution":{"observed_at":"2026-08-11T17:39:49.951553Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.948621Z","title":"Patterson","venue":null,"work_id":"f61ea4cc-746b-435f-8c4b-9ca787277cd2","year":2012},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.956719Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:780711b6e96d8f5a277ff0e9da407022aa8f9e8e06df88d3d95122a9396e90ca","observation_id":"2b09fa7e-821a-4a8a-8500-3693f3e64870","resolution":{"observed_at":"2026-08-11T17:39:50.953542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.933204Z","title":null,"venue":null,"work_id":"e79ea76d-a62d-4131-a688-a55be86a1865","year":2024},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.961157Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ef83f493df59c7400b4a5152330603c798d9fcbfa535067bbcc9f216a003ee76","observation_id":"769b6139-d928-44ec-b6e7-0fa308ac96c6","resolution":{"observed_at":"2026-08-11T17:39:50.937986Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.917517Z","title":null,"venue":null,"work_id":"b79256bf-bb01-4e6b-849a-4611cfbe349c","year":2024},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.965654Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:5f199fd85a75e5d6672ace43f646f7f820baa31d423cf957a0828b876ba7c414","observation_id":"3d0935a5-3f46-4ef8-a8cd-07ad89dd3bc1","resolution":{"observed_at":"2026-08-11T17:39:50.922833Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.902428Z","title":null,"venue":null,"work_id":"4ba3e66e-145e-4252-96ba-ce8bd0978eb9","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.970561Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:a089e4f372019b5d110b81ac4131bf51dda7a67314fd7ef61c574ca0560a164a","observation_id":"6ee1cf1e-6c1c-4a51-9991-218a1a425ed2","resolution":{"observed_at":"2026-08-11T17:39:50.907371Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2106.13263","last_updated":"2021-06-24T18:09:28Z","snapshot_observed_at":"2026-08-14T21:34:23.792261Z","submitted_at":"2021-06-24T18:09:28Z","title":"AKER: A Design and Verification Framework for Safe andSecure SoC Access Control","version":1},"cited_work":{"arxiv_id":"2106.13263","doi":null,"metadata_source":"pith","pith_arxiv_id":"2106.13263","snapshot_observed_at":"2026-08-11T17:39:50.405800Z","title":"AKER: A Design and Verification Framework for Safe andSecure SoC Access Control","venue":"cs.CR","work_id":"8af1bcad-db9c-4ec9-85d8-a843cefa2f07","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.976159Z"},"links":{"cited_paper":"/paper/2106.13263","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:dd8791cc7db094a1c9afe1db0638485fd53a1158e1d1eecd5fd2f37139f376c3","observation_id":"574de061-ad0a-42dc-864f-6ea22ac53594","resolution":{"observed_at":"2026-08-11T17:39:50.411936Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.887454Z","title":"Ryan and C","venue":null,"work_id":"e3a860a9-cd23-4a09-b188-54d041c8cb89","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.981347Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:c9ae704c4f0c3678fd2cfb7f91bcf9163117a621030866cd0edb4609bd944b1b","observation_id":"e343844a-813e-4ffb-bafd-9943ee363a85","resolution":{"observed_at":"2026-08-11T17:39:50.892196Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.871971Z","title":"Sadeghi, J","venue":null,"work_id":"2d6eb1d0-f2d4-4f7b-afbe-29a94ae6e2fb","year":2021},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.986088Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:5caa694aba7701746240dbfc58d89ea518b33a32c270aa3c782e5feee0689ffd","observation_id":"0d9916c5-0238-4381-a44a-8f9883d21292","resolution":{"observed_at":"2026-08-11T17:39:50.876703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2018.86401","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.378028Z","title":null,"venue":null,"work_id":"4021f47e-a609-4eb1-90c0-ecd01036495c","year":2018},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.990891Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:e36f4b6dc5555f9d459644acb4bb8da2405b1da15c0f7f0b2b83607d9ec0eb0c","observation_id":"03ba1393-b6dc-4af1-825f-c94437c667e4","resolution":{"observed_at":"2026-08-11T17:39:50.388102Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.857231Z","title":null,"venue":null,"work_id":"0d2c4e11-1347-4df0-a9fb-1c25a4557786","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.995407Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:ecf508162505be5c7b9a8e769c7a8a795a75c05701dd0193ac494c156abbffcb","observation_id":"8dc34b2f-3f8b-46c6-9b58-55a661387824","resolution":{"observed_at":"2026-08-11T17:39:50.862194Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.842937Z","title":null,"venue":null,"work_id":"95f3af9f-000d-4d5b-b93d-3a61f759daca","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.999951Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:28a002f901a82f002a056075134c2dcdab61b12fa886c43a37d81a6eef3f37da","observation_id":"c4b294a7-c6f3-4703-8eeb-8c0a6a1de8c2","resolution":{"observed_at":"2026-08-11T17:39:50.847706Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.828046Z","title":null,"venue":null,"work_id":"a2ead051-5ae1-45d6-afbe-bc01734d0c61","year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.004669Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:1f97d094f26d9786ba9e18a0d1c5028a148211e92aee1ef0ba98976d1d82092b","observation_id":"de2095d3-4833-43fd-b7aa-79f7e8d99c11","resolution":{"observed_at":"2026-08-11T17:39:50.832838Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.813158Z","title":"Sugiyama, R","venue":null,"work_id":"b2cd22a3-1d93-4174-abd4-1723d2ed7db7","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.009832Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:4425dac98363309d584f3036e8051d4bd5233dff2210cc130aa9ac66c96b199a","observation_id":"887071ea-0ffc-44db-82c9-d7a5b72c05db","resolution":{"observed_at":"2026-08-11T17:39:50.817891Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.797600Z","title":"Tarek, H","venue":null,"work_id":"641353d6-c6f6-4018-96bc-fda776c37f9c","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.014811Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:45f889abfa158c2b8b0e8c10a1f9197cd17e51ea5b663a8cdbd7057f79f68304","observation_id":"cce47156-fc7f-4a4c-85b2-53e245f53431","resolution":{"observed_at":"2026-08-11T17:39:50.802478Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.781381Z","title":"Trippel, K","venue":null,"work_id":"1df1154f-c0ad-4150-a7c3-d855e354ca29","year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.019917Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:2335df99d4e9c0ba8b4bbc96137b15923815e5fae9068e37f88097f645d05d45","observation_id":"5c5a7df6-2594-4671-a62b-943c70228e61","resolution":{"observed_at":"2026-08-11T17:39:50.786649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.765807Z","title":null,"venue":null,"work_id":"007eeb7b-ab02-4636-a019-e3f9e69aac48","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.024727Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:31070366a6fc35f99b5e4118c81a2a25620cd55159b97925c96ae2ddb4f62762","observation_id":"8baba05d-d0ae-4479-b563-60eb0a9c64fc","resolution":{"observed_at":"2026-08-11T17:39:50.770626Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.09941","last_updated":"2022-01-24T20:29:23Z","snapshot_observed_at":"2026-08-13T11:12:51.026684Z","submitted_at":"2022-01-24T20:29:23Z","title":"TheHuzz: Instruction Fuzzing of Processors Using Golden-Reference Models for Finding Software-Exploitable Vulnerabilities","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2201.09941","snapshot_observed_at":"2026-08-11T17:39:50.029270Z","title":"Tyagi, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.029270Z"},"links":{"cited_paper":"/paper/2201.09941","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:48e9543e4e4740d6e1e35471fa6669900f17109885437c406d37aa18872a78d4","observation_id":"ee57f135-2b2a-41bf-a23e-0f97231bafc0","resolution":{"observed_at":"2026-08-11T17:39:50.029270Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.750511Z","title":null,"venue":null,"work_id":"de7d8e4f-0163-40a0-b768-707758ac4217","year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.034225Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:7559a3ab82497a5213b1779d91a7032bdbb715df5b44342c805a5090397ef9b6","observation_id":"445279e7-e0d7-4dd7-8a31-0618a1467a7e","resolution":{"observed_at":"2026-08-11T17:39:50.755286Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.732635Z","title":"Zaruba and L","venue":null,"work_id":"69c286bc-29e8-4950-813b-6e57a10285e7","year":2019},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.038964Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:510dd9fc6d29a316b117a55115cac232dc56265cf1a1cb7f4ab02578d5bc177c","observation_id":"7287e7f5-b368-4ef5-8371-83d0e44fa64e","resolution":{"observed_at":"2026-08-11T17:39:50.738127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.716943Z","title":"Zhang, C","venue":null,"work_id":"1e332da6-d870-45a0-8de4-c7b3bb934f3a","year":2018},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.043916Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:4e4db75ea2b2ae8899ca661902f7139a3ee496622dc770410a94633bc9f2065f","observation_id":"b73f831d-cf9e-436f-8330-fa9324a7c934","resolution":{"observed_at":"2026-08-11T17:39:50.721881Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.701377Z","title":"Zhang, N","venue":null,"work_id":"a0ddb40e-3611-4d43-861a-cf53893aa377","year":2017},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.049207Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:dbb1e5b049cc3e335e288a1416e2c73b97c922cc98131c582acb107dd461a7f7","observation_id":"1b4d19c8-a014-4f9d-85d6-cce685c4f3eb","resolution":{"observed_at":"2026-08-11T17:39:50.706348Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.683839Z","title":"Zhang and C","venue":null,"work_id":"55252ac3-deec-4ce4-99af-1c9fbb6c3b93","year":2020},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.053861Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:e18bf543e0b2a5e4c417f7a35a07d57b96c3e128a13484bab53d40388053550c","observation_id":"a6862add-b02c-4607-b39c-b26059604371","resolution":{"observed_at":"2026-08-11T17:39:50.688775Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.04535","last_updated":"2025-03-25T16:32:46Z","snapshot_observed_at":"2026-08-13T05:55:11.484513Z","submitted_at":"2023-10-06T19:02:04Z","title":"LLM4DV: Using Large Language Models for Hardware Test Stimuli Generation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.04535","snapshot_observed_at":"2026-08-11T17:39:50.058348Z","title":"Zhang, G","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:50.058348Z"},"links":{"cited_paper":"/paper/2310.04535","citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:d79143a30b06d9d1debcc3239965736283b729214f43eb5409aec953a7d3e9ea","observation_id":"728abd0e-68fb-4128-bc25-009cb8baea82","resolution":{"observed_at":"2026-08-11T17:39:50.058348Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-11T17:39:50.993988Z","title":null,"venue":null,"work_id":"01cf010f-0b1e-42b2-9c3c-914fd7a2caff","year":null},"citing_paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-11T17:39:49.937226Z"},"links":{"citing_paper":"/paper/2412.08769"},"observation_digest":"sha256:7c630a67ea9b0acc51f575e8d22da1eee6fc41a0a8cf80754379a208c31d9f58","observation_id":"8cc53c86-97bd-4d32-be58-67cbae13fc1c","resolution":{"observed_at":"2026-08-11T17:39:50.998735Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2412.08769","last_updated":"2024-12-16T15:52:14Z","latest_version":2,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-12T12:12:31.451265Z","submitted_at":"2024-12-11T20:42:28Z","title":"Security Properties for Open-Source Hardware Designs"},"reference_resolution":{"displayed":71,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":39,"verified_exact":2,"verified_fuzzy":28},"total_outbound_references":71},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"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."}