Chris Mitchell

Contents

Contact details, Career, Personal, Research interests and activities, Teaching materials, List of publications, Security and other useful links, Useful forms, LaTeX resources, PhD student resources, Footnotes

Contact details

Tel. (direct line) 01784 443423

Tel. (secretary) 01784 443101

Fax: 01784 430766

Email: C.Mitchell@rhul.ac.uk (work) or me@chrismitchell.net (home).

Back to contents list

Career

Prior to his appointment as Professor of Computer Science at Royal Holloway, University of London, in March 1990, he was a Project Manager in the Networks and Communications Laboratory of Hewlett-Packard Laboratories in Bristol, which he joined in June 1985. Between 1979 and 1985 he was at Racal-Comsec Ltd. (Salisbury, UK), part of Racal Electronics Plc, latterly as Chief Mathematician.

Since joining Royal Holloway in 1990 he has played a role in the development of the Information Security Group, and helped launch the MSc in Information Security in 1992 and the MSc in Secure Electronic Commerce in 1999. He spent the academic year 1996-97 on leave of absence from Royal Holloway as a full-time consultant at Europay International, Waterloo, Belgium.

He continues to act as a consultant on a variety of topics in information security.

Back to contents list

Personal

Born in Polegate (Sussex, UK) in 1953, Chris Mitchell attended school in Polegate and Bexhill-on-Sea (Sussex, UK). He received his B.Sc. (1975) and Ph.D. (1979) degrees in Mathematics from Westfield College, University of London.

Since 1983 he has lived in Codford, a small village in Wiltshire.

Here are some pictures of me receiving a cake for my 50th birthday!

A few personal photo albums are now available here.

Back to contents list

Research interests and activities

His main research interests are in information security and combinatorial mathematics and its applications.

The focus of much of his recent research has been on trusted computing and its applications. A summary of recent ISG contributions in this area is provided here.

He has made contributions to a number of international collaborative projects. Current projects include:

• Open Trusted Computing, an EU 6th Framework Integrated Project, will define and implement an open Trusted Computing framework.
• Distributed Trust, an EPSRC funded project investigating the use of trusted computing technologies to support greater levels of trust in the Grid. See also the Trusted Grid Computing home page.
• He is a member of the EPSRC-funded Network of Excellence on Digital Electronic Identity, led by Dr. M. Rajarajan of City University. This two-year collaboration, running from 2008 to 2010, involves a range of industrial and academic partners from the UK and India.

Completed projects include:

• Mobile VCE (Core 3), a UK collaborative programme of research in mobile telecommunications, which ended in September 2005,
• USB_Crypt, an EU 5th framework project that developed a high performance USB security token, and integrated it into a variety of applications, which ended in December 2003,
• Mobile VCE (Core 2), a UK collaborative programme of research in mobile telecommunications, which ended in September 2003,
• PAMPAS (Pioneering Advanced Mobile Privacy And Security), an EU 5th Framework project that established a roadmap for future European research on mobile privacy and security, which ended in July 2003,
• SHAMAN (Security for Heterogeneous Access in Mobile Applications and Networks), an EU 5th Framework project which examined security issues for post 3rd generation mobile telecommunications networks, which ended in February 2003,
• Finger_Card, an EU 5th framework project which developed a smart card with an integrated fingerprint reader and integrated it into a variety of applications, which ended in June 2002,
• USECA, an EU ACTS programme project on mobile systems security, which ended in 2000 (in which RHUL acted as a sub-contractor),
• ASPeCT, an EU ACTS programme project on security for third generation mobile telecommunications systems, which ended in 1998,
• 3GS3, a DTI/EPSRC LINK project on security for third generation mobile telecommunications systems, which ended in 1996. The 3GS3 project produced three Technical reports, all of which are available on line:
1. Technical Report 1 (on Security features, i.e. Security services) - available in zipped pdf;
2. Technical Report 2 (on Security mechanisms) - available in zipped postscript or zipped pdf;
3. Technical Report 3 (on Security architecture) - available in zipped pdf.

