Programming Language Theoretic Security in the Real World: A Mirage or the Future?

Andrew Ruef, Chris Rohlf. Programming Language Theoretic Security in the Real World: A Mirage or the Future?. In Sushil Jajodia, Paulo Shakarian, V. S. Subrahmanian, Vipin Swarup, Cliff Wang, editors, Cyber Warfare - Building the Scientific Foundation. Volume 56 of Advances in Information Security, pages 307-321, Springer, 2015. [doi]

Abstract

Abstract is missing.