Home Publications





  • Nguyen, B. T. & Sprenger, C (2013). Sound Security Protocol Transformations. In Principles of Security and Trust - Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pages 83-104. Springer. [More] 
  • Bertolino, A., Daoudagh, S., Lonetti, F. & Marchetti., E (2013). XACMUT: XACML 2.0 Mutants Generator. In IEEE (editor), Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on, pages 28-33. [More]