Scalable Approximation of Quantitative Information Flow in Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf. Scalable Approximation of Quantitative Information Flow in Programs. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 71-93, Springer, 2018. [doi]

This author has not been identified. Look up 'Fabrizio Biondi' in GoogleThis author has not been identified. Look up 'Michael A. Enescu' in GoogleThis author has not been identified. Look up 'Annelie Heuser' in GoogleThis author has not been identified. Look up 'Axel Legay' in GoogleThis author has not been identified. Look up 'Kuldeep S. Meel' in GoogleThis author has not been identified. Look up 'Jean Quilbeuf' in Google

runs on WebDSL