A verification framework for secure machine learning - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A verification framework for secure machine learning

Résumé

We propose a programming and verification framework to help developers build distributed software applications using composite homomorphic encryption (and secure multi-party computation) protocols, and implement secure machine learning and classification over private data. With our framework, a developer can prove that the application code is functionally correct, that it correctly composes the various cryptographic schemes it uses, and that it does not accidentally leak any secrets (via side-channels, for example.) Our end-to-end solution results in verified and efficient implementations of state-of-the-art secure privacy-preserving learning and classification techniques.
Fichier principal
Vignette du fichier
paper-ppml19.pdf (641.15 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03465963 , version 1 (04-12-2021)

Identifiants

  • HAL Id : hal-03465963 , version 1

Citer

Prasad Naldurg, Karthikeyan Bhargavan. A verification framework for secure machine learning. Privacy preserving machine learning Virtual ACM CCS 2021 Workshop, Nov 2019, London / Virtual, United Kingdom. ⟨hal-03465963⟩
30 Consultations
69 Téléchargements

Partager

Gmail Facebook X LinkedIn More