Login / Signup
Davide Quarta
Publication Activity (10 Years)
Years Active: 2007-2021
Publications (10 Years): 7
Top Topics
Manufacturing Process
Petri Net
Malicious Executables
Security Analysis
Top Venues
DIMVA
Checkmate@CCS
IEEE Symposium on Security and Privacy
AsiaCCS
</>
Publications
</>
Davide Quarta
,
Michele Ianni
,
Aravind Machiry
,
Yanick Fratantonio
,
Eric Gustafson
,
Davide Balzarotti
,
Martina Lindorfer
,
Giovanni Vigna
,
Christopher Kruegel
Tarnhelm: Isolated, Transparent & Confidential Execution of Arbitrary Code in ARM's TrustZone.
Checkmate@CCS
(2021)
Marcello Pogliani
,
Federico Maggi
,
Marco Balduzzi
,
Davide Quarta
,
Stefano Zanero
Detecting Insecure Code Patterns in Industrial Robot Programs.
AsiaCCS
(2020)
Federico Maggi
,
Marco Balduzzi
,
Rainer Vosseler
,
Martin Rösler
,
Walter Quadrini
,
Giacomo Tavola
,
Marcello Pogliani
,
Davide Quarta
,
Stefano Zanero
Smart Factory Security: A Case Study on a Modular Smart Manufacturing System.
ISM
(2020)
Marcello Pogliani
,
Davide Quarta
,
Mario Polino
,
Martino Vittone
,
Federico Maggi
,
Stefano Zanero
Security of controlled manufacturing systems in the connected factory: the case of industrial robots.
J. Comput. Virol. Hacking Tech.
15 (3) (2019)
Pietro De Nicolao
,
Marcello Pogliani
,
Mario Polino
,
Michele Carminati
,
Davide Quarta
,
Stefano Zanero
ELISA: ELiciting ISA of Raw Binaries for Fine-Grained Code and Data Separation.
DIMVA
(2018)
Davide Quarta
,
Federico Salvioni
,
Andrea Continella
,
Stefano Zanero
Extended Abstract: Toward Systematically Exploring Antivirus Engines.
DIMVA
(2018)
Davide Quarta
,
Marcello Pogliani
,
Mario Polino
,
Federico Maggi
,
Andrea Maria Zanchettin
,
Stefano Zanero
An Experimental Security Analysis of an Industrial Robot Controller.
IEEE Symposium on Security and Privacy
(2017)
Andrea Valdi
,
Eros Lever
,
Simone Benefico
,
Davide Quarta
,
Stefano Zanero
,
Federico Maggi
Scalable Testing of Mobile Antivirus Applications.
Computer
48 (11) (2015)
Cristiana Bolchini
,
Davide Quarta
,
Marco D. Santambrogio
SEU mitigation for sram-based fpgas through dynamic partial reconfiguration.
ACM Great Lakes Symposium on VLSI
(2007)