Highlights of the first IoT Security Congress