A Knowledge-Based IoT Security Checker. - Marco Anisetti; Rasool Asal; Claudio Agostino Ardagna; Lorenzo Comi; Ernesto Damiani; Filippo Gaudenzi (Euro-Par Workshops, 2018)