School of Computing

Dr Jaime Gaspar

Research Student

Photo of J Gaspar
  • Tel:     +44 (0)1227 82 7570
  • Fax:     +44 (0)1227 762811
  • Email:
  • Room SW11
    School of Computing
    University of Kent, CT2 7NF


My publications are available from the University of Kent's Academic Repository.

See also my publications at my homepage:

PhD Project Summary

My PhD project includes:

  • provable security of transformations of cryptographic objects
  • proof presentation

Research Interests

I am a member of the following research groups:

My research interests include:

  • cryptography
  • logic


My homepage:

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 16/06/2019