Detecting Insecure Code Patterns in Industrial Robot Programs.

Marcello Pogliani, Federico Maggi, Marco Balduzzi, Davide Quarta, Stefano Zanero

Browse the full CCS paper archive.