Language-Based Security for Low-Level MPC

23 July 2024

Papers citing "Language-Based Security for Low-Level MPC"

6 / 6 papers shown

Title
Reconciling Shannon and Scott with a Lattice of Computable Information Sebastian Hunt David Sands Sandro Stucki 46 1 0 18 Nov 2022
CrypTen: Secure Multi-Party Computation Meets Machine Learning Brian Knott Shobha Venkataraman Awni Y. Hannun Shubho Sengupta Mark Ibrahim Laurens van der Maaten 83 361 0 02 Sep 2021
Privacy-preserving Analytics for Data Markets using MPC Karl Koch Stephan Krenn Donato Pellegrino Sebastian Ramacher 38 14 0 05 Mar 2021
Pyro: Deep Universal Probabilistic Programming Eli Bingham Jonathan P. Chen M. Jankowiak F. Obermeyer Neeraj Pradhan Theofanis Karaletsos Rohit Singh Paul A. Szerlip Paul Horsfall Noah D. Goodman BDL GP 158 1,057 0 18 Oct 2018
Computer-aided proofs for multiparty computation with active security Helene Haagh Aleksandr Karbyshev Sabine Oechsner Bas Spitters Pierre-Yves Strub 46 27 0 19 Jun 2018
A New Approach to Probabilistic Programming Inference Frank Wood Jan-Willem van de Meent Vikash K. Mansinghka 61 347 0 03 Jul 2015