Lecture Notes in Computer Science 5587

Size: px
Start display at page:

Download "Lecture Notes in Computer Science 5587"

Transcription

1 Lecture Notes in Computer Science 5587 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Ulrich Flegel Danilo Bruschi (Eds.) Detection of Intrusions and Malware, and Vulnerability Assessment 6th International Conference, DIMVA 2009 Como, Italy, July 9-10, 2009 Proceedings 13

3 Volume Editors Ulrich Flegel SAP Research Center Karlsruhe Karlsruhe, Germany Danilo Bruschi Università degli Studi di Milano Dipartimento di Informatica e Comunicazione Milano, Italy bruschi@dico.unimi.it Library of Congress Control Number: Applied for CR Subject Classification (1998): E.3, K.6.5, K.4, C.2, D.4.6 LNCS Sublibrary: SL 4 Security and Cryptology ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface On behalf of the Program Committee, it is our pleasure to present the proceedings of the 6th GI International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment (DIMVA). Since 2004, DIMVA annually brings together leading researchers and practitioners from academia, government and industry to present and discuss novel security research. DIMVA is organized by the Special Interest Group Security Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). The DIMVA 2009 Program Committee received 44 submissions from industrial and academic organizations from 17 different countries. Each submission was carefully reviewed by at least three Program Committee members or external experts. The submissions were evaluated on the basis of scientific novelty, importance to the field and technical quality. The final selection took place at the Program Committee meeting held on March 23, 2009, in Brussels, Belgium. Ten full papers and three extended abstracts were selected for presentation and publication in the conference proceedings. The conference took place during July 9 10, 2009, at Villa Gallia, Lake Como, Italy, with the program grouped into five sessions. Two keynote speeches were presented by Richard A. Kemmerer (University of California, Santa Barbara) and Henry Stern (Ironport / Cisco). The conference program was complemented by the Capture-the-Flag contest CIPHER (Challenges in Informatics: Programming, Hosting and ExploRing) organized by Lexi Pimenidis (idev GmbH) and a rump session organized by Sven Dietrich (Stevens Institute of Technology). A successful conference is the result of the joint effort of many people. In particular, we would like to thank all the authors who submitted contributions. We also thank the Program Committee members and the additional reviewers for their hard work and diligent evaluation of the submissions. In addition we thank Thorsten Holz (University of Mannheim) for sponsor arrangements and Sebastian Schmerl (Technical University of Cottbus) for advertising the conference. July 2009 Ulrich Flegel Danilo Bruschi

5 Organization DIMVA was organized by the Special Interest Group Security Intrusion Detection and Response (SIDAR) of the German Informatics Society (GI). Organizing Committee General Chair Program Chair Rump Session Chair Sponsorship Chair Publicity Chair Danilo M. Bruschi, Università degli Studi di Milano, Italy Ulrich Flegel, SAP Research Sven Dietrich, Stevens Institute of Technology, USA Thorsten Holz, University of Mannheim, Germany Sebastian Schmerl, Technical University of Cottbus, Germany Program Committee Thomas Biege Gunter Bitz Herbert Bos Danilo Bruschi Roland Büschkes Marc Dacier Hervé Debar Sven Dietrich Toralv Dirro Thomas Dullien Bernhard Hämmerli Marc Heuse Thorsten Holz Erland Jonsson Klaus Julisch Engin Kirda Christian Kreibich Christopher Kruegel Pavel Laskov Wenke Lee Javier Lopez Novell, Germany SAP AG, Germany Vrije Universiteit Amsterdam, The Netherlands Università degli Studi di Milano, Italy RWE IT, Germany Symantec Research Labs Europe, France France Télécom R&D, France Stevens Institute of Technology, USA McAfee Avert Labs, Germany Zynamics, Germany Acris GmbH and HSLU Lucerne, Switzerland Baseline Security Consulting, Germany University of Mannheim, Germany Chalmers University of Technology, Sweden IBM Zurich Research Laboratory, Switzerland Eurecom, France International Computer Science Institute, USA UC Santa Barbara, USA University of Tuebingen, Germany Georgia Institute of Technology, USA University of Malaga, Spain

