• Prost F. (2011). Enforcing Dynamic Interference Policy 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust (PASSAT) / 2011 IEEE Third Int'l Conference on Social Computing (SocialCom). 10.1109/PASSAT/SocialCom.2011.17. 978-1-4577-1931-8. (1111-1118).

    http://ieeexplore.ieee.org/document/6113266/

  • Echahed R and Prost F. Security policy in a declarative style. Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming. (153-163).

    https://doi.org/10.1145/1069774.1069789

  • Echahed R and Prost F. Handling declared information leakage. Proceedings of the 2005 workshop on Issues in the theory of security. (1-4).

    https://doi.org/10.1145/1045405.1045406