返回导师列表
PM

Paolo Modesti

Guest Member of Staff · School of Computing

Newcastle University · United Kingdom
Security protocolsFormal verificationJava code generation

简介

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.

代表成果

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

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。