Gianluca Caiazza, Ruffin White, Agostino Cortesi. Enhancing Security in ROS. In Rituparna Chaki, Agostino Cortesi, Khalid Saeed 0001, Nabendu Chaki, editors, Advanced Computing and Systems for Security - Volume Eight, Fifth International Doctoral Symposium on Applied Computation and Security Systems, ACSS 2018, Kolkata, India, February 9-11, 2018. Volume 883 of Advances in Intelligent Systems and Computing, pages 3-15, Springer, 2018. [doi]