SL Lab

E. Fernandes, J. Jung, and A. Prakash: Security Analysis of Emerging Smart Home Applications. In Proceedings of the 2016 IEEE Symposium on Security and Privacy, pp. 636-654.

Julie L. Newcomb, Satish Chandra, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sri-dharan, F.: IoTa: A Calculus for Internet of Things Automation

Mengmei Ye,Nan Jiang,Hao Yang, Qiben Yan, Sensitive Information Tracking in Commodity IoT, {USENIX} Security Symposium(2018)

Z. Berkay Celik, Patrick McDaniel, and Gang Tan, SOTERIA: Automated IoT Safety and Security Analysis, {USENIX} Security Symposium(2018)

Dang Tu Nguyen, Chengyu Song, Zhiyun Qian, Srikanth V. Krishnamurthy, Edward J. M. Colbert, Patrick McDaniel, IoTSan: Fortifying the Safety of IoT Systems, CoNEXT(2018)

Earlence Fernandes, Amir Rahmati, Jaeyeon Jung, Atul Prakash, Security Implications of Permission Models in Smart-Home Application Frameworks, IEEE Security & Privacy(2017)

Yunhan Jack Jia, Qi Alfred Chen, Shiqi Wang, Amir Rahmati, Earlence Fernandes, Z. Morley Mao, Atul Prakash, ContexIoT: Towards Providing Contextual Integrity to Appified IoT Platforms, NDSS Symposium(2017)

Yuan Tian, Nan Zhang, Yue-Hsun Lin, XiaoFeng Wang, Blase Ur, Xianzheng Guo, Patrick Tague, SmartAuth: User-Centered Authorization for the Internet of Things, USENIX Security Symposium(2017)

Amir Rahmati, Earlence Fernandes, Kevin Eykholt, Atul Prakash, Tyche: A Risk-Based Permission Model for Smart Homes, IEEE Secure Development Conference(2018)

Dmitry Namiot and Manfred Sneps-Sneppe, On Internet of Things Programming Models,Communications in Computer and Information Science (2016)

Yuchen Yang, Longfei Wu, Guisheng Yin, Lijie Li, Hongbin Zhao, A Survey on Security and Privacy Issues in Internet-of-Things, IEEE Internet of Things Journal(2017)