Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code.

Paul Muntean, Adnan Rabbi, Andreas Ibing, Claudia Eckert

Browse the full QRS paper archive.