Marco Anisetti, Rasool Asal, Claudio Agostino Ardagna, Lorenzo Comi, Ernesto Damiani, Filippo Gaudenzi. A Knowledge-Based IoT Security Checker. In Gabriele Mencagli, Dora B. Heras, Valeria Cardellini, Emiliano Casalicchio, Emmanuel Jeannot, Felix Wolf 0001, Antonio Salis, Claudio Schifanella, Ravi Reddy Manumachu, Laura Ricci, Marco Beccuti, Laura Antonelli, José Daniel García Sánchez, Stephen L. Scott, editors, Euro-Par 2018: Parallel Processing Workshops - Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers. Volume 11339 of Lecture Notes in Computer Science, pages 299-311, Springer, 2018. [doi]
Abstract is missing.