This is the research website of David Llewellyn-Jones, Reader in Computer Security at Liverpool John Moores University, School of Computing and Maths. My main research areas cover network security, secure component composition and visualisation. Here are a few links related to my work:

To see a list of my publications and the projects I'm involved with, select the links in the Navigation box.

About me

My portrait

I originally studied Mathematics and Philosophy at St. Peter's College, part of the University of Oxford. Having completed my degree I then went on to do a PhD in Mathematical Logic and Model theory at Birmingham University under the supervision of Richard Kaye. For more information about this, please see the maths page on my personal site.

On completing my PhD I started work for Codemasters as a programmer, working on Toca Race Driver, a driving game. I stayed there for nearly two years, but eventually decided to move back into academia, to the position that I'm currently in here at Liverpool John Moores University.

Research interests

  • Secure Component Composition: A feature of network computing is the constant interaction between systems. This includes Web services, embedded devices, Websites and Internet-enabled devices of all sorts. This has important ramifications in terms of security, as the composition of multiple components can have unexpected effects on the security properties of a larger system. An important part of my research involves considering how component composition affects security properties, and how this can be used advantageously.
  • Security Visualisation: most people are quite-rightly ambivalent about security. They know it's important, but don't want to have to spend lots of time dealing with it. On the other hand, Internet security can be technical and abstract. Presenting security information in an understandable, immediate, interactive and accurate way is challenging. I feel it's important to find rigorous and systematic ways to achieve this.
  • Code Analysis and Reasoning: establishing security properties of executable code can be difficult. One way to achieve this is by performing code analysis, in order to turn the code into a form of propositional logic that a computer can then reason about. The processes involved are exciting (to me!), and I'm very interested in researching techniques that can allow code analysis to be performed automatically and efficiently. Part of this work involves automatic proof generation, based on the logical statements obtained.
  • Model Theory and Logic: my PhD area was in mathematical logic and model theory, considering the characteristics of the automorphism groups of models of Presburger Arithmetic. This is a very pure subject, but is fascinating in its own right. There's also scope for using results in this area to improve how computers can reason about code through Direct Code Analysis, for example for security analysis.


Contact me by e-mailed at I'll happily accept PGP encrypted e-mail using my public key.


blog comments powered by Disqus