Some Presentations - Generally Powerpoint
Here are the powerpoint slides from some presentations (with some on the
Feel free to use them, but do give a polite acknowlegement!
- Security And Refinement. RefineNet
Workshop, York 8.9.2004. John A Clark, Susan Stepney and Howard Chivers.
Will Out Away Presentation
Day to CS Department, Pavilion 9.1.2004
Past, Present and Future of Search-based Software Engineerting for the
Next Thirty Minutes. SBSE Workshop in Windsor Great Park, 15-16
agents leave big footprints: how to plant a trapdoor in a cryptographic
why you might not get away with it. Presentation to GECCO. 16
July 2003. Will appear very soon. Previous version to security SIG is here.
Computing. A tangential talk given to York Computer Science and
Genetic Programming. Talk to Quantum SIG
(York 16 Jan 2003)
- FORTEST. NonStandard
Software Testing. From Process Algebras to FPGAs. FORTEST workshop 6-7
Boolean Functions with Multple Criteria. John A Clark, Jeremy L
Jacob, Susan Stepney, Subhamoy Maitra and William Millan. Indocrypt 2002.
Hydrabad, India. Dec 2002.
- Tutorial on Quantum
Genetic Programming. SEMINAL Workshop October 2002.
- COMPSAC 2002. Panel
session on Formal Methods and Testing (John Clark and the jolly FORTEST
bunch). August 2002. (On acetate)
Computing. Sensors Galore, Information Warfare and Death in IKEA Informal
Presentation to York CS (6.08.02)
Injection and a Timing Channel on an Analysis Technique. Presentation
to Eurocrypt. (1.5.02)
on Change, Tough on the Causes of Change. Improving Software in Engine
Controllers. CONVERSE Poster at programme wash-up.
Odd Take on Formality and Testing: A Title Best Left Unannounced???
FORTEST Network Presentation. 26.03.02.
Evolution of Protocol Security and Insecurity Presentation to DCS Kent
at Canterbury (19.02.2002).
- The CONVERSE Project:
Tough on Change, Tough on the Causes of Change.
Safety and Security. Presentation to DARP Workshop 2001. Special
Interest Group in Security
and Breaking Security Protocols with Heuristic Optimisation. Presentation
to IBM Hursley Technology Week (13.02.2001).
are Programs Too: Using GAs to Evolve Secure Protocols. Presentation
to SEMINAL Workshop in Bath (2.3.2000).
Warping and Computational Dynamics in the Solution of NP-hard Problems Presentation
to SEMINAL Workshop in Berlin (26.07.2001)
2000. Panel session Future of Mutation Testing and Its
Application (An Outsider’s View) John Clark (also Martin Woodward, Rich
DeMilo, Richard Lipton). The future of mutation testing. San Jose October
2000. When I find where I put it.
Stage Optimisation in the Design of Boolean Functions John A Clark
and Jeremy L Jacob. Proceedings of the 5th Australian Conference on
Security and Information Privacy 2000 (ACSIP 2000). This is on home PC get
- 10 December 2000.
Presentation in evaluating ITSEC E6 to CESG. Where is it?
- December 2000. Presentation
to UK Civil Service.