ERSA/WORLDCOMP KEYNOTE TALK

How Engineering Mathematics can Improve Software,

Prof. David Lorge Parnas,

Middle Road Software, Inc, Canada

Abstract

For many decades we have been promised that the "Formal Methods" developed by computer scientists would bring about a drastic improvement in the quality and cost of software development. That improvement has not materialized. ...

Bio

Dr David Lorge Parnas has been studying industrial software development since 1969. Many of his papers have been found to have lasting value. For example, a paper written 25 years ago, based on a study of avionics software, was recently awarded a SIGSOFT IMPACT award.

ERSA/WORLDCOMP KEYNOTE TALK

The Nature of Cyber Security,

Prof. Eugene Howard Spafford,

Purdue University, USA

Abstract:

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 ...

Bio:

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, ...

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

Abstract:

In this paper, we present an overview of new watermarking and identification techniques for FPGA IP cores. Unlike most existing watermarking techniques, the focus of our techniques lies on ease of verification, ...

Bio:

Jürgen Teich received his masters degree (Dipl.-Ing.) in 1989 from the University of Kaiserslautern (with honours). From 1989 to 1993, he was PhD student at the University of Saarland, Saarbruecken, Germany from where he received his PhD degree (summa cum laude). ...

Logic Design for Access Control, Security, Trust, and Assurance,

Prof. Shiu-Kai Chin,

Syracuse University, USA

Abstract:

Designers of hardware and software are frequently doing their work as part of larger systems where the confidentiality, integrity, and availability of information and other resources is a primary concern. Whether the system is a military one where assurance of mission critical capabilities is paramount, ...

Bio:

Shiu-Kai Chin is a Professor in the Department of Electrical Engineering and Computer Science at Syracuse University, Syracuse, New York. His research applies mathematical logic to the engineering of trustworthy systems. ...

Grounding Trust

Prof. Cynthia Irvine,

Naval Postgraduate School, USA

Abstract:

The word "security" is often defined as "the freedom from danger" or "the freedom from doubt and fear." Life is dangerous, ...

Bio:

Dr. Cynthia Irvine is the Director of the Center for Information Systems Security Studies and Research (CISR) and a Professor of Computer Science at the Naval Postgraduate School, ...

Next Generation Sequencing Data Processing
How reconfigurable computing can help?,

Prof. Dominique Lavenier,

IRISA, Rennes, France

Abstract:

With the fast progress of next generation sequencing (NGS) machines, genomics research is currently strongly shaken. These new biotechnologies generate impressive flow of raw genomic data from which pertinent and significant information must be extracted. ...

Bio:

Dominique Lavenier is a senior CNRS (French National Center for Scientific Research) researcher and Professor at ENS Cachan. He is currently leading the Symbiose bioinformatics research group at IRISA. ...

Reconfigurable and Evolvable Architectures and their role in Designing Computational Systems,

Prof. Andy Tyrrell,

Department of Electronics, The University of York, UK

Abstract:

Biological inspiration in the design of computing machines finds its source in essentially three biological models: phylogenesis, the history of the evolution of the species, ontogenesis, ...

Bio:

Andy Tyrrell received a 1st class honours degree in 1982 and a PhD in 1985, both in Electrical and Electronic Engineering. He joined the Electronics Department at York University in April 1990, he was promoted to the Chair of Digital Electronics in 1998.

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

Abstract:

Field-Programmable Gate-Arrays (FPGAs) are becoming increasingly popular as computing platforms for high-performance embedded systems. Their flexibility and customization capabilities ...

Bio:

He is an Associate Professor with tenure at the Department of Informatics Engineering, Faculty of Engineering of the University of Porto. ...

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

Abstract:

We present the iCore (invasive core), an application specific instruction set processor (ASIP) with a run-time adaptive instruction set. Its adaptivity is controlled by the run-time system with respect to application properties that may vary during run-time. A reconfigurable fabric hosts the adaptive part of the instruction set whereas the rest of he instruction set is fixed. We show that the iCore is particularly beneficial in an embedded multi-core system where it performs applications-specific as well as system-specific tasks. The advantages are demonstrated by means of multi-media applications.

Bio:

Professor Jörg Henkel is currently with Karlsruhe Institute of Technology (KIT), Germany, where he is directing the Chair for Embedded Systems CES. Before, he was with NEC Laboratories in Princeton, NJ. His current research is focused on design and architectures for embedded systems with focus on low power and reliability. Prof. Henkel has organized various embedded systems and low power ACM/IEEE conferences/ symposia as General Chair and Program Chair and was a Guest Editor on these topics in various Journals like the IEEE Computer Magazine. He was Program Chair of CODES'01, RSP'02, ISLPED/06, SIPS'08 and CASES'09 and served as General Chair for CODES'02 and ISLPED 2009. He is/has been a steering committee member of major conferences in the embedded systems field like at ICCAD, Codes+ISSS and is also an editorial board member of various journals like the IEEE TVLSI, JOLPE etc. He has given full/half-day tutorials at leading conferences like DAC, ICCAD, DATE etc. Prof. Henkel received the 2008 DATE Best Paper Award and the 2009 IEEE/ACM William J. Mc Calla ICCAD Best Paper Award. He is the Chairman of the IEEE Computer Society, Germany Section, and the Editor-in-Chief of the ACM Transactions on Embedded Computing Systems (ACM TECS). He is an initiator and the spokes person of the German national program on 'Dependable Embedded Systems' (SPP 1500) funded by the German Science Foundation (DFG). He holds ten US patents.

