Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T19:15:44.056045Z
Paper Citation Record · LEDGER
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
As of 23 August 2026, this Paper Citation Record lists 64 of 64 outbound references and 0 inbound Pith citation observations for arXiv:2501.10560.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
64 of 64 outbound references displayed
- verified exact0
- verified fuzzy56
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5adc4a92-8ed9-4d46-8fd0-4b55cf6f98d5 · outbound
This paper cites https://www.kaggle.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.209448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6b3647ed-c942-453b-b959-7d62d6512313 · outbound
This paper cites https://www.kaggle.com/ code/donottalk/autoimmune-symptom.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/ code/donottalk/autoimmune-symptom
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.192160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d24c8a86-717d-47cc-b2f6-8c8988a77d48 · outbound
This paper cites https://www.kaggle.com/datasets/flaredown/ flaredown-autoimmune-symptom-tracker/data.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/datasets/flaredown/ flaredown-autoimmune-symptom-tracker/data
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.175495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5f741657-757a-4109-8dfa-9f7bec6aafbd · outbound
This paper cites https://www.kaggle.com/code/dzmitryashkinadze/ flaredown-autoimmune-symptoms-prediction.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/code/dzmitryashkinadze/ flaredown-autoimmune-symptoms-prediction
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.158294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 191eab0e-295d-4a0b-adaa-51a5e2bcad59 · outbound
This paper cites https://www.kaggle.com/code/ultron2412/ flaredown-data-exploratory-analysis#Symptoms.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/code/ultron2412/ flaredown-data-exploratory-analysis#Symptoms
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.141778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 21992fdd-eff2-4bc9-8055-f8b62b07f394 · outbound
This paper cites https: //github.com/electrum/tpch-dbgen.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https: //github.com/electrum/tpch-dbgen
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.124041Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c3ab12a1-54ae-4663-975e-c1ac038b6e78 · outbound
This paper cites https://www.kaggle.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.104319Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1da71bb4-0869-4820-81be-f1342b6d432b · outbound
This paper cites https://www.kaggle.com/ datasets/prasad22/healthcare-dataset/data.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/ datasets/prasad22/healthcare-dataset/data
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.087613Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a1b93190-ce8e-4590-9905-4a96425e124f · outbound
This paper cites https://pola.rs.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://pola.rs
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.070914Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ee45abb8-46db-47f6-8996-cf6e2fa881b6 · outbound
This paper cites https://www.tpc.org/tpch.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.tpc.org/tpch
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.055038Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b82d04cf-6fcf-4a44-b510-6656661ac2ff · outbound
This paper cites https://www.kaggle.com/code/muhammadfurqan0/ unlocking-healthcare-trends-data-analysis.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics https://www.kaggle.com/code/muhammadfurqan0/ unlocking-healthcare-trends-data-analysis
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.038819Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3ec22ba0-9c89-44f1-8bb2-ed09d5581dad · outbound
This paper cites Expressive declassification policies and modular static enforcement.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Expressive declassification policies and modular static enforcement
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.022499Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c4d6dc3e-2fd1-47ba-8375-f257f1080980 · outbound
This paper cites Contextual and granular policy enforcement in database-backed appli- cations.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Contextual and granular policy enforcement in database-backed appli- cations
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:45.005094Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e7fb21a3-9270-4bfd-8ec1-ea6af1ddd804 · outbound
This paper cites Disclosure avoidance for the 2020 census: An introduction, 2021.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Disclosure avoidance for the 2020 census: An introduction, 2021
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.987314Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0a10d2aa-0c3c-44cb-80a4-155458c0d537 · outbound
This paper cites Nonmalleable in- formation flow control.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Nonmalleable in- formation flow control
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.968997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation c5e808e5-625d-44df-844c-20023375cd8c · outbound
This paper cites Intel tdx demystified: A top-down approach.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Intel tdx demystified: A top-down approach
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.952192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation dd62f634-25aa-46c2-b484-7a602f578e7b · outbound
This paper cites Static checking of dynamically − varying security policies in database −backed applications.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Static checking of dynamically − varying security policies in database −backed applications
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.936249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a85f4458-a09b-47b2-8f0f-2bfcb81dd3ab · outbound
This paper cites Myers, Xin Qi, K.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Myers, Xin Qi, K
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.919646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d1b6e0cc-65b6-4161-9d07-a2e4d8820de3 · outbound
This paper cites Security policies for downgrad- ing.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Security policies for downgrad- ing
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.903552Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 99267155-0eec-4e9f-976b-8b4a6221f779 · outbound
This paper cites Intel sgx explained.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Intel sgx explained
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T19:15:43.839736Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 59b64424-bee3-41f6-9420-f8723aecb8e3 · outbound
This paper cites Differential privacy.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Differential privacy
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T19:15:43.844426Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ce33ab3b-8c6c-490e-8f3b-39775825ea1f · outbound
This paper cites Confidential Federated Computations.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Confidential Federated Computations
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T19:15:43.848810Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24beee1d-74c0-4b84-b9a0-e34153db1eaf · outbound
This paper cites Rulekeeper: Gdpr-aware personal data compliance for web frameworks.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Rulekeeper: Gdpr-aware personal data compliance for web frameworks
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.761205Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3491c9d3-21ca-40ee-9b68-d71703d0d44e · outbound
This paper cites Snakes on a plan: Compil- ing python functions into plain sql queries.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Snakes on a plan: Compil- ing python functions into plain sql queries
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.734431Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation af577cb7-6bd3-47d7-b543-e9b76b58ec53 · outbound
This paper cites Goldstein and Veda C.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Goldstein and Veda C
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.719135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f8be9c17-1107-4b9e-b02a-172c6f61e0c8 · outbound
This paper cites A formal semantics of sql queries, its validation, and applications.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics A formal semantics of sql queries, its validation, and applications
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.703195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 569a0794-7537-4504-881e-9f790e5c158b · outbound
This paper cites Information-flow control for database-backed appli- cations.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Information-flow control for database-backed appli- cations
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.688021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bfdc197a-7a29-47e2-aba5-1333c206b087 · outbound
This paper cites Putting pan- das in a box.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Putting pan- das in a box
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.672032Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e8566068-0e07-4ee8-83b7-01d2cea93e01 · outbound
This paper cites Establishing browser security guarantees through formal shim verification.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Establishing browser security guarantees through formal shim verification
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.656794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1fa40907-f955-4333-b716-cbd1bda5c3fe · outbound
This paper cites Extending Relational Query Processing with ML Inference.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Extending Relational Query Processing with ML Inference
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T19:15:43.891460Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d56318fa-15e1-4bd7-8110-fdda18340cd0 · outbound
This paper cites Laputa: Secure data analytics in apache spark with fine-grained pol- icy enforcement and isolated execution.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Laputa: Secure data analytics in apache spark with fine-grained pol- icy enforcement and isolated execution
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.641003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 301ce308-a7d1-45e5-8bc8-edfc7a840b78 · outbound
This paper cites Expressing information flow properties.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Expressing information flow properties
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.625567Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 57691aba-7a2e-4d3d-ac87-714890dcdbd9 · outbound
This paper cites Mtcache: Trans- parent mid-tier database caching in sql server.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Mtcache: Trans- parent mid-tier database caching in sql server
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.610421Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5d3ddd9f-0ffd-4483-ac85-1ba75df5d40d · outbound
This paper cites Storm: refinement types for secure web applications.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Storm: refinement types for secure web applications
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.595631Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d34df9cd-3f29-48cc-b626-892b7b5deb27 · outbound
This paper cites Downgrading policies and relaxed noninterference.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Downgrading policies and relaxed noninterference
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.580231Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a596babb-a8f7-4245-b7e1-c980030f2edd · outbound
This paper cites Formally verified memory protection for a commodity multi- processor hypervisor.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Formally verified memory protection for a commodity multi- processor hypervisor
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.564694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fff91b02-d88e-4313-b030-0f335ca0115a · outbound
This paper cites A secure and formally verified linux kvm hypervisor.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics A secure and formally verified linux kvm hypervisor
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.546437Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a5532296-0fc7-4b73-9c31-1d06b6008486 · outbound
This paper cites Squirrel: A scalable secure {Two-Party} computation frame- work for training gradient boosting decision tree.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Squirrel: A scalable secure {Two-Party} computation frame- work for training gradient boosting decision tree
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.531501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 684877ea-e812-4b9a-b4f9-40ecc56dca4d · outbound
This paper cites Toward a verified relational database management system.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Toward a verified relational database management system
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.516436Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8e79e939-6fe4-4c78-aaae-8d82eb0c1c0c · outbound
This paper cites Towards auto- mated regulation analysis for effective privacy compliance.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Towards auto- mated regulation analysis for effective privacy compliance
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.501333Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 109ef5da-8f0c-4932-935e-256df49224cd · outbound
This paper cites Towards multiverse databases.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Towards multiverse databases
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.485956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6ffd744c-28c8-46ee-a1df-d0308916635a · outbound
This paper cites Qapla: Policy compliance for database-backed systems.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Qapla: Policy compliance for database-backed systems
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.471319Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e3637766-62ed-4323-83ac-7e3875a2c263 · outbound
This paper cites The health insurance porta- bility and accountability act of 1996 (hipaa) privacy rule: implications for clinical research.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics The health insurance porta- bility and accountability act of 1996 (hipaa) privacy rule: implications for clinical research
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.456154Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 043bac06-c060-454e-aa44-40a3fd2f7a24 · outbound
This paper cites all of us.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics all of us
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.440954Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d9f1a9da-c7f5-4122-9e38-8d91d32f369a · outbound
This paper cites Language-based information- flow security.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Language-based information- flow security
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.425885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 238ef1f6-707c-4d54-950a-e75bcb9047a5 · outbound
This paper cites Dimensions and principles of de- classification.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Dimensions and principles of de- classification
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.410108Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1b783294-8173-44ea-a3de-7e6392833955 · outbound
This paper cites Selinq: tracking information across application-database boundaries.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Selinq: tracking information across application-database boundaries
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.394127Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 79123b18-f7d4-48a1-8fa4-3252097460f3 · outbound
This paper cites Ifdb: decentralized information flow control for databases.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Ifdb: decentralized information flow control for databases
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.377767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 42f45428-d1eb-4d29-9af9-bf31f288d93c · outbound
This paper cites Strengthening vm isolation with integrity protection and more.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Strengthening vm isolation with integrity protection and more
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.362607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 149baa52-01f4-4500-8c2d-085cc128a30a · outbound
This paper cites Pytond: Efficient python data science on the shoulders of databases.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Pytond: Efficient python data science on the shoulders of databases
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.347656Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 76adab59-730f-4b0d-802e-c4d2ac45c118 · outbound
This paper cites PrivGuard: Privacy regulation compliance made easier.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics PrivGuard: Privacy regulation compliance made easier
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.332556Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f3834dfa-09d8-49fd-accc-e41e42b5bc8a · outbound
This paper cites Precise, dynamic information flow for database-backed applications.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Precise, dynamic information flow for database-backed applications
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.317482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5963cf7f-737a-486d-8842-53dad2fb8627 · outbound
This paper cites A language for automatically enforcing privacy policies.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics A language for automatically enforcing privacy policies
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.301467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e25f87b6-da91-4120-9efa-f8103b77a389 · outbound
This paper cites Tensor relational algebra for distributed machine learning system design.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Tensor relational algebra for distributed machine learning system design
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.283899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ab299ef6-7fa1-4d62-995d-c7f9c5b3b8b5 · outbound
This paper cites Spark: Cluster computing with working sets.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Spark: Cluster computing with working sets
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.266978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6508307d-e0cf-4d70-9a09-a889b6e44af5 · outbound
This paper cites Access control for database applications: Beyond policy enforcement.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Access control for database applications: Beyond policy enforcement
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.250149Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 92ae6cb0-349c-44e1-a48a-6ad6c132cb4a · outbound
This paper cites Blockaid: Data access policy enforcement for web applications.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Blockaid: Data access policy enforcement for web applications
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.233753Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e94d07a2-7d82-4e1d-b195-38942d76835a · outbound
This paper cites Sectee: A software-based approach to secure enclave architecture using tee.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Sectee: A software-based approach to secure enclave architecture using tee
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.216192Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7ca9245f-6dbc-4bb1-b609-f0d86caa42ba · outbound
This paper cites an unresolved cited work.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T19:15:44.197629Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 615bd9ff-60e2-4f67-9384-c23a9d302184 · outbound
This paper cites an unresolved cited work.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T19:15:44.179703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f1355cf5-ad69-41cf-9bf4-9c84e14ae60b · outbound
This paper cites Healthcare dataset [8].
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Healthcare dataset [8]
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.162722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 70824914-b340-4b0e-a932-9c3b205db3d5 · outbound
This paper cites an unresolved cited work.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T19:15:44.145782Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 790552b8-f2c5-4e22-928b-7656bbf62b33 · outbound
This paper cites (Common aggregate requirements) Table 3: The dataset and its corresponding privacy policies used in case studies.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics (Common aggregate requirements) Table 3: The dataset and its corresponding privacy policies used in case studies
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T19:15:44.129355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7cafbc49-f931-4595-8e29-239cee036ae9 · outbound
This paper cites an unresolved cited work.
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Unresolved cited work
Reference 1031
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T19:15:43.858629Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.