Nguyen, Luan Viet, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, and Alur, Rajeev. Detecting security leaks in hybrid systems with information flow analysis. Retrieved from https://par.nsf.gov/biblio/10170885. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019 . Web. doi:10.1145/3359986.3361212.

Nguyen, Luan Viet, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, & Alur, Rajeev. Detecting security leaks in hybrid systems with information flow analysis. Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, (). Retrieved from https://par.nsf.gov/biblio/10170885. https://doi.org/10.1145/3359986.3361212

Nguyen, Luan Viet, Mohan, Gautam, Weimer, James, Sokolsky, Oleg, Lee, Insup, and Alur, Rajeev. "Detecting security leaks in hybrid systems with information flow analysis". Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019 (). Country unknown/Code not available. https://doi.org/10.1145/3359986.3361212. https://par.nsf.gov/biblio/10170885.

@article{osti_10170885,
place = {Country unknown/Code not available}, title = {Detecting security leaks in hybrid systems with information flow analysis}, url = {https://par.nsf.gov/biblio/10170885}, DOI = {10.1145/3359986.3361212}, abstractNote = {}, journal = {Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019}, author = {Nguyen, Luan Viet and Mohan, Gautam and Weimer, James and Sokolsky, Oleg and Lee, Insup and Alur, Rajeev}, }