Abhiram Kothapalli, Robert Mitchell. Regex-Based Linkography Abstraction Refinement for Information Security. In Rakesh M. Verma, Murat Kantarcioglu, editors, Proceedings of the Fourth ACM International Workshop on Security and Privacy Analytics, IWSPA@CODASPY 2018, Tempe, AZ, USA, March 19-21, 2018. pages 1-7, ACM, 2018. [doi]
Abstract is missing.