Prashant Anantharaman, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist. Building Hardened Internet-of-Things Clients with Language-Theoretic Security. In 2017 IEEE Security and Privacy Workshops, SP Workshops 2017, San Jose, CA, USA, May 25, 2017. pages 120-126, IEEE Computer Society, 2017. [doi]
Abstract is missing.