Salvador Cavadini. Secure slices of insecure programs. In Masayuki Abe, Virgil D. Gligor, editors, Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2008, Tokyo, Japan, March 18-20, 2008. pages 112-122, ACM, 2008. [doi]
Abstract is missing.