ISG Smart Card and IoT Security Centre

  • Home
  • Research
    • Funded Projects
    • Research Areas
  • Partners
    • Members
    • Founding Members
  • Education
    • PhD Opportunities
    • MSc Projects
    • Customised Courses
  • People
    • Staff
    • PhD Students
    • Guest Lecturers and Researchers
    • Undergraduate Research Opportunities (UROP) Students
  • Publications
    • Research Papers
    • Books
      • Supplementary Information
  • Events
    • Smart Card and IoT Security Centre Open Day 2019
    • Smart Card and IoT Security Centre Open Day 2017
    • Smart Card and IoT Security Centre Open Day 2015
  • News

Security Protocol Design

You are here:Home » Research » Research Areas » Security Protocol Design

Currently, there are several secure channel protocols that do not take into account the specific characteristics (e.g. processing overheads, communication buffers, etc.) of the underlying technology utilised by different devices. We have proposed several secure channel protocols that were designed specifically by taking into account all these factors. We have pioneered the security evaluation of cryptographic protocols, in particular using mechanical tools (Casper FDR, Avispa, etc.).

Latest News

  • Post-Doctoral Research Fellow in Mobile Phone Forensics
  • Keynote Talk
  • World Economic Forum
  • PhD Graduation
  • Patent and commercialization
Contact Us

Smart Card and IoT Security Centre
Information Security Group,
Royal Holloway, University London, Egham,
Surrey,
TW20 0EX, UK

maps and directions
back up
© Copyright 2025 ISG Smart Card and IoT Security Centre