Login / Signup

Verifying and Synthesizing Constant-Resource Implementations with Types.

Van Chan NgoMario Dehesa-AzuaraMatthew FredriksonJan Hoffmann
Published in: IEEE Symposium on Security and Privacy (2017)
Keyphrases
  • high level
  • data sets
  • databases
  • artificial intelligence
  • image processing
  • image segmentation
  • three dimensional
  • objective function
  • data streams
  • preprocessing
  • resource allocation
  • model checking