Design-Space Exploration of Systolic Arrays for Biosequence Algorithms,

Prof. Jeremy Buhler, Prof. Roger Chamberlain, and Dr. Arpith Jacob,

Washington University in St. Louis., USA

Abstract:

The last decade has seen a revolution in technologies to sequence large amounts of DNA. Multiple order-of-magnitude improvements in speed and cost have made direct sequencing the biologist’s choice not only for determining the DNA sequence of a genome ...

Bio:

Jeremy Buhler is an associate professor in the Dept. of Computer Science and Engineering at Washington University in St. Louis. He leads the department’s High Performance Computational Biology Group. ...

Heterogeneous Accelerated Bioinformatics — Perspectives for Impacting Cancer Research and Treatment,

Dr. Eric A. Stahlberg,

US National Cancer Institute, USA

Abstract:

The presentation will provide insight into the areas where reconfigurable and fpga-based computing can contribute to accelerating bioinformatics ...

Bio:

Eric Stahlberg is the director for the bioinformatics core at the US National Cancer Institute. He was recently a visiting computational scientist employed by Wittenberg University where he directs the institution’s efforts in computational science while also serving as president of OpenFPGA Inc.

Can Run-time Reconfigurable Hardware be more Accessible?

Prof. Jim Tørresen,

University of Oslo, Norway

currently a visiting professor at Cornell University

Abstract:

This talk will describe how we are applying FPGA technology for designing high performance run-time reconfigurable computing architectures. This is research undertaken through the project named Context Switching Reconfigurable Hardware for Communication Systems (COSRECOS), funded by the Research Council of Norway for 2009 — 2013.

Bio:

Jim Torresen received his M.Sc. and Dr.ing. (Ph.D) degrees in computer architecture and design from the Norwegian University of Science and Technology, University of Trondheim in 1991 and 1996, respectively.

SAHA: A Self-Adaptive Hardware-Software System Architecture for Ubiquitous Computing Applications,

Prof. Pao-Ann Hsiung and Chun-Hsian Huang,

National Chung Cheng University, Taiwan

Abstract:

In ubiquitous computing environments, services and devices must be dynamically adapted to changing conditions and requirements. Thus, system adaptivity becomes a key requirement in providing better system performance. ...

Bio:

Pao-Ann Hsiung, Ph.D., received his B.S. in Mathematics and his Ph.D. in Electrical Engineering from the National Taiwan University, Taiwan, ROC, in 1991 and 1996, respectively. From 2001 to 2002, he was an assistant professor and from 2002 to 2007 he was an associate professor ...

Design Flows and Run Time Systems for Heterogeneous Multiprocessor Systems on Programmable Chips (MPSOPCS)

Prof. David Andrews,

University of Arkansas, USA

Abstract:

Emerging platform FPGAs will contain over 1 million LUTs, enough to support hundreds of soft programmable cores. This level of integration opens the potential for designers to switch approaches for performance increases from tedious accelerator point designs to more portable and efficient software based scalable parallel processing. ...

Bio:

David Andrews holds the Mullins Endowed Chair of Computer Engineering in the Computer Science and Computer Engineering (CSCE) Department at the University of Arkansas. ...

Bit-Tight Design: A Novel Design Methodology for Reconfigurable Systems,

Prof. Ryan Kastner,

University of California San Diego, CA, USA

Abstract:

Trusted systems fundamentally rely on the ability to tightly control the flow of information both in-to and out-of the device. Due to their inherent programmability, reconfigurable systems are riddled with security holes (timing channels, undefined behaviors, storage channels, backdoors) which can be used as a foothold for attackers to strike. ...

Bio:

Ryan Kastner is an associate professor in the Department of Computer Science and Engineering at the University of California, San Diego. He received a PhD in Computer Science (2002) at UCLA, ...

Establishing Dedicated Functions on Recent FPGA Devices for High-Performance Cryptography,

Prof. Tim Güneysu,

Applied Data Security and Cryptography, Ruhr University Bochum, Germany

Abstract:

This work presents a unique design approach for the implementation of standardized symmetric and asymmetric cryptosystems on modern FPGA devices. In contrast to many other FPGA implementations ...

Bio:

Tim Güneysu is an assistant professor leading the research group "Hardware Security" at Ruhr University of Bochum in Germany. Major research topics of his group are cryptographic and cryptanalytic implementations and systems, in particular involving reconfigurable devices.

High Performance Implementation of Elliptic Curve Cryptography with Reconfigurable Hardware,

Dr. Kimmo Järvinen,

Aalto University, Finland

Abstract:

This work presents a highly optimized FPGA-based implementation of elliptic curve cryptography. The work relies on the state-of-the-art algorithms and implementation techniques. Contrary to many other published elliptic curve processors, ...

Bio:

Dr. Järvinen is currently a postdoctoral researcher in the cryptography group of Department of Information and Computer Science at Aalto University in Espoo, Finland. He has been working in a European Union 7th Framework Programme project Computer Aided Cryptography Engineering ...