Paolo Modesti

Guest Member of Staff · School of Computing

Security protocolsFormal verificationJava code generation

About

Dr Paolo Modesti is a Guest Member of Staff at the School of Computing, Newcastle University. His research focuses on security protocol specification and verification, as well as efficient Java code generation for security protocols.

Selected publications

Security protocol specification and verification with AnBx
Efficient Java Code Generation of Security Protocols Specified in AnB/AnBx

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.