An efficient security verification method for programs with stack inspection.

Naoya Nitta, Yoshiaki Takata, Hiroyuki Seki

Browse the full CCS paper archive.