Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics

17 January 2025

Papers citing "Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics"

6 / 6 papers shown

Title
Confidential Federated Computations Hubert Eichner Daniel Ramage Kallista A. Bonawitz Dzmitry Huba Tiziano Santoro ... Albert Cheu Katharine Daly Adria Gascon Marco Gruteser Brendan McMahan 117 5 0 16 Apr 2024
Intel TDX Demystified: A Top-Down Approach P. Cheng W. Ożga Enriquillo Valdez Salman Ahmed Zhongshu Gu Hani Jamjoom Hubertus Franke James Bottomley 72 51 0 27 Mar 2023
Tensor Relational Algebra for Machine Learning System Design Binhang Yuan Dimitrije Jankov Jia Zou Yu-Shuen Tang Daniel Bourgeois C. Jermaine 71 26 0 01 Sep 2020
Extending Relational Query Processing with ML Inference Konstantinos Karanasos Matteo Interlandi Doris Xin Fotis Psallidas Rathijit Sen ... Subru Krishnan Markus Weimer Yuan Yu R. Ramakrishnan Carlo Curino 126 63 0 01 Nov 2019
Contextual and Granular Policy Enforcement in Database-backed Applications Abhishek Bichhawat Matt Fredrikson Jean Yang Akash Trehan 61 4 0 20 Nov 2018
Nonmalleable Information Flow: Technical Report Ethan Cecchetti A. Myers Owen Arden 46 43 0 29 Aug 2017