6 VIII Organization John McHugh Michael Meier George Mohay Martin Rehák Konrad Rieck Sebastian Schmerl Robin Sommer Salvatore Stolfo Peter Szor Bernhard Thurm Al Valdes UNC and Dalhousie University, Canada Technical University of Dortmund, Germany Queensland University of Technology, Australia Czech Technical University in Prague, Czech Republic Berlin Institute of Technology, Germany BTU-Cottbus, Germany ICSI/LBNL, USA Columbia University, USA Symantec Corporation, USA SAP Research, Germany SRI International, USA Additional Reviewers Martin Apel Marco Balduzzi Ulrich Bayer Armin Büscher Patrick Duessel Manuel Egele Christian Gehl Cristian Grozea Grégoire Jacob Wolfgang John Matthias Kohler Tammo Krueger Lorenzo Martignoni Tomas Olovsson Emanuele Passerini Pratap Prabhu Guido Schwenk Asia Slowinska Steering Committee Chairs Members Ulrich Flegel, SAP Research Michael Meier, Technical University of Dortmund, Germany Roland Büschkes, RWE IT Hervé Debar,FranceTélécom R & D, France Bernhard Hämmerli, Acris GmbH and HSLU Lucerne, Switzerland Marc Heuse, Baseline Security Consulting Klaus Julisch, IBM Zurich Research Lab, Switzerland Christopher Kruegel, UC Santa Barbara, USA Pavel Laskov, University of Tuebingen, Germany Robin Sommer, ICSI/LBNL Diego Zamboni, IBM Zurich Research Lab, Switzerland

7 Table of Contents Malware and SPAM A Case Study on Asprox Infection Dynamics... 1 Youngsang Shin, Steven Myers, and Minaxi Gupta How Good Are Malware Detectors at Remediating Infected Systems? Emanuele Passerini, Roberto Paleari, and Lorenzo Martignoni Towards Proactive Spam Filtering (Extended Abstract) Jan Göbel, Thorsten Holz, and Philipp Trinius Emulation-Based Detection Shepherding Loadable Kernel Modules through On-demand Emulation Chaoting Xuan, John Copeland, and Raheem Beyah Yataglass: Network-Level Code Emulation for Analyzing Memory-Scanning Attacks Makoto Shimamura and Kenji Kono Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks Manuel Egele, Peter Wurzinger, Christopher Kruegel, and Engin Kirda Software Diversity Polymorphing Software by Randomizing Data Structure Layout Zhiqiang Lin, Ryan D. Riley, and Dongyan Xu On the Effectiveness of Software Diversity: A Systematic Study on Real-World Vulnerabilities Jin Han, Debin Gao, and Robert H. Deng Harnessing Context Using Contextual Information for IDS Alarm Classification (Extended Abstract) François Gagnon, Frédéric Massicotte, and Babak Esfandiari

8 X Table of Contents Browser Fingerprinting from Coarse Traffic Summaries: Techniques and Implications Ting-Fang Yen, Xin Huang, Fabian Monrose, and Michael K. Reiter A Service Dependency Modeling Framework for Policy-Based Response Enforcement Nizar Kheir, Hervé Debar, Frédéric Cuppens, Nora Cuppens-Boulahia, and Jouni Viinikka Anomaly Detection Learning SQL for Database Intrusion Detection Using Context-Sensitive Modelling (Extended Abstract) Christian Bockermann, Martin Apel, and Michael Meier Selecting and Improving System Call Models for Anomaly Detection Alessandro Frossi, Federico Maggi, Gian L. Rizzo, and Stefano Zanero Author Index

Lecture Notes in Computer Science 7007

Lecture Notes in Computer Science 7007 Lecture Notes in Computer Science 7007 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment Ulrich Flegel Evangelos Markatos William Robertson (Eds.) LNCS 7591 Detection of Intrusions and Malware, and Vulnerability Assessment 9th International Conference, DIMVA 2012 Heraklion, Crete, Greece,

More information

Lecture Notes in Computer Science 4409

