My full name is Juan David Guarnizo Hernandez. I am a Ph.D. student under the supervision of Prof. Sudipta Chattopadhyay at the Singapore University of technology and Design (SUTD) since September 2017. My research interests lie in security testing of IoT communication protocols systematically and automatically. Previously, I worked on research topics related to Machine Learning and Blockchain focused on improving security properties in existing systems and infrastructures.