Reference papers for projects
  • 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)
  • IoT
  • 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)