Detecting Unsafe Code Patterns in Industrial Robot Programs

@InProceedings{	  pogliani_otrazor_2020,
  abstract	= {To appear},
  address	= {New York, NY, USA},
  author	= {Pogliani, Marcello and Maggi, Federico and Balduzzi, Marco
		  and Quarta, Davide and Zanero, Stefano},
  booktitle	= {Proceedings of the 2020 on Asia Conference on Computer and
		  Communications Security},
  date		= {2020-10-5},
  file		= {files/papers/conference-papers/pogliani_otrazor_2020.pdf},
  location	= {Taipei, Taiwan},
  pages		= {(to appear)},
  publisher	= {ACM},
  series	= {AsiaCCS '20},
  shorttitle	= {OTRazor},
  title		= {Detecting Unsafe Code Patterns in Industrial Robot
		  Programs}
}