{"as_of":"2026-08-21T15:48:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:67937b266a61553314535cf5d15314a59f592547080e9859aab0b41e29d85fac","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-21T06:32:19.484+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:95bb83ff7d95e072f3f71843f6b871037fb2ecefc647f079cee53760688cd50a","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:ad2f9fa193b3a2690b4db258efc2e31c257b80d0d5507d8ae3c7004140c0ca68","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:001173962e33c807f515ab0125321b560be930c25cbd38dd091b4276d15b20e7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:7b91579543dc6ee27afd4307763ce8320d6f021483c1f7dc4f6a6352e84a78a9","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:5d458731caff315e6ea6eb7498ffdb6689bd0f9bf061d34fdc8d6ff57c2ddba4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:78a5c3f60fbf2e4003fc1436de9a0cc2f2be612c14c6b7b96dbadfad2ce1920f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:39b03034c8ab319e6065dd23195b878768654eaec5f5bb33100c51247614c0a3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:ef83d04d28fd839621a85bf26b369e2d3a90ca4b8d1f4fb07a38041630341886","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c3de26e10627d688b57c8880bd6461c56245bcb34b5db985407199fbc17e2e1a","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fba238e2369a9038ca75696b0cd4525bdda5549162c6106cbf756a8bd4e6e8a1","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d69a5ab7b38319e7b2cba9b959816b2816e1a38c06e05e481bfda02168ab05bd","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:6726d8c967c26a0c1f77e504a377e6ad2227e212fedb1795be4fb579a58bf424","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:53af28806fdaf4a47286c89b5e3fcead809f73156735c88eeb323f5b50f610e1","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:de38a9e92ee5ba9ede6ae7436239602ee2ce8f3d87448b900bff3c9a3c48f915","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:3426509b4ab8fb3ef41806654652622466355b5910c7e00ab2fa0689b92b95ff","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:16c93526770fe38bd64c1c08d7478eb053ec556746914ae094eeae692bc39bd3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fa7db44b409ddeee316f87ed52f214de4ba0459b4ced0abe3e0d90961c7e2708","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:f48235a79b8aa56334ba84016c55622811d3d05e1d21e80da866783e549c00fe","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:bf0ec649045ccafa8141c729489bd884c4c0a9a4feb42f5310aee735cfc433c0","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:55f53e360087ebfbc4d8617b970d64f58ecf2394534dfdf96afcacf5e9ee76d4","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:814611dfbf79d7f0a6145999d26a744e87ddf38ee5fa558fb5cd837bea2444ea","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:bc41a43013e91a0b86ac9eac2a72cd3bbb07f7b52faad9f6c785f440c675af07","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d9e313d04fb9ffc9fe65f6824460523b0d1782fa67aba096ae03e0823c56b019","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fb7e6667aa128e860bc386166dbf012db8693b6f8d7e7664e0980b4853e9921d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:b6da87735e48c53ce2cf6ab34bdcb210ba0befac082afce3b0ef6ef3eb829494","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:b6ed69b83adb85793bb7c270c820daa4fa0bbdb6351620a465c37050caa72bb1","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:30e86aaf2775311fc5f4c07255f49e94f4f9aadd9dcdc261136ea6e8539e76f0","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:cf9871ff64edceac7b49dea47f8b98f48a972e815d4ab58cbfd84b9f642ce490","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:caeffd5ed946d7888fa563401b16584bef5315891448bfe0e3bdd3179653d7dd","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d7038998179b1e0513878a04ac354aedec26ae20e8f94dd0edb04fd6e2adf260","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:89cbf5c83a6e8fc704cc464f9a8d5c1e0511dedcae7de1d6955955d0613bd70d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fd2f4783602eca650ab1817edb8f05a239fb7b2ec107c075a16c45e7d906a721","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:89d69b30dbd2384fa79c7203d0c5240506702b9ba63071f6d57c2a05c89bef2d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d277eab568957e68d2d9296fe7e99887f19fccaea65394005eefa45781f0ea6c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c1850a257e11b4b54f09806164b45baf7bf20b8aa36487eddc02905f9b81fbd1","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:00d071e830e1b7be3ec51c0fcec0810c08c4987d6c32286dd836c1e96e0a56a5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:1d75b3a6c61ff7cfc0138decc8c0d30125f08239003be9ed531f6e0d6c003222","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:374560fc62cb165eba9107700969fae7ba9b745952953149dabd47cf3a1c0629","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:3d45bfa562f8c26c9973dbc8458b7c1b6002365b5af0bb0cd3e8026a44c67baa","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:f329302f86ebc3a05d0f1000493e1bfbe91f0d154d2edf93325826d49a38240e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:1eef6c52a9713f59ae271dd6f102d369af7356ce77aa51666a2a77e9d7663b82","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:9ed48bd8dd9abb5c3ef0c6a0c0e79904bac747e0a6867e7af83dce7d7b98df03","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:70bd08c0e82f106862df64d774b79a45d693d1340aefe0a4fef95f39971f64d8","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:aef424684e085c40c69aa98e458b6e5e4e5c79668791670b3aefe6138693096e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:2359c8be66f53eff85a05117bdb7f0b38237fc746ae611c7b6ebc7aaf9267395","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a6943f64583e2976bd39c4936b160596a145b60ddb02ee5c69c12ea6daf0c582","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d3cb7194e781e305556c37b9f381f3b307632e9d24a022308ec1306b0ebb6d4d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a2921af60efdbfa51ea4182888986dbea517ef04ef69c49336b60b835e527135","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d6a4bb399c5ef7549033ea9e18d339454e1c826f6f346c70f94685c1caa5482e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:716db48c06fae87c5fa062610ae0d101731b317fb364fd6156cacb2b446a14c7","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:53bd58e7f95f7dedb48391227395d915e143904b5c51d307d59ecb8f73e9aee6","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:4419d449b5195a36394462cf27ee06b6ac975758b2d1ddf4979ffa0d4cb3627d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:9b2c6f350c1e4bc9d669b75cb5ec875c8551194a5f7e5465d0dbb7ef8a67cc24","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:f472de33e52e3abf3b33db551123d55ab5f188303f57a895662397a5446ab012","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d4eaca6ce4460bbac426fdcece4f57ea85dbd8f310c1147262c7254c9b0749a5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:48b432c65b139a03d9b06affa370a407a67f8a017cb556d85c60c80e49bd1596","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:67a0d0df31617d2044de6f56a975e477b89e2604cbd6fe1ccb2439063b2c54d2","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2509.06509."}