Implicit flows in malicious and nonmalicious code

Alejandro Russo, Andrei Sabelfeld, Keqin Li 0002. Implicit flows in malicious and nonmalicious code. In Javier Esparza, Bernd Spanfelner, Orna Grumberg, editors, Logics and Languages for Reliability and Security. Volume 25 of NATO Science for Peace and Security Series - D: Information and Communication Security, pages 301-322, IOS Press, 2010. [doi]

Authors

Alejandro Russo

This author has not been identified. Look up 'Alejandro Russo' in Google

Andrei Sabelfeld

This author has not been identified. Look up 'Andrei Sabelfeld' in Google

Keqin Li 0002

This author has not been identified. It may be one of the following persons: Look up 'Keqin Li 0002' in Google