Lecture Notes in Computer Science 4409 Lecture Notes in Computer Science 4409 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3511

Lecture Notes in Computer Science 3511 Lecture Notes in Computer Science 3511 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4728

Lecture Notes in Computer Science 4728 Lecture Notes in Computer Science 4728 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4454

Lecture Notes in Computer Science 4454 Lecture Notes in Computer Science 4454 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5004

Lecture Notes in Computer Science 5004 Lecture Notes in Computer Science 5004 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3819

Lecture Notes in Computer Science 3819 Lecture Notes in Computer Science 3819 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4214

Lecture Notes in Computer Science 4214 Lecture Notes in Computer Science 4214 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7480

Lecture Notes in Computer Science 7480 Lecture Notes in Computer Science 7480 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Artificial Intelligence 3176

Lecture Notes in Artificial Intelligence 3176 Lecture Notes in Artificial Intelligence 3176 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science Olivier Bousquet Ulrike von Luxburg Gunnar Rätsch (Eds.) Advanced

More information

Lecture Notes in Artificial Intelligence 2155

Lecture Notes in Artificial Intelligence 2155 Lecture Notes in Artificial Intelligence 2155 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis,

More information

Lecture Notes in Computer Science 6663

Lecture Notes in Computer Science 6663 Lecture Notes in Computer Science 6663 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4401

Lecture Notes in Computer Science 4401 Lecture Notes in Computer Science 4401 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7342

Lecture Notes in Computer Science 7342 Lecture Notes in Computer Science 7342 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4797

Lecture Notes in Computer Science 4797 Lecture Notes in Computer Science 4797 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5474

Lecture Notes in Computer Science 5474 Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 8341

Lecture Notes in Computer Science 8341 Lecture Notes in Computer Science 8341 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2497 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Enrico Gregori Giuseppe Anastasi Stefano

More information

Lecture Notes in Computer Science 5671

Lecture Notes in Computer Science 5671 Lecture Notes in Computer Science 5671 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Research Reports ESPRIT

Research Reports ESPRIT Research Reports ESPRIT Project 393. ACORD. Vol. 1 Edited in cooperation with the Commission of the European Communities G. G. Bes T. Guillotin (Eds.) A Natural Language and Graphics Interface Resu Its

More information

Lecture Notes in Computer Science 4883

Lecture Notes in Computer Science 4883 Lecture Notes in Computer Science 4883 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5581

Lecture Notes in Computer Science 5581 Lecture Notes in Computer Science 5581 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Artificial Intelligence 4327

Lecture Notes in Artificial Intelligence 4327 Lecture Notes in Artificial Intelligence 4327 Edited by J. G. Carbonell and J. Siekmann Subseries of Lecture Notes in Computer Science (Eds.) Declarative Agent Languages and Technologies IV 4th International

More information

Lecture Notes in Computer Science 6037

Lecture Notes in Computer Science 6037 Lecture Notes in Computer Science 6037 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

CoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

CoPDA Barbara Rita Barricelli Ali Gheitasy Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2014 2nd International Workshop on Cultures of Participation in the Digital Age: Social computing for Working, Learning, and Living CoPDA 2014 Como,

More information

Lecture Notes in Computer Science 4449

Lecture Notes in Computer Science 4449 Lecture Notes in Computer Science 4449 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 10644

Lecture Notes in Computer Science 10644 Lecture Notes in Computer Science 10644 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 3527

Lecture Notes in Computer Science 3527 Lecture Notes in Computer Science 3527 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5083

Lecture Notes in Computer Science 5083 Lecture Notes in Computer Science 5083 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 9804

Lecture Notes in Computer Science 9804 Lecture Notes in Computer Science 9804 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,

More information

L.O. Hertzberger, University of Amsterdam, The Netherland, T. Kanade, CMU, Pittsburg, USA

L.O. Hertzberger, University of Amsterdam, The Netherland, T. Kanade, CMU, Pittsburg, USA IAS Series Conferences, IAS-1 to IAS-12, 1986-2012 Intelligent Autonomous Systems Amsterdam, The Netherland, 8-11 December 1986 L.O. Hertzberger, University of Amsterdam, The Netherland Program Chairman

