{"as_of":"2026-08-11T14:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:897573744cfac5ce095f6bd65c6f575eec30943d387113ad6f68252a1e272214","coverage":[{"denominator":64,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":64,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T19:15:44.056045Z","state":"measured"},{"denominator":64,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":64,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2501.10560/citation-record","integrity":"/paper/2501.10560/integrity","json":"/paper/2501.10560/citation-record.json","paper":"/paper/2501.10560"},"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-10T19:15:45.203359Z","title":"https://www.kaggle","venue":null,"work_id":"fc4fc69a-9020-447a-8bb4-b7edcda614d8","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.745155Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:de7e6c66770aa195496747deb13ed02dd3e2cb77b82c42fbc18a2c7075378428","observation_id":"5adc4a92-8ed9-4d46-8fd0-4b55cf6f98d5","resolution":{"observed_at":"2026-08-10T19:15:45.209448Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.186865Z","title":"https://www.kaggle.com/ code/donottalk/autoimmune-symptom","venue":null,"work_id":"67d7ca94-13e4-4836-9a5a-76b7cc455e5a","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.750595Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:5c780387e8fd4f29929e8c635136c68d014bcf14a92fb6f21b4171001eb59c11","observation_id":"6b3647ed-c942-453b-b959-7d62d6512313","resolution":{"observed_at":"2026-08-10T19:15:45.192160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.169178Z","title":"https://www.kaggle.com/datasets/flaredown/ flaredown-autoimmune-symptom-tracker/data","venue":null,"work_id":"4c7636f7-7323-420f-8dd0-325469eb273b","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.755869Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:f28e4fdb2ab1fae65c5f665a9be5bd97c20d2ebe6028d30507aa6da5fe4ebfcb","observation_id":"d24c8a86-717d-47cc-b2f6-8c8988a77d48","resolution":{"observed_at":"2026-08-10T19:15:45.175495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.152836Z","title":"https://www.kaggle.com/code/dzmitryashkinadze/ flaredown-autoimmune-symptoms-prediction","venue":null,"work_id":"6f44a8a0-957a-46cd-912c-00560d61a1ae","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.760612Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:fdb0889b69681da5f8aa78305fd8726e0c7ffb04ff4dd57a10e578fade0dea3e","observation_id":"5f741657-757a-4109-8dfa-9f7bec6aafbd","resolution":{"observed_at":"2026-08-10T19:15:45.158294Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.136143Z","title":"https://www.kaggle.com/code/ultron2412/ flaredown-data-exploratory-analysis#Symptoms","venue":null,"work_id":"1195cba3-cf62-4453-ae16-25d23e9f9605","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.766059Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:944f0b9b2183c4e5b9352f3bdb7464b15b061e3fa3ae1bdf95aa185e69baf922","observation_id":"191eab0e-295d-4a0b-adaa-51a5e2bcad59","resolution":{"observed_at":"2026-08-10T19:15:45.141778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.117865Z","title":"https: //github.com/electrum/tpch-dbgen","venue":null,"work_id":"67b2f5ce-6d6f-476f-8a7a-53d7d08b654a","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.771028Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:305f9aa0d8ecf8aa2bf51205e320754d4df23b7b4d77c74f885072b2a13d07b1","observation_id":"21992fdd-eff2-4bc9-8055-f8b62b07f394","resolution":{"observed_at":"2026-08-10T19:15:45.124041Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.098553Z","title":"https://www.kaggle","venue":null,"work_id":"33177401-b41b-4125-9192-f8b6fcd00d28","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.776619Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:6fc1f2e7cbfe0d7a0700bbba633fbead98bf46dc03db10982303905b0c16439e","observation_id":"c3ab12a1-54ae-4663-975e-c1ac038b6e78","resolution":{"observed_at":"2026-08-10T19:15:45.104319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.082038Z","title":"https://www.kaggle.com/ datasets/prasad22/healthcare-dataset/data","venue":null,"work_id":"24923a53-493a-40fe-a49a-1fd9cf91970c","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.781405Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:70f7f95689c65c0e7cc4ae930d7c40e15b21c5520a2ee1cd24500bbdbdd8494e","observation_id":"1da71bb4-0869-4820-81be-f1342b6d432b","resolution":{"observed_at":"2026-08-10T19:15:45.087613Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.065856Z","title":"https://pola.rs","venue":null,"work_id":"5bac2493-c507-4050-bf6e-80755bb3c843","year":2023},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.786080Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:dfd13b4014c09b0daccf6bff27b48fc98746f63f11b28593530455da13331096","observation_id":"a1b93190-ce8e-4590-9905-4a96425e124f","resolution":{"observed_at":"2026-08-10T19:15:45.070914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.050051Z","title":"https://www.tpc.org/tpch","venue":null,"work_id":"72dfc619-23d6-491f-8098-7f66f846fdb5","year":2023},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.790825Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:7b34a741477301ff5ecbec8338199bdc6d8fb74db09769d7044146ac6e5c24ae","observation_id":"ee45abb8-46db-47f6-8996-cf6e2fa881b6","resolution":{"observed_at":"2026-08-10T19:15:45.055038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.033547Z","title":"https://www.kaggle.com/code/muhammadfurqan0/ unlocking-healthcare-trends-data-analysis","venue":null,"work_id":"2128996e-42be-4823-b36d-abc67d4bb086","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.796271Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:5c8623fca86548f96088f2f6486d586093ba10c788e66ae50e52197ed1e782b4","observation_id":"b82d04cf-6fcf-4a44-b510-6656661ac2ff","resolution":{"observed_at":"2026-08-10T19:15:45.038819Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:45.016839Z","title":"Expressive declassification policies and modular static enforcement","venue":null,"work_id":"ea95a170-48d8-435d-b905-9d06a163db5a","year":2008},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.801212Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:3608da7b63b4eec9fcc3627acce161368d1603338dcd962c27a4bd499003d4f1","observation_id":"3ec22ba0-9c89-44f1-8bb2-ed09d5581dad","resolution":{"observed_at":"2026-08-10T19:15:45.022499Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.999033Z","title":"Contextual and granular policy enforcement in database-backed appli- cations","venue":null,"work_id":"5109be9a-465b-40f3-8d48-01355836ed9f","year":2020},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.806253Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:0d7510f9ba2bcabafc7cbd834a60bc4687ec1e08d4a1dfc7f801db2bf75f1aee","observation_id":"c4d6dc3e-2fd1-47ba-8375-f257f1080980","resolution":{"observed_at":"2026-08-10T19:15:45.005094Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.981382Z","title":"Disclosure avoidance for the 2020 census: An introduction, 2021","venue":null,"work_id":"0f504118-9545-4357-ab09-18a62620af65","year":2020},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.810915Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:c9077510854027f309e0189e8addddb5b909d9fd0009d182b3412d3da19ce6f3","observation_id":"e7fb21a3-9270-4bfd-8ec1-ea6af1ddd804","resolution":{"observed_at":"2026-08-10T19:15:44.987314Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.963693Z","title":"Nonmalleable in- formation flow control","venue":null,"work_id":"ab4d9b5c-4afa-4b1f-affd-e8c7634557e6","year":2017},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.815577Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:eacd5ba19b7e0b20861a0ee25af8bc129c1734b4c6b5daecbb16275565785acb","observation_id":"0a10d2aa-0c3c-44cb-80a4-155458c0d537","resolution":{"observed_at":"2026-08-10T19:15:44.968997Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.946949Z","title":"Intel tdx demystified: A top-down approach","venue":null,"work_id":"99413dc8-6c39-48ad-95de-934bb768c8c9","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.820400Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:dc83037922d83a2b64c6b1bea04f8b734d93bd921aa12e68e9224feac735b60b","observation_id":"c5e808e5-625d-44df-844c-20023375cd8c","resolution":{"observed_at":"2026-08-10T19:15:44.952192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.931115Z","title":"Static checking of dynamically − varying security policies in database −backed applications","venue":null,"work_id":"6d075b32-d6dc-4e90-a29e-d7a3aaae91ca","year":2010},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.825342Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:a0ddb0b7ff6d0c4c8d775733936176c8823574c11695baa897dfcb7a2d2ce19a","observation_id":"dd62f634-25aa-46c2-b484-7a602f578e7b","resolution":{"observed_at":"2026-08-10T19:15:44.936249Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.914449Z","title":"Myers, Xin Qi, K","venue":null,"work_id":"c5bc9b39-364f-4aef-a2f4-ab8fa564ba6f","year":2007},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.829972Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:bc8061ec6a7eee8227ede8c3c1819ccf9b050276962632c0bdf8faec2276211d","observation_id":"a85f4458-a09b-47b2-8f0f-2bfcb81dd3ab","resolution":{"observed_at":"2026-08-10T19:15:44.919646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.898563Z","title":"Security policies for downgrad- ing","venue":null,"work_id":"4a1c0470-0049-4b3f-9ec6-43799f995f34","year":2004},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.835054Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:73c08fcf93201eff3c084da71f8c1bac9d189fa3be2576239ef63b1815d73a25","observation_id":"d1b6e0cc-65b6-4161-9d07-a2e4d8820de3","resolution":{"observed_at":"2026-08-10T19:15:44.903552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:15:43.839736Z","title":"Intel sgx explained","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.839736Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:64bcd5543ef4e358f14f2023fe5a623a24d870c3784b3988be0e7db0e0161f57","observation_id":"99267155-0eec-4e9f-976b-8b4a6221f779","resolution":{"observed_at":"2026-08-10T19:15:43.839736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:15:43.844426Z","title":"Differential privacy","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.844426Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:bc620d25aa620823e76f5024aaaca5118f01b344243580b5f89b7809404a7d42","observation_id":"59b64424-bee3-41f6-9420-f8723aecb8e3","resolution":{"observed_at":"2026-08-10T19:15:43.844426Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2404.10764","last_updated":"2025-03-03T18:15:09Z","snapshot_observed_at":"2026-07-06T18:01:05.698046Z","submitted_at":"2024-04-16T17:47:27Z","title":"Confidential Federated Computations","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.10764","snapshot_observed_at":"2026-08-10T19:15:43.848810Z","title":"Confidential federated computations","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.848810Z"},"links":{"cited_paper":"/paper/2404.10764","citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:b906601a572f832efd6c23ea67fe1f1f9ff3b4b74b68898a1a016525d50cbdfc","observation_id":"ce33ab3b-8c6c-490e-8f3b-39775825ea1f","resolution":{"observed_at":"2026-08-10T19:15:43.848810Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:15:44.756068Z","title":"Rulekeeper: Gdpr-aware personal data compliance for web frameworks","venue":null,"work_id":"116f1b4e-f248-42f4-bba4-c536b873f7dc","year":2023},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.853963Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:c2dd4f80b19b79eb164f50f728fbe46c5095449a67636d296bf4f7aa9c2ab147","observation_id":"24beee1d-74c0-4b84-b9a0-e34153db1eaf","resolution":{"observed_at":"2026-08-10T19:15:44.761205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.729436Z","title":"Snakes on a plan: Compil- ing python functions into plain sql queries","venue":null,"work_id":"3560b95e-11f3-4683-9470-0fe95e7a5355","year":2022},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.863070Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:9273ecf19b62df70cfa777e21f85c5066f3295523c8612a504fe1445ff603f80","observation_id":"3491c9d3-21ca-40ee-9b68-d71703d0d44e","resolution":{"observed_at":"2026-08-10T19:15:44.734431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.713785Z","title":"Goldstein and Veda C","venue":null,"work_id":"a57bcf29-7917-40ed-bbb3-c22ab3ba552e","year":1994},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.867680Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:fab269306e231bfd76402b49b9975e8b829a3cf875554d4e0352966c285b60a2","observation_id":"af577cb7-6bd3-47d7-b543-e9b76b58ec53","resolution":{"observed_at":"2026-08-10T19:15:44.719135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.698380Z","title":"A formal semantics of sql queries, its validation, and applications","venue":null,"work_id":"cb676589-2266-4196-b91a-8d2797deae48","year":2017},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.872574Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:9448882ec66dcb0bd7238ae7d86fb43b2a80ad7f9700e3ab21c9e90557fa165a","observation_id":"f8be9c17-1107-4b9e-b02a-172c6f61e0c8","resolution":{"observed_at":"2026-08-10T19:15:44.703195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.682746Z","title":"Information-flow control for database-backed appli- cations","venue":null,"work_id":"d4aad3df-416b-4a63-b500-08755e6e081d","year":2019},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.877164Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:5e4437a6ba881ee684b3f881367424807a813b47df1353da5144b38a271fb5c0","observation_id":"569a0794-7537-4504-881e-9f790e5c158b","resolution":{"observed_at":"2026-08-10T19:15:44.688021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.667247Z","title":"Putting pan- das in a box","venue":null,"work_id":"4e4fe52c-4b9b-4fe4-882e-328b0cbec912","year":2021},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.881906Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:d7ea1d33285224a5de2d2aee9b8ab863e491c19a80c3e5ceb61a642a4d28131c","observation_id":"bfdc197a-7a29-47e2-aba5-1333c206b087","resolution":{"observed_at":"2026-08-10T19:15:44.672032Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.651627Z","title":"Establishing browser security guarantees through formal shim verification","venue":null,"work_id":"e9e8ed0a-f1a9-4ca6-98ca-e135eb957233","year":2012},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.886680Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:60e3dda555225fe28ead3922974e0ba15a1f177bc4ee30b233d495d3a92614b7","observation_id":"e8566068-0e07-4ee8-83b7-01d2cea93e01","resolution":{"observed_at":"2026-08-10T19:15:44.656794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1911.00231","last_updated":"2019-11-01T07:09:08Z","snapshot_observed_at":"2026-08-09T07:44:00.688404Z","submitted_at":"2019-11-01T07:09:08Z","title":"Extending Relational Query Processing with ML Inference","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.00231","snapshot_observed_at":"2026-08-10T19:15:43.891460Z","title":"Extending relational query processing with ml inference","venue":null,"work_id":null,"year":1911},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.891460Z"},"links":{"cited_paper":"/paper/1911.00231","citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:03f55498eee14626d2e832dc720cdfcd8d157c2bac1ff1b4e64d66faed3d5014","observation_id":"1fa40907-f955-4333-b716-cbd1bda5c3fe","resolution":{"observed_at":"2026-08-10T19:15:43.891460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:15:44.635864Z","title":"Laputa: Secure data analytics in apache spark with fine-grained pol- icy enforcement and isolated execution","venue":null,"work_id":"1f5c37be-695a-42da-ac38-4f8fa527bd3c","year":2025},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.896630Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:b367a2493e0eaca093d9fda1d88144b09214d1aafa70cb86a247c49db0a95033","observation_id":"d56318fa-15e1-4bd7-8110-fdda18340cd0","resolution":{"observed_at":"2026-08-10T19:15:44.641003Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.620833Z","title":"Expressing information flow properties","venue":null,"work_id":"aa835413-b8e6-466a-944f-6c959986260b","year":2022},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.901210Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:24a46953a07289480cf50d0f27eab40e1c9bcba6eb040421e72fffb871640554","observation_id":"301ce308-a7d1-45e5-8bc8-edfc7a840b78","resolution":{"observed_at":"2026-08-10T19:15:44.625567Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.605829Z","title":"Mtcache: Trans- parent mid-tier database caching in sql server","venue":null,"work_id":"fe499d48-273a-4d91-a9f3-e4203884e9b3","year":2004},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.905811Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:a0dca432341f8eab0c375503d133ce585abff9cf21ca5d7cd866f14c3c5d62a1","observation_id":"57691aba-7a2e-4d3d-ac87-714890dcdbd9","resolution":{"observed_at":"2026-08-10T19:15:44.610421Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.590403Z","title":"Storm: refinement types for secure web applications","venue":null,"work_id":"0e15a10c-1a9a-4dfc-a8f2-1ed2fd703708","year":2021},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.911050Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:8ba25a272bdb6161260feb5cc66017ffb8de46ebf4cba604ab8a18dee8b444e3","observation_id":"5d3ddd9f-0ffd-4483-ac85-1ba75df5d40d","resolution":{"observed_at":"2026-08-10T19:15:44.595631Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.574845Z","title":"Downgrading policies and relaxed noninterference","venue":null,"work_id":"446de73d-0628-43e7-a60f-0d47fe7c6962","year":2005},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.915973Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:042640c571cd348edc2a6f5005a9874ef723eb008b2278068fe0210369896c7c","observation_id":"d34df9cd-3f29-48cc-b626-892b7b5deb27","resolution":{"observed_at":"2026-08-10T19:15:44.580231Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.559223Z","title":"Formally verified memory protection for a commodity multi- processor hypervisor","venue":null,"work_id":"3bdb8d2b-f7af-4cd9-8a2c-a9b7b08253a7","year":2021},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.920799Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:6c0d22ff582c9759026650b1a07da6710789b417031224de47e8bfca2c582c8a","observation_id":"a596babb-a8f7-4245-b7e1-c980030f2edd","resolution":{"observed_at":"2026-08-10T19:15:44.564694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.541613Z","title":"A secure and formally verified linux kvm hypervisor","venue":null,"work_id":"ee735702-4e4e-4e6e-bfd8-d4e5aed879c0","year":2021},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.925393Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:c4f35dc1e13d132fced0b2623a265bf4f5b2f7456b2313665d5ef7a6748e9c25","observation_id":"fff91b02-d88e-4313-b030-0f335ca0115a","resolution":{"observed_at":"2026-08-10T19:15:44.546437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.526514Z","title":"Squirrel: A scalable secure {Two-Party} computation frame- work for training gradient boosting decision tree","venue":null,"work_id":"7fce2ad0-7768-4398-9017-7abcc92e17bc","year":2023},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.930034Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:518402325a33ebf342815235258beb2c3427d5ac16ed0b66d53aec114557789c","observation_id":"a5532296-0fc7-4b73-9c31-1d06b6008486","resolution":{"observed_at":"2026-08-10T19:15:44.531501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.511556Z","title":"Toward a verified relational database management system","venue":null,"work_id":"ee27ad3f-0e6e-4f25-8ee1-e1ae2f75e34d","year":2010},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.934728Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:ba9b15adb429851fa1ed1fe782583dafcd1e7920cdac97e86131fa2b6a49e2b6","observation_id":"684877ea-e812-4b9a-b4f9-40ecc56dca4d","resolution":{"observed_at":"2026-08-10T19:15:44.516436Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.496021Z","title":"Towards auto- mated regulation analysis for effective privacy compliance","venue":null,"work_id":"be654049-81bc-4828-b70e-7b3ac7909fec","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.939804Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:8a50c7914e53bfd8651cb0168d45618b60352fd1024ba9fbb109aa7050b00dab","observation_id":"8e79e939-6fe4-4c78-aaae-8d82eb0c1c0c","resolution":{"observed_at":"2026-08-10T19:15:44.501333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.481393Z","title":"Towards multiverse databases","venue":null,"work_id":"c767e76b-2960-4587-9bb2-43762e5142a2","year":2019},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.944579Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:dae4b4d44fad88d968208ebeb4f7a351343c986cc24bf0914d6551097074b3a6","observation_id":"109ef5da-8f0c-4932-935e-256df49224cd","resolution":{"observed_at":"2026-08-10T19:15:44.485956Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.466360Z","title":"Qapla: Policy compliance for database-backed systems","venue":null,"work_id":"72cde777-53c5-42e0-9afa-a518d9571c57","year":2017},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.949653Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:a02464e0e87481de7c6f534c1154a2dd9df1f3397683993009aabedaaf72ba30","observation_id":"6ffd744c-28c8-46ee-a1df-d0308916635a","resolution":{"observed_at":"2026-08-10T19:15:44.471319Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.451148Z","title":"The health insurance porta- bility and accountability act of 1996 (hipaa) privacy rule: implications for clinical research","venue":null,"work_id":"c9b54b14-cc32-49e5-8636-9b4f4c39178c","year":1996},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.954532Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:8d9ed3beb327d9c28cb12e5baee8dfdabdcab7d4466fd4cdda697bb125a4b83c","observation_id":"e3637766-62ed-4323-83ac-7e3875a2c263","resolution":{"observed_at":"2026-08-10T19:15:44.456154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.436467Z","title":"all of us","venue":null,"work_id":"ad27cd37-6643-4a6a-b15b-d3d55575f05e","year":2019},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.959158Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:ced9b338d9ed1e60680b8e916767498d6274969995607562aeb87527dede3b14","observation_id":"043bac06-c060-454e-aa44-40a3fd2f7a24","resolution":{"observed_at":"2026-08-10T19:15:44.440954Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.421036Z","title":"Language-based information- flow security","venue":null,"work_id":"080d4741-223c-422d-a60f-77412ec0fdd2","year":2003},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.964798Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:0b4abf59a291b52537cf0aecf788b291d01a789fc01a25b39434f478f4b07b56","observation_id":"d9f1a9da-c7f5-4122-9e38-8d91d32f369a","resolution":{"observed_at":"2026-08-10T19:15:44.425885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.404934Z","title":"Dimensions and principles of de- classification","venue":null,"work_id":"ff920bdf-3065-4629-8871-0be6c34e5b08","year":2005},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.969727Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:867c0b192cff7e527b163ff63c31a82b93e83c71a7f0cf5c2b1a3f704ff99b9a","observation_id":"238ef1f6-707c-4d54-950a-e75bcb9047a5","resolution":{"observed_at":"2026-08-10T19:15:44.410108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.388266Z","title":"Selinq: tracking information across application-database boundaries","venue":null,"work_id":"97470e96-aa08-4395-bcd9-49570b303ed6","year":2014},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.974391Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:2bb5c246a95aac4f9fcc277e837bf90aa33774819334b97ebbdca8f72371ebf7","observation_id":"1b783294-8173-44ea-a3de-7e6392833955","resolution":{"observed_at":"2026-08-10T19:15:44.394127Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.372603Z","title":"Ifdb: decentralized information flow control for databases","venue":null,"work_id":"e9695503-f442-4668-ade1-f30d7fb95720","year":2013},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.979133Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:159093d07bcfdac83b8c83b70ebee194ab5ab2a510575c32b0f5d00ed4b199e7","observation_id":"79123b18-f7d4-48a1-8fa4-3252097460f3","resolution":{"observed_at":"2026-08-10T19:15:44.377767Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.357690Z","title":"Strengthening vm isolation with integrity protection and more","venue":null,"work_id":"4cfdc0c4-39ca-48af-80a0-287a1b84c456","year":2020},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.983658Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:f77a063b5959af6db43b22a4a3e15c4e7a64866d77ae8867494ab5d1d108c661","observation_id":"42f45428-d1eb-4d29-9af9-bf31f288d93c","resolution":{"observed_at":"2026-08-10T19:15:44.362607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.342530Z","title":"Pytond: Efficient python data science on the shoulders of databases","venue":null,"work_id":"4346e32b-4312-4a4f-aeea-ea1b5637775f","year":2024},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.988927Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:11b3fda4fbc3a2276efe23dab4a901f54964b1bd0f0c25be4457e25237f883e7","observation_id":"149baa52-01f4-4500-8c2d-085cc128a30a","resolution":{"observed_at":"2026-08-10T19:15:44.347656Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.327520Z","title":"PrivGuard: Privacy regulation compliance made easier","venue":null,"work_id":"f315d386-b628-4f4a-b749-ce903d8086d9","year":2022},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.993650Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:7835be47f2843de9667cd765217d260f944c80fafcd9f0122e71a5c9e75bcb83","observation_id":"76adab59-730f-4b0d-802e-c4d2ac45c118","resolution":{"observed_at":"2026-08-10T19:15:44.332556Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.312274Z","title":"Precise, dynamic information flow for database-backed applications","venue":null,"work_id":"dd70a42e-13cb-4f0b-a248-a1b11eb3c451","year":2016},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.998329Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:7e777b8ca7e1f78427736289a40c40565220659becebbd7f3694f39a792e8415","observation_id":"f3834dfa-09d8-49fd-accc-e41e42b5bc8a","resolution":{"observed_at":"2026-08-10T19:15:44.317482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.295365Z","title":"A language for automatically enforcing privacy policies","venue":null,"work_id":"22ed14c3-ce89-4f2b-bd89-5c3caa684c7a","year":2012},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.003234Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:7288319e09b3c63aa5892307684c0a0c119942d494da1a488cd0128db075f3eb","observation_id":"5963cf7f-737a-486d-8842-53dad2fb8627","resolution":{"observed_at":"2026-08-10T19:15:44.301467Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.278464Z","title":"Tensor relational algebra for distributed machine learning system design","venue":null,"work_id":"3533de0e-2f9d-4040-b84b-719423255a87","year":2021},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.010981Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:6a10bc8c078218abb9cce025257d37d6dabb41868bbd4b603763de67bcb47d03","observation_id":"e25f87b6-da91-4120-9efa-f8103b77a389","resolution":{"observed_at":"2026-08-10T19:15:44.283899Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.261744Z","title":"Spark: Cluster computing with working sets","venue":null,"work_id":"716aebe3-0dea-4414-8f29-3f1132dfbb9a","year":2010},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.016274Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:ac09a8862367ce763a3bc1396ff569fffb9bed3afe7b153ec82790f089aced71","observation_id":"ab299ef6-7fa1-4d62-995d-c7f9c5b3b8b5","resolution":{"observed_at":"2026-08-10T19:15:44.266978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.244752Z","title":"Access control for database applications: Beyond policy enforcement","venue":null,"work_id":"345dd9d3-b643-4fe4-9fe5-5dbd497cee9e","year":2023},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.021174Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:fdbb766119ead0daecb1770c48768169bdacb9117b4081b8f5e584f3847792f4","observation_id":"6508307d-e0cf-4d70-9a09-a889b6e44af5","resolution":{"observed_at":"2026-08-10T19:15:44.250149Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.228401Z","title":"Blockaid: Data access policy enforcement for web applications","venue":null,"work_id":"fabf7578-4054-4e9d-8da1-4f14ff0203df","year":2022},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.026529Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:7b16f0b6c2c7579a102590098ab9f3e58ce291e28645233c0adfc894746fe526","observation_id":"92ae6cb0-349c-44e1-a48a-6ad6c132cb4a","resolution":{"observed_at":"2026-08-10T19:15:44.233753Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.210317Z","title":"Sectee: A software-based approach to secure enclave architecture using tee","venue":null,"work_id":"e09f22d7-778e-4d79-9e59-8f244a1abef8","year":2019},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.031787Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:252649cc164137b54da35c3189841082096ecb80a3df1870c5685e7620a525eb","observation_id":"e94d07a2-7d82-4e1d-b195-38942d76835a","resolution":{"observed_at":"2026-08-10T19:15:44.216192Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.192488Z","title":null,"venue":null,"work_id":"7bc20140-674c-4966-b24d-422bf61fd11b","year":null},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.036799Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:b264497541e4c49878530d2b53349e72279f5a933b1845ff468fed43e15e97c7","observation_id":"7ca9245f-6dbc-4bb1-b609-f0d86caa42ba","resolution":{"observed_at":"2026-08-10T19:15:44.197629Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.174436Z","title":null,"venue":null,"work_id":"33c75f3f-40f1-4462-83b9-9b013c1e9a67","year":null},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.041561Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:e1d186f8103c73ab7521edb45c262336d6107a9e1fe254a3b3af0b9d185c1c88","observation_id":"615bd9ff-60e2-4f67-9384-c23a9d302184","resolution":{"observed_at":"2026-08-10T19:15:44.179703Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.157771Z","title":"Healthcare dataset [8]","venue":null,"work_id":"977fed11-a897-48d1-86d3-ab8e8e71e8b1","year":null},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.046513Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:59b81e1f988f30db167e8e04002cee7685aa81e514e088031a4fe6b1dc0b1d4d","observation_id":"f1355cf5-ad69-41cf-9bf4-9c84e14ae60b","resolution":{"observed_at":"2026-08-10T19:15:44.162722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.140885Z","title":null,"venue":null,"work_id":"84ecabb1-089b-4d72-8220-8efcefb1016d","year":null},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.051298Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:344eca697d8eb8bd06107738081de4862c4d781e2819a50262aabf9c6cadf434","observation_id":"70824914-b340-4b0e-a932-9c3b205db3d5","resolution":{"observed_at":"2026-08-10T19:15:44.145782Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-10T19:15:44.122348Z","title":"(Common aggregate requirements) Table 3: The dataset and its corresponding privacy policies used in case studies","venue":null,"work_id":"4ff98154-3385-4227-abef-e406faaa3637","year":null},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:44.056045Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:fa6d5d48d8d3c854e43e725cff23d2f8a8fbb283a817c23e55deb5bf07f47e14","observation_id":"790552b8-f2c5-4e22-928b-7656bbf62b33","resolution":{"observed_at":"2026-08-10T19:15:44.129355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T19:15:43.858629Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics","version":1},"reference_index":1031,"source":"pdf_text","source_observed_at":"2026-08-10T19:15:43.858629Z"},"links":{"citing_paper":"/paper/2501.10560"},"observation_digest":"sha256:9dfd40deffae68d4c60faaf3ac4f459747794d6bc17f2d72791e0bda573b9788","observation_id":"7cafbc49-f931-4595-8e29-239cee036ae9","resolution":{"observed_at":"2026-08-10T19:15:43.858629Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2501.10560","last_updated":"2025-01-17T21:30:55Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-10T19:05:47.407886Z","submitted_at":"2025-01-17T21:30:55Z","title":"Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics"},"reference_resolution":{"displayed":64,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":56},"total_outbound_references":64},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2501.10560."}