WELCOME TO ADIoT 2019

2nd International Workshop on Attacks and Defenses for Internet-of-Things (ADIoT 2019)

Program (collaborated with SIOT)
ADIoT Paper Pre-proceedings Download

08:30 - 08:45
Registration

08:45 - 09:00
General Welcome
Chairs: Alfredo RIAL & Weizhi MENG

09:00 - 10:00
Session 1: SIOT-I
Chair: Alfredo RIAL, University of Luxembourg, Luxembourg

09:00-09:30 - Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification, By Omar M. Alhawi, Mustafa A. Mustafa and Lucas C. Cordeiro
09:30-10:00 - Automated Fuzzing of Automotive Control Units, By Timothy Werquin, Mathijs Hubrechtsen, Ashok Thangarajan, Frank Piessens and Jan Tobias Muehlberg

10:00 - 10:30
Coffee break

10:30 - 12:00
Session 2: SIOT-II
Chair: Alfredo RIAL, POLITEHNICA of Bucharest, Romania

10:30-11:00 - Fast ECDH Key Exchange Using Twisted Edwards Curves with an Efficiently Computable Endomorphism, By Johann Groszschaedl
11:00-11:30 - liOS: Lifting iOS Apps for Fun and Profit, By Julian Schutte and Dennis Titze
11:30-12:00 -TIO - Secure Input/Output for Intel SGX Enclaves, By Florin-Alexandru Stancu, Dumitru Tranca and Mihai Chiroiu

12:00 - 13:30
Lunch Break


13:30 - 15:00
Session 3: ADIOT-I
Chair: Budi Arief, University of Kent, UK

13:30-14:00 - A Basic Theory of Lightweight Hierarchical Key Predistribution Scheme, By Deepak Kumar Dalai
14:00-14:30 - Adversarial Examples for Hardware-Trojan Detection at Gate-Level Netlists, By Kohei Nozawa, Kento Hasegawa, Seira Hidano, Shinsaku Kiyomoto, Kazuo Hashimoto and Nozomu Togawa
14:30-15:00 - Anomaly Detection in the HVAC System Operation by a RadViz Based Visualization-Driven Approach, By Evgenia Novikova, Mikhail Bestuzhev and Igor Kotenko

15:00 - 15:30
Coffee break

15:30 - 17:15
Session 4: ADIOT-II
Chair: Dennis Tatang, Ruhr University Bochum, Germany

15:30-16:00 - Denial-of-Service Attacks and Countermeasures in the RPL-Based Internet of Things, By Philokypros Ioulianou and Vassilios Vassilakis
16:00-16:30 - Secure Location Verification: Why You Want Your Verifiers to be Mobile, By Matthias Schafer, Carolina Nogueira, Jens B. Schmitt, and Vincent Lenders
16:30-16:50 - Selective Forwarding Attack on IoT Home Security Kits, By Ali Hariri, Nicolas Giannelos and Budi Arief
16:50-17:10 - Study of DNS Rebinding Attacks on Smart Home Devices, By Dennis Tatang, Tim Suurland and Thorsten Holz

17:30 - 20:30
Social Activity

20:30 - 22:00
Gala Dinner