Conférence
Pogliani, Marcello; Maggi, Federico; Balduzzi, Marco; Quarta, Davide; Zanero, Stefano
Detecting insecure code patterns in industrial robot programs
ASIACCS 2020, 15th ACM Asia Conference on Computer and Communications Security, 5-9 October 2020, Taipei, Taiwan