Florian Kammüller. Human Centric Security and Privacy for the IoT Using Formal Techniques. In Denise Nicholson, editor, Advances in Human Factors in Cybersecurity - Proceedings of the AHFE 2017 International Conference on Human Factors in Cybersecurity, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA. Volume 593 of Advances in Intelligent Systems and Computing, pages 106-116, Springer, 2017. [doi]
Abstract is missing.