Seungwon Woo, Seungsoo Lee, Jinwoo Kim, Seungwon Shin: RE-CHECKER: Towards Secure RESTful Service in Software-Defined Networking. NFV-SDN 2018: 1-5