More information

Lecture Notes in Computer Science 5438

Lecture Notes in Computer Science 5438 Lecture Notes in Computer Science 5438 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

CoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.)

CoPDA Barbara Rita Barricelli Gerhard Fischer Anders Mørch Antonio Piccinno Stefano Valtolina (Eds.) Barbara Rita Barricelli Stefano Valtolina (Eds.) CoPDA 2015 3rd International Workshop on Cultures of Participation in the Digital Age: Coping with Information, Participation, and Collaboration Overload

More information

Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo

Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo The Mathematical World ofwalter Noll Springer Berlin Heidelberg NewYork Barcelona Budapest HongKong London Milan Paris Santa Clara Singapore Tokyo Yurie A.Ignatieff The Mathematical World of Walter Noll

More information

Lecture Notes in Computer Science 3507

Lecture Notes in Computer Science 3507 Lecture Notes in Computer Science 3507 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 6035

Lecture Notes in Computer Science 6035 Lecture Notes in Computer Science 6035 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

German Yearbook on Business History 1986

German Yearbook on Business History 1986 German Yearbook on Business History 1986 German Yearbook on Business History 1986 Edited by the German Society for Business History, Cologne in Cooperation with the Institute for Bank-Historical Research,

More information

Lecture Notes in Computer Science 6092

Lecture Notes in Computer Science 6092 Lecture Notes in Computer Science 6092 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7149

Lecture Notes in Computer Science 7149 Lecture Notes in Computer Science 7149 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 8036

Lecture Notes in Computer Science 8036 Lecture Notes in Computer Science 8036 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison, UK Josef Kittler,

More information

Lecture Notes in Computer Science 6647

Lecture Notes in Computer Science 6647 Lecture Notes in Computer Science 6647 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7189

Lecture Notes in Computer Science 7189 Lecture Notes in Computer Science 7189 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 5284

Lecture Notes in Computer Science 5284 Lecture Notes in Computer Science 5284 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Curriculum Vitae for Marlis Buchman

Curriculum Vitae for Marlis Buchman Curriculum Vitae for Marlis Buchman AREAS OF SPECIALIZATION Sociology of the Life Course (including Sociology of Youth) Social Change Social Stratification and Mobility Sociology of Work, Occupations,

More information

Lecture Notes in Computer Science 8031

Lecture Notes in Computer Science 8031 Lecture Notes in Computer Science 8031 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 6705

Lecture Notes in Computer Science 6705 Lecture Notes in Computer Science 6705 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Early Modern Philosophers and the Renaissance Legacy

Early Modern Philosophers and the Renaissance Legacy Early Modern Philosophers and the Renaissance Legacy INTERNATIONAL ARCHIVES OF THE HISTORY OF IDEAS ARCHIVES INTERNATIONALES D HISTOIRE DES IDÉES 220 EARLY MODERN PHILOSOPHERS AND THE RENAISSANCE LEGACY

More information

Lecture Notes in Artificial Intelligence

Lecture Notes in Artificial Intelligence Lecture Notes in Artificial Intelligence 835 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos and J. Hartmanis

More information

Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th.

Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. Welcome to Workshop Designing Collaborative Interactive Spaces for e Creativity, e Science and e Learning AVI 2012, Capri, Italy, May 25 th. 1 Raimund Dachselt TU Dresden, Germany Organizers Gerhard Fischer

More information

Intelligent Primary School Project in Italy

Intelligent Primary School Project in Italy Please cite this paper as: Ponti, G. (2007), Intelligent Primary School Project in Italy, PEB Exchange, Programme on Educational Building, 2007/02, OECD Publishing, Paris. http://dx.doi.org/10.1787/255378247044

More information

International Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France

International Conference on Image and Signal Processing. July 2-4, 2018, Cherbourg, France International Conference on Image and Signal Processing July 2-4, 2018, Cherbourg, France ICISP in numbers Stats. From 122 records (full papers), Each paper has been reviewed at least by 2 experts 58 papers

