Some Presentations - Generally Powerpoint

Here are the powerpoint slides from some presentations (with some on the horizon).
Feel free to use them, but do give a polite acknowlegement!
JAC

• Security And Refinement. RefineNet Workshop, York 8.9.2004. John A Clark, Susan Stepney and Howard Chivers.
• Answers Will Out Away Presentation Day to CS Department, Pavilion 9.1.2004
• The Past, Present and Future of Search-based Software Engineerting for the Next Thirty Minutes. SBSE Workshop in Windsor Great Park, 15-16 September 2003.
• Secret agents leave big footprints: how to plant a trapdoor in a cryptographic function and
  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.
• Quantum Computing. A tangential talk given to York Computer Science and visitors.
• Quantum Genetic Programming. Talk to Quantum SIG (York 16 Jan 2003)
• FORTEST. NonStandard Software Testing. From Process Algebras to FPGAs. FORTEST workshop 6-7 January 2003.
• Evolving 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)
• Pervasive Computing. Sensors Galore, Information Warfare and Death in IKEA Informal Presentation to York CS (6.08.02)
• Fault Injection and a Timing Channel on an Analysis Technique. Presentation to Eurocrypt.  (1.5.02)
• Tough on Change, Tough on the Causes of Change. Improving Software in Engine Controllers. CONVERSE Poster at programme wash-up.
• An Odd Take on Formality and Testing:  A Title Best Left Unannounced??? FORTEST Network Presentation. 26.03.02.
• The Evolution of Protocol Security and Insecurity Presentation to DCS Kent at Canterbury (19.02.2002).
• DPhil Seminar 24.7.2001
• The CONVERSE Project: Tough on Change, Tough on the Causes of Change.
• Unifying Safety and Security. Presentation to DARP Workshop 2001. Special Interest Group in Security
• Making and Breaking Security Protocols with Heuristic Optimisation. Presentation to IBM Hursley Technology Week (13.02.2001).
• Protocols are Programs Too: Using GAs to Evolve Secure Protocols. Presentation to SEMINAL Workshop in Bath (2.3.2000).
• Problem Warping and Computational Dynamics in the Solution of NP-hard Problems Presentation to SEMINAL Workshop in Berlin (26.07.2001)
• Mutation 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.
• Two 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 it.
• 10 December 2000. Presentation in evaluating ITSEC E6 to CESG. Where is it?
• December 2000. Presentation to UK Civil Service.