QUARTA, DAVIDE
QUARTA, DAVIDE
An Experimental Security Analysis of an Industrial Robot Controller
2017-01-01 Quarta, Davide; Pogliani, Marcello; Polino, Mario; Maggi, Federico; Zanchettin, ANDREA MARIA; Zanero, Stefano
Detecting Insecure Code Patterns in Industrial Robot Programs
2020-01-01 Pogliani, Marcello; Maggi, Federico; Balduzzi, Marco; Quarta, Davide; Zanero, Stefano
DETECTING UNSECURE DATA FLOW IN AUTOMATION TASK PROGRAMS
2020-01-01 Maggi, F.; Pogliani, M.; Quarta, D.; Vittone, Martino; Zanero, S.
ELISA: ELiciting ISA of Raw Binaries for Fine-grained Code and Data Separation
2018-01-01 DE NICOLAO, Pietro; Pogliani, Marcello; Polino, Mario; Carminati, Michele; Quarta, Davide; Zanero, Stefano
Extended Abstract: Toward Systematically Exploring Antivirus Engines
2018-01-01 Quarta, Davide; Salvioni, Federico; Continella, Andrea; Zanero, Stefano
GroupDroid: Automatically Grouping Mobile Malware by Extracting Code Similarities
2017-01-01 Marastoni, Niccolò; Continella, Andrea; Quarta, Davide; Zanero, Stefano; Preda, Mila Dalla
Scalable Testing of Mobile Antivirus Applications
2015-01-01 Valdi, Andrea; Lever, Eros; Benefico, Simone; Quarta, Davide; Zanero, Stefano; Maggi, Federico
Security of controlled manufacturing systems in the connected factory: the case of industrial robots
2019-01-01 Pogliani, Marcello; Quarta, Davide; Polino, Mario; Vittone, Martino; Maggi, Federico; Zanero, Stefano
Smart Factory Security: A Case Study on a Modular Smart Manufacturing System
2021-01-01 Maggi, Federico; Balduzzi, Marco; Vosseler, Rainer; Rösler, Martin; Quadrini, Walter; Tavola, Giacomo; Pogliani, Marcello; Quarta, Davide; Zanero, Stefano