Detecting security leaks in hybrid systems with information flow analysis.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Browse the full MEMOCODE paper archive.