A Methodology for Formalizing Model-Inversion Attacks

By Xi Wu, Matt Fredrikson, Somesh Jha, Jeffrey F. Naughton. 2016

191 citations recorded by the source corpus.

Confidentiality of training data induced by releasing machine-learning models, and has recently received increasing attention. Motivated by existing MI attacks and other previous attacks that turn out to be MI "in disguise," this paper initiates a formal study of MI attacks by presenting a game-based methodology. Our methodology uncovers a number of subtle issues, and devising a rigorous game-based definition, analogous to those in cryptography, is an interesting avenue for future work. We describe methodologies for two types of attacks. The first is for black-box attacks, which consider an adversary who infers sensitive values with only oracle access to a model. The second methodology targets the white-box scenario where an adversary has some additional knowledge about the structure of a model. For the restricted class of Boolean models and black-box attacks, we characterize model invertibility using the concept of influence from Boolean analysis in the noiseless case, and connect model invertibility with stable influence in the noisy case. Interestingly, we also discovered an intriguing phenomenon, which we call "invertibility interference," where a highly invertible model quickly becomes highly non-invertible by adding little noise. For the white-box case, we consider a common phenomenon in machine-learning models where the model is a sequential composition of several sub-models. We show, quantitatively, that even very restricted communication between layers could leak a significant amount of information. Perhaps more importantly, our study also unveils unexpected computational power of these restricted communication channels, which, to the best of our knowledge, were not previously known.

Subfields: Artificial Intelligence, Safety, Robustness & Interpretability, Privacy & Security

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

  1. Bo Li
  2. Dawn Song
  3. Nicholas Carlini
  4. Ajmal Saeed Mian
  5. Om Thakkar
  6. Nicolas Papernot
  7. Florian Tramèr
  8. Abhradeep Thakurta

In Safety, Robustness & Interpretability

  1. Bo Li
  2. Suman Sekhar Jana
  3. Dawn Song
  4. Ajmal Saeed Mian
  5. Naveed Akhtar
  6. Nicholas Carlini
  7. Kexin Pei
  8. Junfeng Yang

In Privacy & Security

  1. Om Thakkar
  2. Abhradeep Thakurta
  3. H. Brendan McMahan
  4. Matt Fredrikson
  5. Galen Andrew
  6. Vitaly Shmatikov
  7. Somesh Jha
  8. Dawn Song

Citations in the corpus