I no longer work at the University of Kent so this blog space is historic.

There is a lot of useful information about my work available elsewhere:

• I now work at the Cyber Technology Institute at De Montfort University, email
  eerke.boiten@dmu.ac.uk;

• I still have an official personal homepage at Kent
• There are more recent articles on The Conversation than on this blog
• I used to run the University of Kent Cyber Security Centre (now an Academic Centre of Excellence in Cyber Security Research)
• and the EPSRC CryptoForma network
• I’ve also been organising the BCS-FACS Refinement Workshop homepage and RefineNet for over 10 years
• The easiest overview of my publications and citations is on my Google Scholar profile
• On Twitter, my professional account is @EerkeBoiten