url='http://www.cl.cam.ac.uk/~dl551/',
section='Dr David Llewellyn-Jones',
webmaster=(name='David Llewellyn-Jones',
           url='/~dl551/#contact'),
copyright_holder='David Llewellyn-Jones',
obfuscate_email=1,
navbar=0,
navtop=0,
breadcrumbs=1,
svninfo=1,
breadcrumbprefix=(
	(href="http://www.cl.cam.ac.uk/", "Computer Laboratory"),
	(href="http://www.cl.cam.ac.uk/research", "Research"),
	(href="http://www.cl.cam.ac.uk/research/security", "Security")
),