More information

Lecture Notes in Computer Science 9596

Lecture Notes in Computer Science 9596 Lecture Notes in Computer Science 9596 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 9249

Lecture Notes in Computer Science 9249 Lecture Notes in Computer Science 9249 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 10852

Lecture Notes in Computer Science 10852 Lecture Notes in Computer Science 10852 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2386 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Eerke A. Boiten Bernhard M ller (Eds.)

More information

Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07

Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07 Montréal, Canada 2007 Proceedings & Companion WikiSym 07, ISMM 07, HPC-GECO/CompFrame 07, DLS 07 Palais des congrès de Montréal October 21 25 SIGPLAN ISBN 978-1-59593-858-9 Order # 548075 OOPSLA 2007,

More information

Lecture Notes in Computer Science 6697

Lecture Notes in Computer Science 6697 Lecture Notes in Computer Science 6697 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4935

Lecture Notes in Computer Science 4935 Lecture Notes in Computer Science 4935 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7896

Lecture Notes in Computer Science 7896 Lecture Notes in Computer Science 7896 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Non-functional Properties in Modeling: Analysis, Languages and Processes

Non-functional Properties in Modeling: Analysis, Languages and Processes Simona Bernardi Marko Bošković José Merseguer Non-functional Properties in Modeling: Analysis, Languages and Processes 5th International Workshop NiM-ALP 2013 Miami, FL, USA, 29 September 2013 Proceedings

More information

Lecture Notes in Computer Science 7744

Lecture Notes in Computer Science 7744 Lecture Notes in Computer Science 7744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Fractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color

Fractals and Chaos. A.J. Crilly R.A. Earnshaw H. Jones Editors. With 146 Figures in 173 Parts, 57 in Color Fractals and Chaos A.J. Crilly R.A. Earnshaw H. Jones Editors Fractals and Chaos With 146 Figures in 173 Parts, 57 in Color Springer-Verlag New York Berlin Heidelberg London Paris Tokyo Hong Kong Barcelona

More information

Studies in Epistemology, Logic, Methodology, and Philosophy of Science

Studies in Epistemology, Logic, Methodology, and Philosophy of Science Synthese Library Studies in Epistemology, Logic, Methodology, and Philosophy of Science Volume 373 Editor-in-Chief Otávio Bueno, University of Miami, Department of Philosophy, USA Editors Dirk van Dalen,

More information

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011

Study. Review of External Market Valuations of Properties Located Abroad. HypZert Professional Group International. As at: November 2011 Study Review of External Market Valuations of Properties Located Abroad HypZert Professional Group International As at: November 2011 HypZert GmbH Georgenstrasse 21, 10117 Berlin www.hypzert.de The study

More information

Giovanni Vigna Professor Department of Computer Science University of California, Santa Barbara

Giovanni Vigna Professor Department of Computer Science University of California, Santa Barbara CURRICULUM VITAE Giovanni Vigna Professor Department of Computer Science University of California, Santa Barbara Contact Information Address: Department of Computer Science University of California Santa

More information

Lecture Notes in Computer Science 7734

Lecture Notes in Computer Science 7734 Lecture Notes in Computer Science 7734 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7384

Lecture Notes in Computer Science 7384 Lecture Notes in Computer Science 7384 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Welcome to the history of IMPA and its National Associations

Welcome to the history of IMPA and its National Associations Welcome to the history of IMPA and its National Associations To Prof Dr. Adesh JAIN, New Dehli Official Title for the World Congress Agenda and for the Proceeding list of papers/contributions in New Delhi:

More information

Lecture Notes in Computer Science 6815

Lecture Notes in Computer Science 6815 Lecture Notes in Computer Science 6815 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

STUDIES IN ORGANIZED CRIME

STUDIES IN ORGANIZED CRIME Women and the Mafia STUDIES IN ORGANIZED CRIME Volume 5 Series Editor: Frank Bovenkerk, University of Utrecht, Willem Pompe Institute, The Netherlands Editorial Board: Maria Los, University of Ottowa,

More information

Lecture Notes in Computer Science 3061

