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]
@inproceedings{NguyenMWSLA19,
title = {Detecting security leaks in hybrid systems with information flow analysis},
author = {Luan Viet Nguyen and Gautam Mohan and James Weimer and Oleg Sokolsky and Insup Lee and Rajeev Alur},
year = {2019},
doi = {10.1145/3359986.3361212},
url = {https://doi.org/10.1145/3359986.3361212},
researchr = {https://researchr.org/publication/NguyenMWSLA19},
cites = {0},
citedby = {0},
booktitle = {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},
editor = {Partha S. Roop and Naijun Zhan and Sicun Gao and Pierluigi Nuzzo},
publisher = {ACM},
isbn = {978-1-4503-6997-8},
}