Computer Science Colloquium
Prof. Dr. Michael Franz
University of California at Irvine, USA
Leveraging Parallel Hardware to Eradicate Worms, Viruses and Common Programming ErrorsMon 17.03.2008, 16:15, 60 minutes
AbstractMany large software projects contain residual buffer-overrun vulnerabilities that somehow have managed to escape static analysis and source code reviews. We present an automated software-only technique to detect at run-time when such residual vulnerabilities are exploited, enabling us to stop attacks before they can cause damage. Our technique is based on generating several slightly different variants of the same software and running these variants simultaneously and in lock-step on different cores of a multiprocessor. The different variants are created in such a way that their behavior under
BioMichael Franz is a Full Professor of Computer Science in the Donald Bren School of Information and Computer Science at the University of California, Irvine (UCI) and has an additional courtesy appointment as a Full Professor of Electrical Engineering and Computer Science in the Henry Samueli School of Engineering. Franz received a Dr. sc. techn. degree in Computer Science (advised by Niklaus Wirth) and a Dipl. Informatik-Ing. degree, both from the Swiss Federal Institute of Technology, ETH Zurich. He is a Distinguished Member of ACM and a Senior Member of IEEE.
Invited by o. Univ.-Prof. Dr. Hanspeter Mössenböck
The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).