Contact
profile_image:
Biography
My Latest
- Garcia, Rémi and Modesti, Paolo (2017) An Integrated Development Environment for the Design, Verification and Implementation of Security Protocols. In: The 28th International Symposium on Software Reliability Engineering Workshops (ISSREW), 23-26 Oct 2017, Toulouse, France.
- Garcia, Rémi and Modesti, Paolo (2017) An IDE for the Design, Verification and Implementation of Security Protocols. In: The 28th International Symposium on Software Reliability Engineering Workshops (ISSREW), 23-26 Oct 2017, Toulouse, France.
- Garcia, Rémi and Modesti, Paolo (2017) An Integrated Development Environment for the Design, Verification and Implementation of Security Protocols. In: The 28th International Symposium on Software Reliability Engineering (ISSRE), 23-26 Oct 2017, Toulouse, France. (In Press)
- Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian and Modesti, Paolo (2016) Security Protocol Specification and Verification with AnBx. Journal of Information Security and Applications, 30. pp. 46-63. ISSN 2214-2126
- Bugliesi, Michele, Calzavara, Stefano, Mödersheim, Sebastian and Modesti, Paolo (2016) Security Protocol Specification and Verification with AnBx. Journal of Information Security and Applications. ISSN 2214-2126 (In Press)
My Most Viewed
