C
D. Octeau, Jha, S., Dering, M., McDaniel, P., Bartel, A., Li, L., Klein, J., and Le Traon, Y.,
“Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis”, in
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2016.
N
M. Ochoa, Jürjens, J., and Cúellar, J.,
“Non-interference on UML State-charts”, in
Proceedings of the 50th International Conference on Objects, Models, Components, Patterns (TOOLS Europe 2012), 2012.
W
A. Bichhawat, Rajani, V., Jain, J., Garg, D., and Hammer, C.,
“WebPol: Fine-grained Information Flow Policies for Web Browsers”, in
Proceedings of the 22nd European Symposium on Research in Computer Security (ESORICS), 2017.