Visible to the public Proceedings of the First Workshop on Secure Control Systems