Staff Profile
Dr Paolo Modesti
Guest Member of Staff
Publications
- Bugliesi M, Calzavara S, Modersheim S, Modesti P. Security protocol specification and verification with AnBx. Journal of Information Security and Applications 2016, 30, 46-63.
- Modesti P. Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx . In: 10th International Workshop on Security and Trust Management (STM). 2014, Switzerland: Springer, Cham.