Sign in

Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols.

Nadim KobeissiGeorgio NicolasKarthikeyan Bhargavan
Published in: EuroS&P (2019)
Keyphrases
  • fully automated
  • fully automatic
  • noise level
  • semi automated
  • random noise
  • signal to noise ratio
  • additive noise
  • medical images
  • noisy data
  • image structure