Login / Signup

Integrity Fingerprinting of DNN with Double Black-box Design and Verification.

Shuo WangSharif AbuadbbaSidharth AgarwalKristen MooreSurya NepalSalil S. Kanhere
Published in: CoRR (2022)
Keyphrases
  • black box
  • test cases
  • black boxes
  • database
  • design process
  • user interface
  • white box
  • neural network
  • decision trees
  • open source
  • integrity constraints
  • soft computing
  • formal methods
  • formal verification