He is currently convenor of Technical Panel 2 of BSI IST/33, dealing with Security Mechanisms and providing input to ISO/IEC JTC1/SC27 on which he currently serves as a UK Expert and as editor of three international security standards: ISO/IEC 11770-2 (key management using symmetric techniques - 2nd edition), ISO/IEC 19772 (authenticated encryption) and, as co-editor with Bart Preneel, ISO/IEC 9797-1 (MACs based on block ciphers - 4th edition). He previously served as editor of ISO/IEC 9796-2 (digital signatures giving message recovery - 2nd edition, and a subsequent amendment), ISO/IEC 9798-2 (entity authentication based on symmetric encryption - 2nd edition), ISO/IEC 9798-4 (entity authentication based on MACs - 2nd edition), ISO/IEC 9798-5 (zero-knowledge based authentication protocols - 1st edition), ISO/IEC 9798-6 (manual authentication protocols - 1st edition), ISO/IEC 10118-3 (dedicated hash-functions - 1st edition), and ISO/IEC 18033-1 (encryption - 1st edition). Details of published ISO standards are available from the ISO Web Page.

He has been a member of Microsoft's Trustworthy Computing Academic Advisory Board since 2003, and served as a member of the DoCoMo Euro-Labs Advisory Board between 2005 and 2009. He is a member of the editorial boards of The Computer Journal, IEEE Communications Letters, the International Journal of Information Security, Information Management and Computer Security, KSII Transactions on Internet and Information Systems, and the Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications. He is a member of the accreditation board of Computer and Communications Security Abstracts. He is a member of the Panel of Assessors for the British Computer Society's BCS Professional Advice Register: Security Section. He was appointed as a member of the UKAS Information Security Technical Advisory Forum in 2003.

Back to contents list

Teaching materials

He is currently responsible for teaching part or all of three courses, as follows.

• IY2530 (Team Project in Secure Computing) is a second year undergraduate course. Further information is available at the course web page.
• IY2760 (Information Security) is also a second year undergraduate course. Teaching materials are available from the IY2760 web page.
• IY5608 (Trusted Computing) is a masters level course. Further information is available at the course web page.

Back to contents list

Security and other useful links

Security Workshops at Royal Holloway

Information, including copies of presentations and participant lists, are available for the following security workshops.

• SHAMAN Project Workshop - Security for mobile systems beyond 3G, 25th July 2002.
• PAMPAS '02 - Workshop on Requirements for Mobile Privacy and Security, 16th-17th September 2002.
• Open Workshop on Trusted Computing, 30th March 2004.

Cryptographers

If you are interested in cryptography (and/or cryptographers), then the following web pages are recommended.

• Jan Camenisch's homepages of some cryptographers.
• Kevin McCurley's cryptography research links page.
• David Wagner's list of cryptography people.

Upcoming conferences

• Under construction.

For information about the IACR conferences (Crypto, Eurocrypt and Asiacrypt) see the IACR web site.

Extremely useful and comprehensive lists of conferences with a security component are available here and here.

Security literature links

• The arXiv.org site provides open access to an huge range of e-prints.
• Cipher is the electronic newsletter of the IEEE TC on Security and Privacy.
• For reviews of a wide spectrum of security-related literature see Computer and Communications Security Abstracts.
• Why not have a look at the Electronic Notes in Discrete Mathematics?
• Similarly, why not have a look at the Electronic Notes in Theoretical Computer Science?
• For information about Internet payment systems have a look at the Electronic Payments Forum.
• An electronic version of the invaluable Handbook of Applied Cryptography is available.
• Security-related information is available at the IEEE Distributed Systems Online: Security web page.
• The Internet Protocol Journal is not only free to download but it contains a lot of very useful Internet-related articles, including a number that are security-related.
• For a most enjoyable read, have a look at this on-line publication - the Journal of Craptology.
• The leading academic journal on Cryptology is almost certainly the Journal of Cryptology.
• For a very useful bibliography on Security in Mobile Agent Systems click here.
• Finally, the journal Information & Security is available electronically.

General research links

• The PhD comics web page is compulsory reading for all PhD students (and supervisors of PhD students).
• The on-line encyclopaedia of integer sequences is not only a valuable research tool but also enormous fun.
• The Mathematics Genealogy Project is a source of fascinating information.

Random but fun links

• The www.spatial-literacy.org page gives the concentrations of people in the various parts of the UK who possess any given surname.
• Here is a top page for music (and badger) lovers.
• If you like llamas, then this will be a top choice.
• Not forgetting Yatta! of course...
• Here is a link to another Chris Mitchell's rather fun page.

