Title: Proceedings of the 2013 Workshop on Hot Topics in Middleboxes and Network Function Virtualization