IotSan: fortifying the safety of IoT systems.

Dang Tu Nguyen, Chengyu Song, Zhiyun Qian, Srikanth V. Krishnamurthy, Edward J. M. Colbert, Patrick D. McDaniel

Browse the full CoNEXT paper archive.