Back to advisors
RM
Roberto Metere Lecturer
Lecturer
University of York · United KingdomCryptographyProvable securityFormal verificationProtocol design and model
Data verified 9/6/2026Source
Lecturer
University of York · United KingdomData verified 9/6/2026Source