Prof. Eugene Howard Spafford
The Nature of Cyber Security,
Prof. Eugene Howard Spafford,
Purdue University, USA
Leading computer security expert
Time: 09:50 - 10:45am
Location: Lance Burton Theater


There is an on-going discussion about establishing a scientific basis for cyber security. Efforts to date have often been ad hoc and conducted without any apparent insight into deeper formalisms. The result has been repeated system failures, and a steady progression of new attacks and compromises.

A solution, then, would seem to be to identify underlying scientific principles of cyber security, articulate them, and then employ them in the design and construction of future systems. This is at the core of several recent government programs and initiatives.

But the question that has not been asked is if “cyber security” is really the correct abstraction for analysis. There are some hints that perhaps it is not, and that some other approach is really more appropriate for systematic study — perhaps one we have yet to define.

In this talk I will provide some overview of the challenges in cyber security, the arguments being made for exploration and definition of a science of cyber security, and also some of the counterarguments. The goal of the presentation is not to convince the audience that either viewpoint is necessarily correct, but to suggest that perhaps there is sufficient doubt that we should carefully examine some of our assumptions about the field.


Eugene Howard Spafford is a Professor in the Purdue University. He is historically significant Internet figure, he is renowned for first analyzing the Morris Worm, one of the earliest computer worms, and his prominent role in the Usenet backbone cabal. Spafford was a member of the President's Information Technology Advisory Committee 2003-2005,[2] has been an advisor to the National Science Foundation (NSF), and serves as an advisor to over a dozen other government agencies and major corporations.

Spafford attended State University of New York at Brockport for three years and completed his B.A. with a double major in mathematics and computer science in that time. He then attended the School of Information and Computer Sciences (now the College of Computing) at the Georgia Institute of Technology. He received his M.S. in 1981, and Ph.D. in 1986 for his design and implementation of the original Clouds distributed operating system kernel.

During the early formative years of the Internet, Spafford made significant contributions to establishing semi-formal processes to organize and manage Usenet, then the primary channel of communication between users, as well as being influential in defining the standards of behavior governing its use.



Prof. David Lorge Parnas, "How Engineering Mathematics can Improve Software"


Professor David Lorge Parnas
How Engineering Mathematics can Improve Software,
Prof. David Lorge Parnas,
Middle Road Software, Inc, Canada
Time: 08:50 - 09:45am
Location: Lance Burton Theater
Prof. David Lorge Parnas, Ph.D., P.Eng. (Ontario)
Dr.h.c.: ETH Zürich, Louvain, Lugano
Professor Emeritus, CAS, Engineering, McMaster University
Hamilton, Ontario, Canada
Professor Emeritus, CSIS, University of Limerick
Limerick, Ireland

Prof. Eugene Howard Spafford, "The Nature of Cyber Security"


Prof. Eugene Howard Spafford
The Nature of Cyber Security,
Prof. Eugene Howard Spafford,
Purdue University, USA
Leading computer security expert
Time: 09:50 - 10:45am
Location: Lance Burton Theater


Prof. Jürgen Teich, "Verifying the Authorship of Embedded IP Cores:..."

Prof. Jürgen Teich
Verifying the Authorship of Embedded IP Cores: Watermarking and Core Identification Techniques,
Prof. Jürgen Teich and Dr. Daniel Ziener,
University of Erlangen-Nuremberg, Germany
Time: 10:40am - 11:10am
Location: Gold Room

Prof. Shiu-Kai Chin, "Logic Design for Access Control,..."

Prof. Shiu-Kai Chin
Logic Design for Access Control, Security, Trust, and Assurance,
Prof. Shiu-Kai Chin,
Syracuse University, USA
Senior Scientist, Serco-NA, Inc.
Time: 11:20am - 11:50am
Location: Gold Room

Prof. Cynthia Irvine, "Grounding Trust"

Prof. Cynthia Irvine
Grounding Trust
Prof. Cynthia Irvine,
Naval Postgraduate School, USA
Time: 11:50am - 12:20pm
Location: Gold Room

Prof. Dominique Lavenier, "Next Generation Sequencing ..."

Prof. Dominique Lavenier
Next Generation Sequencing Data Processing
How reconfigurable computing can help?,
Prof. Dominique Lavenier,
IRISA, Rennes, France
Time: 02:30pm - 03:00pm
Location: Gold Room

Prof. Andy Tyrrell, "Reconfigurable and Evolvable Architectures ..."

Prof. Andy Tyrrell
Reconfigurable and Evolvable Architectures and their role in Designing Computational Systems,
Prof. Andy Tyrrell,
Department of Electronics, The University of York, UK
Time: 03:20pm - 03:50pm
Location: Gold Room

Prof. João M. P. Cardoso, "A New Approach to Control and Guide ..."

Prof. João M.P. Cardoso,
A New Approach to Control and Guide the Mapping of Computations to FPGAs,
Prof. João M.P. Cardoso, et al.,
University of Porto, Portugal
Time: 09:10am - 09:40am
Location: Gold Room

Prof. Jörg Henkel, "iCore: A Run-time Adaptive Processor for ..."

Prof. Jörg Henkel
iCore: A Run-time Adaptive Processor for Embedded Multi-core Systems,
Prof. Jörg Henkel, Lars Bauer and Artjom Grudnitsky,
Karlsruhe Institute of Technology, Germany
Time: 09:50am - 10:20am
Location: Gold Room