1. Assaf, M.: From qualitative to quantitative program analysis: permissive enforcement of secure information flow. Ph.D. thesis, Université de Rennes 1 (2015).
https://hal.inria.fr/tel-01184857
2. IFIP Advances in Information and Communication Technology;M Assaf,2013
3. Austin, T.H., Flanagan, C.: Efficient purely-dynamic information flow analysis. In: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, PLAS 2009, pp. 113–124. ACM (2009).
http://doi.acm.org/10.1145/1554339.1554353
4. Barany, G.: Hybrid information flow analysis for programs with arrays. In: Hamilton, G., Lisitsa, A., Nemytykh, A.P. (eds.) Proceedings of the Fourth International Workshop on Verification and Program Transformation, Eindhoven, The Netherlands, 2nd. Electronic Proceedings in Theoretical Computer Science, vol. 216, pp. 5–23. Open Publishing Association, April 2016
5. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language.
http://frama-c.com/acsl.html