Quantitative Verification of Neural Networks and Its Security Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Teodora Baluta, Shiqi Shen, Shweta Shinde, Kuldeep S. Meel, Prateek Saxena. Quantitative Verification of Neural Networks and Its Security Applications. In Lorenzo Cavallaro, Johannes Kinder, Xiaofeng Wang 0001, Jonathan Katz, editors, Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019. pages 1249-1264, ACM, 2019. [doi]

This author has not been identified. Look up 'Teodora Baluta' in GoogleThis author has not been identified. Look up 'Shiqi Shen' in GoogleThis author has not been identified. Look up 'Shweta Shinde' in GoogleThis author has not been identified. Look up 'Kuldeep S. Meel' in GoogleThis author has not been identified. Look up 'Prateek Saxena' in Google

runs on WebDSL