Detecting security leaks in hybrid systems with information flow analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. Detecting security leaks in hybrid systems with information flow analysis. In Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo, editors, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM, 2019. [doi]

This author has not been identified. Look up 'Luan Viet Nguyen' in GoogleThis author has not been identified. Look up 'Gautam Mohan' in GoogleThis author has not been identified. Look up 'James Weimer' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. It may be one of the following persons:

Rajeev Alur

Look up 'Rajeev Alur' in Google

runs on WebDSL