An efficient security verification method for programs with stack inspection

Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki. An efficient security verification method for programs with stack inspection. In ACM Conference on Computer and Communications Security. pages 68-77, 2001. [doi]

Abstract

Abstract is missing.