Lecture Notes in Computer Science 3061 Lecture Notes in Computer Science 3061 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board Takeo Kanade Carnegie Mellon

More information

Lecture Notes in Computer Science 7309

Lecture Notes in Computer Science 7309 Lecture Notes in Computer Science 7309 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 4006

Lecture Notes in Computer Science 4006 Lecture Notes in Computer Science 4006 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7140

Lecture Notes in Computer Science 7140 Lecture Notes in Computer Science 7140 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Lecture Notes in Computer Science 7679

Lecture Notes in Computer Science 7679 Lecture Notes in Computer Science 7679 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

INTERNATIONAL CAVITATION EROSION TEST. IMP PAN Rep. 19/98 Gdańsk, September Dr Janusz Steller. Test Co-ordinator

INTERNATIONAL CAVITATION EROSION TEST. IMP PAN Rep. 19/98 Gdańsk, September Dr Janusz Steller. Test Co-ordinator INTERNATIONAL CAVITATION EROSION TEST IMP PAN Rep. 19/98 Gdańsk, September 1998 PRELIMINARY REPORT PART I : CO-ORDINATOR S REPORT by Dr Janusz Steller Test Co-ordinator POLISH ACADEMY OF SCIENCES INSTITUTE

More information

Lecture Notes in Computer Science 3925

Lecture Notes in Computer Science 3925 Lecture Notes in Computer Science 3925 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Emotional Engineering Volume 5

Emotional Engineering Volume 5 Emotional Engineering Volume 5 Editor Emotional Engineering Volume 5 123 Editor Keio University Minato, Tokyo Japan ISBN 978-3-319-53194-6 ISBN 978-3-319-53195-3 (ebook) DOI 10.1007/978-3-319-53195-3 Library

More information

Lecture Notes in Computer Science 9211

Lecture Notes in Computer Science 9211 Lecture Notes in Computer Science 9211 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

NCCR Digital Fabrication. Dr. Russell Loveridge. Managing Director NCCR Digital Fabrication

NCCR Digital Fabrication. Dr. Russell Loveridge. Managing Director NCCR Digital Fabrication NCCR Digital Fabrication Dr. Russell Loveridge Managing Director NCCR Digital Fabrication 1 National Centers of Competence in Research (NCCRs) National Centers of Competence in Research (NCCRs) Current

More information

Lecture Notes in Computer Science 6084

Lecture Notes in Computer Science 6084 Lecture Notes in Computer Science 6084 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

ISNI. International Society of Neuroimmunology PROFILE 2013

ISNI. International Society of Neuroimmunology PROFILE 2013 INTERNATIONAL SOCIETY ISNI PROFILE 2013 ABOUT US The was established in 1982, and since this date has contributed greatly to the growing recognition of the different roles of the immune system in causing

More information

Lecture Notes in Computer Science 7137

Lecture Notes in Computer Science 7137 Lecture Notes in Computer Science 7137 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Human Rights and Intellectual Property: From Concepts to Practice

Human Rights and Intellectual Property: From Concepts to Practice 14th EIPIN Congress Human Rights and Intellectual Property: From Concepts to Practice Strasbourg, 5-7 April 2013 Hosted and organised by CEIPI European Court of Human Rights Maison Interuniversitaire des

More information

Architecture: Non-Functional Properties. in Service Oriented. Requirements, Models and. Methods REFERENCE. Berlin, Germany.

Architecture: Non-Functional Properties. in Service Oriented. Requirements, Models and. Methods REFERENCE. Berlin, Germany. Berlin, NonFunctional Properties in Service Oriented Architecture: Requirements, Models and Methods Nikola Milanovic Model Labs Germany INFORMATION SCIENCE REFERENCE REFERENCE Hershey New York La La Table

More information

May 6, 2015 Montréal, QC, Canada. Proceedings of the 1st International Workshop on

May 6, 2015 Montréal, QC, Canada. Proceedings of the 1st International Workshop on May 6, 2015 Montréal, QC, Canada CobRA 15 Proceedings of the 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures Sponsored by: ACM SIGSOFT Supported

