An iterative method for secure inter-procedural information flow control.

Masaaki Mizuno

Browse the full COMPSAC paper archive.