Jorden Whitefield
Blog Publications Projects Experience CV Contact
Profile photo

I am a Security Technology Specialist at Ericsson. I was a visiting Post Doc for six months in the Secure Systems Group (SSG) at Aalto University. Additionally, I done my PhD with the Surrey Centre for Cyber Security at the University of Surrey. My PhD was under the supervision of Helen Treharne, Steve Schneider and Liqun Chen. My PhD was funded by the EPSRC and Thales UK. As part of my PhD I completed an iCASE placement at Thales UK Research and Technology in Reading, and Thales eSecurity in Cambridge, UK.

My current research interests lie in the areas of formal modelling and verification of security protocols, and platform security. In the past, I have worked on the development and implementation of model checking tools ProB and LTSmin. Future research directions I am interested in pursuing, are trusted computing technologies and investigating areas of application.

Want to learn more about me? See my CV. See my Blog.

Publications

  • See my publications
  • for what I've been working
  • on, and what interests me.
Full details

Projects

  • See what project(s)
  • I've been working on, both professional and personal.
Explore

Experience

  • See my history
  • of academic services,
  • and employment.
Learn more
© Jorden Whitefield 2017-2019