More information

Fπ8, the 8 th International Symposium on Functional π-electron Systems

Fπ8, the 8 th International Symposium on Functional π-electron Systems Fπ8, the 8 th International Symposium on Functional π-electron Systems Date: 21.7.2008-25.7.2008 Location: Graz / Austria Conference Site: Graz University of Technology Organised by Conference Chair Ao.

More information

Ethno-Indology. Heidelberg Studies in South Asian Rituals. General Editor Axel Michaels Volume 13. Harrassowitz Verlag. Wiesbaden

Ethno-Indology. Heidelberg Studies in South Asian Rituals. General Editor Axel Michaels Volume 13. Harrassowitz Verlag. Wiesbaden Ethno-Indology Heidelberg Studies in South Asian Rituals General Editor Axel Michaels Volume 13 2013 Harrassowitz Verlag. Wiesbaden South Asian Festivals on the Move Edited by Ute Hüsken and Axel Michaels

More information

Lecture Notes in Computer Science 10744

Lecture Notes in Computer Science 10744 Lecture Notes in Computer Science 10744 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University,

More information

Process Maturity Profile

Process Maturity Profile Carnegie Mellon University Process Maturity Profile CMMI v1.1 SCAMPI SM v1.1 Class A Appraisal Results 2004 Year End Update March 2005 We could not produce this report without the support of the organizations

More information

Arild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally

Arild Stubhaug. Gösta Mittag-Leffler. AManofConviction. Translated by Tiina Nunnally Gösta Mittag-Leffler Arild Stubhaug Gösta Mittag-Leffler AManofConviction Translated by Tiina Nunnally Arild Stubhaug Department of Mathematics University of Oslo Blindern Oslo Norway arilds@math.uio.no

More information

Lecture Notes in Computer Science 2576 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

Lecture Notes in Computer Science 2576 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen Lecture Notes in Computer Science 2576 Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Stelvio Cimato Clemente Galdi Giuseppe

More information

Curriculum Vitae Person Education Professional career

Curriculum Vitae Person  Education Professional career Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University

More information

Climate Change Mitigation and Adaptation: An Organizational Science Perspective

Climate Change Mitigation and Adaptation: An Organizational Science Perspective ETH PhD-Academy on Sustainability and Technology 2011 Climate Change Mitigation and Adaptation: An Organizational Science Perspective January 16th - 21th, 2011 Monte Verità Conference Centre Swiss Federal

More information

This page intentionally left blank

This page intentionally left blank CHINUA ACHEBE This page intentionally left blank Chinua Achebe Novelist, Poet, Critic David Carroll Professor of English University of Lancaster David Carroll 1980, 1990 Softcover reprint of the hardcover

More information

SPONSORSHIP OPPORTUNITIES

SPONSORSHIP OPPORTUNITIES CONFERENCES SPONSORSHIP OPPORTUNITIES 6 th International Conference on Smart and Emerging Materials March 25-26, 2019 Bucharest, Romania our DELEGATE is your CLIENT Our Programme 5+ Keynote Sessions Our

More information

CURRICULUM VITAE. Jan Kmenta

CURRICULUM VITAE. Jan Kmenta October 2012 CURRICULUM VITAE Jan Kmenta ADDRESS: Department of Economics The University of Michigan Ann Arbor, Michigan 48109 U.S.A. E-Mail: KmentaJan@aol.com EDUCATION AND DEGREES: Stanford University

More information

SERGIU KLAINERMAN CURRICULUM VITAE

SERGIU KLAINERMAN CURRICULUM VITAE EDUCATION SERGIU KLAINERMAN CURRICULUM VITAE 1978 New York University, Ph.D. 1975-78 New York University 1974 Certificate for Thesis 1973-74 Graduate Studies 1973 Diploma de Licenta, University of Bucharest

More information

Process Maturity Profile

Process Maturity Profile Carnegie Mellon Process Maturity Profile CMMI SCAMPI SM Class A Appraisal Results 2007 Mid-Year Update September 2007 We could not produce this report without the support of the organizations and lead

More information