Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics | Paper Citation Record

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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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-11T06:34:44.6726+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.

Coverage vector

Reference resolution

Outbound references

Pith citing papers