Security standards links

• See ANSI online for information on ANSI standards.
• Information on CEN standards is available from here. CEN Workshop Agreements are available for download from here.
• For information regarding the CEPS standards, go to the CEPSco web site.
• The Common Criteria Project Home Page provides access to the latest version (v2.1) of the Common Criteria, which are technically identical to ISO/IEC 15408 Parts 1-3.
• For copies of the EMV standards, and related documentation, go to the EMVCo site.
• The ETSI web site allows downloading of ETSI standards, including those for GSM.
• All the standards produced by the European Committee for Banking Standards (ECBS) are available for free download here.
• General information on IEEE standards is available here. Specific information on IEEE P1363 is available at the P1363 home page. The IEEE 802 series standards (=ISO/IEC 8802) are now freely downloadable here. Also of relevance is Bernard Aboba'a comprehensive Unofficial 802.11 security web page.
• The Internet (IETF) documents, including current drafts, are all available at the IETF home page. Expired drafts are available here.
• There is now an online version of the ISO register of cryptographic algorithms.
• For information regarding published ISO standards, see the ISO web site. Note that those ISO standards that are publicly available (only a small number I'm afraid) are available here. There is also an ISO/IEC SC27 web-site, with general information about security standards.
• The ISO 17799 forum page contains much useful information about ISO/IEC 17799.
• For information regarding published ITU-T recommendations, click here.
• The NIST FIPS publications are all available on-line here.
• The PKCS standards are available at the RSA Laboratories site.
• The IACS web site provides information on UK Infosec Assurance and Certification Services (IACS) and gives access to a range of specifications and supporting documents relating to product evaluation under the Common Criteria and ITSEC.
• The 3GPP documents (technical specifications for a 3rd generation mobile system) are available from here.

Back to contents list

LaTeX resources

General information

• A very useful introduction to LaTeX can be found here.
• Another good place to start is the TeX Users Group web page.
• Yet another excellent introduction to LaTeX, BibTeX, document writing, and much else besides, is available here.
• What amounts to a free and comprehensive book on LaTeX is available here.
• The MiKTeX distribution of LaTeX can be downloaded from here.
• The Short Math Guide for Latex covers a host of useful material relating to typesetting Mathematics.
• I find the Great, Big List of LaTeX Symbols invaluable.
• Last but not least, try the TeX Frequently Asked Questions list.

Handling graphics

• If you need to include pictures in a LaTeX document, then good advice is available here or here.
• A small command line program called jpeg2eps will convert images from jpeg to eps format.

General tools

• If you need an editor to create and modify your LaTeX files, then WinEdt is very highly recommended (although there is a modest licence fee). Another useful tool is TeXnicCenter, which has the advantage of being completely free.
• lgrind is a tool that pre-formats source code in various programming languages for best presentation when included in a LaTeX file. Information on setting up lgrind for windows platforms is available here.
• The tth tool will convert from LaTeX to html format.
• Figures and tables can sometimes be a little tricky to manage, especially if you have a lot! There is some helpful advice on the University of Cambridge Engineering Department pages.

Bibliography tools

• A lot of useful information on use of the BibTeX bibliography tool is available here. By the way, it is important to be aware that some of the BibTeX provided on the web, e.g. at the Citeseer website, is not very useful, and is often completely erroneous. There is no substitute for compiling your own correct entries (or at least checking entries you are importing from elsewhere).
• The jabref tool can be used to manipulate BibTeX entries. However, whilst this may be a useful tool, remember that if you put garbage in, you get garbage out. Precision and completeness is extremely important when dealing with bibliographies.

Ph.D. thesis templates

• A template used by a number of past Ph.D. students, particularly those completing theses in Pure Mathematics, is available here. Please note that there is no guarantee that this template will generate a thesis in accordance with the current university regulations - please check the regulations before, during and after writing your thesis.
• A Ph.D. thesis template provided by the Imperial College Mathematics Department is available (together with other useful resources) here.

Back to contents list

Footnotes

Page most recently updated on 30/5/10. Please send all comments and corrections to C.Mitchell@rhul.ac.uk.

Back to contents list