Security verification of programs with stack inspection.

Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata

Browse the full SACMAT paper archive.