{"as_of":"2026-08-15T04:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a70d5c009a8429bac2b2de36db48962bf498d22e9f96269140d1f7be00a49c65","coverage":[{"denominator":57,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":57,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T23:35:12.937586Z","state":"measured"},{"denominator":57,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":57,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2509.06509/citation-record","integrity":"/paper/2509.06509/integrity","json":"/paper/2509.06509/citation-record.json","paper":"/paper/2509.06509"},"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-04T23:35:13.464273Z","title":null,"venue":null,"work_id":"5c2feb12-06d2-4b21-b2a3-59c8f62c8755","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.750154Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:68906b071cc4575c0342456a3be6d38e17bfa242d2cea89fa29cbbf268355238","observation_id":"56bdde51-7839-4065-a44b-0ed6a9f466f8","resolution":{"observed_at":"2026-08-04T23:35:13.467643Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.455244Z","title":null,"venue":null,"work_id":"bf02bad5-859a-4ef0-96bd-971052e283a5","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.753677Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:ebd5c29e3adc3cd4c5d748b6022c9f70c5df9d693f8255b3ef9a84e4b655352c","observation_id":"8f0e82ad-0ffe-4cc9-a82b-2b7bce824aab","resolution":{"observed_at":"2026-08-04T23:35:13.458787Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.446696Z","title":null,"venue":null,"work_id":"abab7050-9bbd-496f-8899-f7a4af471d0a","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.758043Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:327cd419196a1987cd994c4394317ebed845a36718acd6e8ce3125693a8bc785","observation_id":"b24e0dca-aba9-4bbc-864f-2e11b5ceef74","resolution":{"observed_at":"2026-08-04T23:35:13.449770Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.438160Z","title":null,"venue":null,"work_id":"15d71cde-8322-4095-8eac-896581d3d5eb","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.761754Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:578622aa7eeaa3e02a22ece79f833625b9316f824efc5f01a095d1bcd15af3cb","observation_id":"d9153862-7b4a-410f-85fe-10b83a0157bc","resolution":{"observed_at":"2026-08-04T23:35:13.441399Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.429826Z","title":null,"venue":null,"work_id":"80d12cee-7e84-4337-88fa-f0710003cbb4","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.765675Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:20480ecba0cc6ea5dafe76de3e11a8f331d9ddcc2d7fd13c7d790520e292eeeb","observation_id":"33af4093-857f-47c6-b652-247963b614cf","resolution":{"observed_at":"2026-08-04T23:35:13.432805Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.421731Z","title":null,"venue":null,"work_id":"85c1a1d7-61d7-45d1-b6f5-55f87d619205","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.769800Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:84e15344a0d330d6ee073d98e52a4e1a811c59e67fe1baa4f8a614e8867eb4e2","observation_id":"a88125d7-423a-4fc1-b27f-79e33d4240ef","resolution":{"observed_at":"2026-08-04T23:35:13.424737Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.413071Z","title":null,"venue":null,"work_id":"83665c58-e870-40ec-9077-b2610039523b","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.773324Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:2782fa6733f3f8ad162cb3b8e26a48b030ef4b89aa86826bfc837ef0b8cae559","observation_id":"521b2c2d-222b-49a7-ad57-fad26c4c8c74","resolution":{"observed_at":"2026-08-04T23:35:13.416658Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.403649Z","title":"d.].LeaSynimplementation","venue":null,"work_id":"89087292-068f-48eb-98ec-d75509f5a6a7","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.776389Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:69eb338302a95a5ca455da23c5a78c0536f08372382217a390af5393da88439c","observation_id":"a72a3efb-77a6-467a-ab19-f3dcb785e6f9","resolution":{"observed_at":"2026-08-04T23:35:13.407012Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.394840Z","title":null,"venue":null,"work_id":"149c7589-7a46-4ded-b1d2-066a47a0883a","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.780467Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:195b783cc2ed184ab8edcdf1efb9e08892d75c132f029028bf82a8eabde3be3d","observation_id":"a22a8f8f-6612-4575-af67-b48a2906d28d","resolution":{"observed_at":"2026-08-04T23:35:13.398339Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.385328Z","title":null,"venue":null,"work_id":"89ed1bc0-2e66-43a5-8a3d-c5b592d92ba2","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.783877Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:1973157845b6f84f4234ded21bfc08b6fe669c47e7f57584f50cf59e3fbaf9a2","observation_id":"66662bac-014e-417f-b856-7ae6015a8d21","resolution":{"observed_at":"2026-08-04T23:35:13.388856Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.376626Z","title":null,"venue":null,"work_id":"3eb1013c-b914-43af-a0c2-b6ca7f18cbb4","year":2007},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.786950Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:5b1f567b617bd98cb63e8b7224ade0c8a793496f7faf7d690ec5f8216fa6237c","observation_id":"e72f6af3-b3ea-4875-8757-4e0739f00ced","resolution":{"observed_at":"2026-08-04T23:35:13.379890Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.368222Z","title":null,"venue":null,"work_id":"be32703d-5136-4c4e-b2e4-5ff2d76b20ed","year":2019},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.790441Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:73ef857c388093d3fc02707cbb8eaf83e84095d3c9e682dc464ad734e7784479","observation_id":"07cb402c-1277-4ac5-bf61-38ebe77cc278","resolution":{"observed_at":"2026-08-04T23:35:13.371233Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.359480Z","title":null,"venue":null,"work_id":"a2b15957-fc68-4066-a8e3-22f89610d85f","year":2016},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.794163Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:ea87b7b33347d2b0fa61d8773fbac56075c58f5f0e5cd73dd6f565d1585bbc8d","observation_id":"2fbc4d0b-842b-4420-948c-68594dfee937","resolution":{"observed_at":"2026-08-04T23:35:13.362410Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.351229Z","title":null,"venue":null,"work_id":"5f480d6f-b629-468e-8730-d6433048a8f3","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.798292Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:6ada1adc77c88afaa0c9d8a7ca39e2ad14305eb5882273f8abd1cc5d41e93684","observation_id":"f4f9d6bc-d72d-4d4d-9465-7d6af54fb8da","resolution":{"observed_at":"2026-08-04T23:35:13.354341Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.342577Z","title":"D’Argenio, and Tamara Rezk","venue":null,"work_id":"f2721920-679a-4aca-b4f9-0ae5ab2bdaf7","year":2011},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.802087Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:fd4dcd7c092acab62a114131f43f02c4b0f3789acea768792c5b03f2d5ab716b","observation_id":"7ecd1bda-0224-4cea-a381-35375a7cce9e","resolution":{"observed_at":"2026-08-04T23:35:13.345614Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.332706Z","title":null,"venue":null,"work_id":"7c356f25-31bd-4e5f-af45-7991d1e14c5a","year":2022},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.805171Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:f97f5ecbc08dc83fb28959543aa229b40caa5e06fa28ab1d0192b2227881b103","observation_id":"ce177f1d-26bd-46cf-aa77-b66eea719294","resolution":{"observed_at":"2026-08-04T23:35:13.336720Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.323244Z","title":null,"venue":null,"work_id":"df8995e6-66f1-437f-b829-d629b37c5e6e","year":2019},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.808540Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:20ab2798aafd5a6a2949a96023739093220a97826f93062d164cde44c0222bd5","observation_id":"e75b2655-3594-4c3c-8215-127c30bb0d18","resolution":{"observed_at":"2026-08-04T23:35:13.327111Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.313671Z","title":null,"venue":null,"work_id":"eb75f1e0-3550-417d-812a-0ae03d190118","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.811326Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:fc99214d8f400190f384e119b986e45c6ce133a9ff6a0a90b1eddf8f2a63d03e","observation_id":"e3e1a5fa-5a0d-48d9-90e6-0aac2208f6d5","resolution":{"observed_at":"2026-08-04T23:35:13.317102Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.304884Z","title":null,"venue":null,"work_id":"4f3162a3-977b-422a-9586-914bc70977f8","year":2020},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.814660Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:ec7a7b40267b70a18e7c28acec97acadd281bfe9f8d3ca87e5b0d4df59a00024","observation_id":"b43f45cd-bdd5-46c0-8063-0e52f98693cd","resolution":{"observed_at":"2026-08-04T23:35:13.308109Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.295567Z","title":null,"venue":null,"work_id":"50d89c01-793e-4d1e-bed5-4beee78fe61b","year":2025},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.817426Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:2ea710414dae510f72ed6ab03aad371f7de1be3462671717101105cc16c1d931","observation_id":"4aacecae-0142-4522-8723-636cdd48b3a8","resolution":{"observed_at":"2026-08-04T23:35:13.298823Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.286513Z","title":"Fletcher","venue":null,"work_id":"4af1aa4e-cc38-4a6a-bb49-381813550061","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.820483Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:68e90119196d59b640c6bcc62c515cc62e21dec6d4f158a02d0ae86278caa6ab","observation_id":"8d32de1c-7641-4356-b9ce-dcfbd99176b0","resolution":{"observed_at":"2026-08-04T23:35:13.289843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.277307Z","title":"Fletcher","venue":null,"work_id":"813d6289-e308-47c0-a969-195f23f6fb2c","year":2025},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.823900Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:711006be240e8cddf02ebeae858efb178f8035b58840f048319bfac586ffcf2d","observation_id":"57a3d9e3-9612-4779-8bff-fa49fed385a0","resolution":{"observed_at":"2026-08-04T23:35:13.280767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.268728Z","title":null,"venue":null,"work_id":"54828de6-02dd-4174-b469-2e2349c7652b","year":2015},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.826889Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:49425497866b2814bbc90635c629edab58ae133c0214a2f912fa22a8e080a4ea","observation_id":"ddd55c7b-47ac-4bd4-87dc-2ef98b7bcb2c","resolution":{"observed_at":"2026-08-04T23:35:13.271863Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.259477Z","title":null,"venue":null,"work_id":"54c8d80f-aac0-41ad-b17e-f857854d5e30","year":2022},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.829627Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:38a528745a771ef30a486767b92f66a1af231ac40f70bedd3be6e7061086e705","observation_id":"cfe7c2db-ccec-4db5-bc29-bc9bdeb145c0","resolution":{"observed_at":"2026-08-04T23:35:13.262564Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.251314Z","title":null,"venue":null,"work_id":"c1b6fd32-cb0c-4bda-a145-7c8d28d4789d","year":2025},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.832573Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:fa98a990a78f6120a9d5a128b0bb12f633fbaffd8a613284cbfd8cd36bc84300","observation_id":"c3326bbd-f0c0-4a0b-aade-5e78fe462962","resolution":{"observed_at":"2026-08-04T23:35:13.254177Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.242616Z","title":"Alameldeen, Marco Guarnieri, Mark Silberstein, Oleksii Oleksenko, and Gu- ruraj Saileshwar","venue":null,"work_id":"2ece178f-ad42-4b3e-a140-7e0ae1f501d9","year":2025},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.835991Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:1d69ef8723de8d0ed600a746b976c82b1ae8b3111faee1a4b8b03c3134917e47","observation_id":"61c776f2-bb59-407b-8289-35d172903709","resolution":{"observed_at":"2026-08-04T23:35:13.246257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.234495Z","title":null,"venue":null,"work_id":"8507fb52-1ddc-4050-8456-45ce28755a8f","year":2023},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.838939Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:56600d2236ecb8b075ecc1776b85cfdcb825682af585e65e850d10a72d1c9867","observation_id":"95daf645-0742-40f8-8347-e7986b95e618","resolution":{"observed_at":"2026-08-04T23:35:13.237609Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.226201Z","title":null,"venue":null,"work_id":"227b632a-2066-4293-a63f-c846968c038a","year":2021},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.841783Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:089891ca557f9d2e38963e72a252df236d0d34eee4736f7db372e4f1ca42b302","observation_id":"8c05bfaf-bc1b-4dbd-9eaa-1c6e244f1118","resolution":{"observed_at":"2026-08-04T23:35:13.229343Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.217303Z","title":"Morales, Jan Reineke, and Andrés Sánchez","venue":null,"work_id":"b22a81eb-41a2-4f80-8384-07ea31eedc6d","year":2020},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.845614Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:67fec53a19e0650bee6a5310bb0eb5f80af0c9a7f7f3fce77fea3e32061ed89b","observation_id":"6ea08ceb-0b46-4c2d-914c-80dc1f6f8b08","resolution":{"observed_at":"2026-08-04T23:35:13.220568Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.208688Z","title":null,"venue":null,"work_id":"c42762d1-48a5-4a91-9a5c-b17135c34860","year":2021},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.848510Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:f53f00ba70bb24d4d0b7ffd5bf94ee2de6b246344edd8f70cec23abf07fe5428","observation_id":"28fdf0ad-d7bb-44d2-a10b-70b7fb0bce58","resolution":{"observed_at":"2026-08-04T23:35:13.211773Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.200334Z","title":null,"venue":null,"work_id":"784cf53c-0819-402e-a434-b751304cb6cc","year":2023},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.851377Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:31ce14eace1bb0dd54670cf32bed141604910227c1f52d3d10e2047061802342","observation_id":"5bae8dbf-f44e-4ea5-9d94-63e114a336c0","resolution":{"observed_at":"2026-08-04T23:35:13.203605Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.191643Z","title":"Mulligan, Nikos Nikoleris, Gustavo Petri, and Caroline Trippel","venue":null,"work_id":"f995b7ac-a25a-4ebb-abff-4fc97f8c42e9","year":2021},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.854374Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:9f56c9bc43a5cf5ac3f2c48f2122aaa0d662919fb63f1a86c55e1de3fa504b9d","observation_id":"9eb59c7c-600f-4393-8dc8-ce658775cf2b","resolution":{"observed_at":"2026-08-04T23:35:13.194962Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.182670Z","title":"Mulligan, Gustavo Petri, Christopher W","venue":null,"work_id":"6672e2c2-c15e-4b56-98ea-c80dde302847","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.857732Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:278e7e3ab03c859c0984b768c4ff50102dc400a04b246c2ce7629601f96b698e","observation_id":"53b057d1-2f8d-46af-9a8c-7ae675fd18c8","resolution":{"observed_at":"2026-08-04T23:35:13.186091Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.174231Z","title":null,"venue":null,"work_id":"d477ac17-8e21-4672-a949-7a340308b0e4","year":2022},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.861146Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:fe04088acc092fced744224a45a4ce25504287f0ef96432af7d90e4c31702e2b","observation_id":"5f98c535-56f2-4f91-a0a7-5439525c8862","resolution":{"observed_at":"2026-08-04T23:35:13.177539Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.165999Z","title":"Kocher, J","venue":null,"work_id":"76d39581-e307-45fa-b601-7ececaa9674e","year":2019},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.864729Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:5894f3c67cf934f2e84599c567c19cfd7b2a4567f88c6e79f63133a88a5b3198","observation_id":"5ea4be96-b5c8-4c91-90aa-a57469a2d9e1","resolution":{"observed_at":"2026-08-04T23:35:13.169195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.158205Z","title":null,"venue":null,"work_id":"9673389d-0996-457a-b202-9bc5c9af0762","year":2015},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.867593Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:8fb439225a77638b5c7fc80eeb24319ae9fe23b1d72c7b2f0eb156fd30428329","observation_id":"abbd8f88-fa8d-45b8-a6fe-358e52d795c0","resolution":{"observed_at":"2026-08-04T23:35:13.161195Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.149479Z","title":null,"venue":null,"work_id":"daf8cd02-1258-40d5-807e-2d8911576b75","year":2018},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.871306Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:b422685f874562f372ed2abd0428b07449d2148d456cc3cb09d6d3a6e103f29d","observation_id":"afa86aa5-6670-4484-a963-d6a296380ae3","resolution":{"observed_at":"2026-08-04T23:35:13.152325Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.141230Z","title":null,"venue":null,"work_id":"7bfd7ac3-6070-407b-81de-f67c560a8bec","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.875165Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:37f283ec24a5658d97406590ff700cda99fa292f570c25d44b7e4b8be452dfc7","observation_id":"85126d52-6f5d-48ad-ab1d-17df2075065f","resolution":{"observed_at":"2026-08-04T23:35:13.144480Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.132858Z","title":null,"venue":null,"work_id":"140016b4-09af-4149-90df-95630e37bbf6","year":2020},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.878242Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:4f54668064c2da5e6fae540543c66e0dc56f0d8a3746be1641f76608e9ddd3b4","observation_id":"4c1ffdbf-1ad4-4968-987c-9ae3205aa3ea","resolution":{"observed_at":"2026-08-04T23:35:13.135725Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.124520Z","title":null,"venue":null,"work_id":"9d3333e2-5b19-4cad-ae7a-f3d517e7de92","year":2022},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.881274Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:8c065cad523d5a6ae153eb1540921ecfdae83c2a1bee6eb4156d84c46f0a657c","observation_id":"ff48acfc-1810-4e07-83bf-24ef575dce35","resolution":{"observed_at":"2026-08-04T23:35:13.127453Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.116708Z","title":null,"venue":null,"work_id":"fe6772a4-1de3-49ea-b2cc-73a75de46a27","year":2023},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.884438Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:6a1b60e5b963a2f60e21d974d58f1f1cb51025b356d3abb2bad6352c8ecbabc8","observation_id":"e2b9168e-eef5-4afe-b567-bc78adb0d961","resolution":{"observed_at":"2026-08-04T23:35:13.119485Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.108158Z","title":null,"venue":null,"work_id":"5bffa5ae-b476-41b5-b8e7-58f800f29258","year":2021},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.887282Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:070638274fa9468c4463c96b8d28b24fb59e7bfb1ef1d68377699f3dbd2f3468","observation_id":"7bc0d062-41a0-4d60-945f-7dc36a4097c7","resolution":{"observed_at":"2026-08-04T23:35:13.111553Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.099846Z","title":null,"venue":null,"work_id":"c255a39a-7a15-49cf-9e00-de8c9d911ca4","year":2023},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.890134Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:ce1e3c8ba309c4ec4acb5ea05d833505d246cefdaa48379d37bedfd138c5a6b4","observation_id":"56a40d50-e11e-4f58-a246-5b92106810f6","resolution":{"observed_at":"2026-08-04T23:35:13.102876Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.091433Z","title":null,"venue":null,"work_id":"3b16ad16-efcf-4f52-a3d8-4a4860c0c6bd","year":2009},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.894040Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:e5c6ae42ee9194d1c56bcf389cfe1c94bcfd37f2c4abea369693e7d34db7def8","observation_id":"8e56ceb7-db4b-4271-ad00-d4142fa99eae","resolution":{"observed_at":"2026-08-04T23:35:13.094514Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.082593Z","title":null,"venue":null,"work_id":"caaef07b-694b-47e6-b099-dd60fa11d5b8","year":2019},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.897495Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:160349e65d53fb81cf37335fc8259ffb94053ab973faf54ef67ea5d197c18f04","observation_id":"10dce400-8343-4aa6-bc4f-1f2017c24d71","resolution":{"observed_at":"2026-08-04T23:35:13.085755Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1806.07480","last_updated":"2018-06-19T21:59:59Z","snapshot_observed_at":"2026-08-14T19:01:44.502623Z","submitted_at":"2018-06-19T21:59:59Z","title":"LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels","version":1},"cited_work":{"arxiv_id":"1806.07480","doi":null,"metadata_source":"pith","pith_arxiv_id":"1806.07480","snapshot_observed_at":"2026-08-04T23:35:12.965753Z","title":"LazyFP: Leaking FPU Register State using Microarchitectural Side-Channels","venue":"cs.OS","work_id":"cdce6483-eb26-41b8-8d2f-a1f490853f1f","year":2018},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.900639Z"},"links":{"cited_paper":"/paper/1806.07480","citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:6251c47bcfa5029f9deb67ed676575181c99c0d1126c84c910bee6f4cd278934","observation_id":"191710b9-c950-4f86-8b5d-4e809925b9d5","resolution":{"observed_at":"2026-08-04T23:35:12.972071Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.073619Z","title":null,"venue":null,"work_id":"9d1f4229-4682-4c04-b11f-1c3e1eb7e63d","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.904265Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:a6be3646a84ae522a8040fe132e15ed6262fe47e2da098e388ac9e5f8f391c2b","observation_id":"3bb7e150-b340-4438-aed0-e9fbcaae3f01","resolution":{"observed_at":"2026-08-04T23:35:13.077145Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.055632Z","title":null,"venue":null,"work_id":"20087257-0b9c-4fe7-bad1-9b98458e408b","year":2003},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.910787Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:71ad82e3af72829d94ab3d99b8accfd0263f738f602c6383d1b3e2fd27792871","observation_id":"d0e58ca3-ff79-4bb0-8163-df68b5f050b1","resolution":{"observed_at":"2026-08-04T23:35:13.058892Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.047343Z","title":null,"venue":null,"work_id":"2cb348af-a84a-4325-ad86-6d6f9038b5dc","year":2019},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.913465Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:9275140ce82560e841854b79e63da0f3e65d0ed7dc24164827f87037a4b231b7","observation_id":"7d050719-0777-439f-88a9-41f560c7d3a1","resolution":{"observed_at":"2026-08-04T23:35:13.050306Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.038445Z","title":null,"venue":null,"work_id":"16921c4c-aa8c-414a-abc0-5910b489f8f8","year":2023},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.916531Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:efb929aaa63cbbb3b92152fecd401a7564e44510964584ed46c115bccfc9b19d","observation_id":"73238854-260f-4517-8ced-be1925e60750","resolution":{"observed_at":"2026-08-04T23:35:13.041827Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.029730Z","title":"Patterson, and Krste Asanović","venue":null,"work_id":"927e9ecc-e92d-43b9-9fb6-e591f7c05cb8","year":2014},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.919588Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:de115854db7613a6cec77210e120a8773dec299fc4f491f80454df5acb9f0759","observation_id":"032f081d-bdfa-4dc0-a612-5a65d2153548","resolution":{"observed_at":"2026-08-04T23:35:13.032902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.019389Z","title":null,"venue":null,"work_id":"aaaf3b3e-61b0-420f-847b-b3c719ede033","year":2021},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.923677Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:a9e6b76fcf0c99b99e1823918ee67f33757ca5167b92e65dc76f666a512b5273","observation_id":"8719e91e-8476-4a2b-95ec-d6083a3b7b12","resolution":{"observed_at":"2026-08-04T23:35:13.022677Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.009876Z","title":null,"venue":null,"work_id":"5dfaadc5-5ed3-40cd-b0eb-b094487f50d4","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.926650Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:89fba88defb7b911d38fa529d16646d54a3c5d69dc71aaa7499eea9d66fdd4a7","observation_id":"00aa8644-b5f7-478a-b3c7-18e2536f590e","resolution":{"observed_at":"2026-08-04T23:35:13.013046Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:12.999544Z","title":null,"venue":null,"work_id":"c3d1be39-7b4e-485d-984c-b7bcc4cb9902","year":2024},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.930264Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:6b7b08c20d82ec29ebd9b40ad8d06a8e0e9284031b67feedf0d86478c4649050","observation_id":"b2ed70fb-4632-429e-a27c-333e30b44801","resolution":{"observed_at":"2026-08-04T23:35:13.002790Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:12.988722Z","title":null,"venue":null,"work_id":"e709ed12-cb20-4fd7-a143-c54cc50aa64b","year":2014},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.933854Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:c492eedc9411a931bf966fbc5dbed9f8f2f72be21d3fedad52a5c87631a726bd","observation_id":"47d2b5dc-4c3a-4829-9b00-1dc1c17aa015","resolution":{"observed_at":"2026-08-04T23:35:12.992282Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:12.979024Z","title":null,"venue":null,"work_id":"8a52f6ba-f351-4c28-b462-9c500e43abe3","year":2017},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.937586Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:a8e4c416936c4570464ce4fd51cb0a44a22f6d0bf28235e300e37896aeb49ed7","observation_id":"47d43795-db70-450b-8905-f1fb809e3988","resolution":{"observed_at":"2026-08-04T23:35:12.982403Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-04T23:35:13.064687Z","title":"In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","venue":null,"work_id":"2f537a83-aaac-4d2f-8ac0-5d381f70ce63","year":null},"citing_paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T23:35:12.907256Z"},"links":{"citing_paper":"/paper/2509.06509"},"observation_digest":"sha256:f1a468ded51bf58d402357e5158f276689eb739e8bb4ef0c52b971bc050a3e03","observation_id":"831f1b61-a3ef-4f04-8a1b-1915976f0663","resolution":{"observed_at":"2026-08-04T23:35:13.068412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2509.06509","last_updated":"2025-09-08T10:14:52Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-04T23:35:11.529760Z","submitted_at":"2025-09-08T10:14:52Z","title":"Synthesis of Sound and Precise Leakage Contracts for Open-Source RISC-V Processors"},"reference_resolution":{"displayed":57,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":45,"verified_exact":1,"verified_fuzzy":11},"total_outbound_references":57},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2509.06509."}