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.
Abstract: Package managers have become essential for software distribution and management. Their goal is to allow users to install programs, drivers, or updates in their systems in a secure, quick, and often, unattended way. However, in recent years, attackers have found severe flaws in software distribution systems and used them as a stealthy launch pad for malicious software. Moreover, it was proved that actors of the software supply-chain are ineffective in detecting and stopping attacks on user devices.