Issue

Dagstuhl Reports, Volume 2, Issue 1



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue

Abstract
Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue

Cite as

Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue. In Dagstuhl Reports, Volume 2, Issue 1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{DagRep.2.1,
  title =	{{Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1},
  URN =		{urn:nbn:de:0030-drops-35056},
  doi =		{10.4230/DagRep.2.1},
  annote =	{Keywords: Dagstuhl Reports, Volume 2, Issue 1, January 2012, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 2, Issue 1, 2012

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Table of Contents, Volume 2, Issue 1, 2012. In Dagstuhl Reports, Volume 2, Issue 1, pp. i-ii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{DagRep.2.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 2, Issue 1, 2012}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.i},
  URN =		{urn:nbn:de:0030-drops-35041},
  doi =		{10.4230/DagRep.2.1.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Foundations for Scripting Languages (Dagstuhl Seminar 12011)

Authors: Robert Hirschfeld, Shriram Krishnamurthi, and Jan Vitek


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12011 on the ``Foundations for Scripting Languages''. The choice of ``for'' rather than ``of'' is intentional: it is our thesis that scripting languages are in need of foundations to support their extensive use but lack them, and we hope this event consolidated and advanced the state of the art in this direction.

Cite as

Robert Hirschfeld, Shriram Krishnamurthi, and Jan Vitek. Foundations for Scripting Languages (Dagstuhl Seminar 12011). In Dagstuhl Reports, Volume 2, Issue 1, pp. 1-18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{hirschfeld_et_al:DagRep.2.1.1,
  author =	{Hirschfeld, Robert and Krishnamurthi, Shriram and Vitek, Jan},
  title =	{{Foundations for Scripting Languages (Dagstuhl Seminar 12011)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Hirschfeld, Robert and Krishnamurthi, Shriram and Vitek, Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.1},
  URN =		{urn:nbn:de:0030-drops-34545},
  doi =		{10.4230/DagRep.2.1.1},
  annote =	{Keywords: scripting languages, programming languages semantics, type systems, verification techniques, security analyses, scalability, rapid software}
}
Document
Computability, Complexity and Randomness (Dagstuhl Seminar 12021)

Authors: Veronica Becher, Laurent Bienvenu, Rodney Downey, and Elvira Mayordomo


Abstract
Research on the notions of information and randomness has drawn on methods and ideas from computability theory and cumputational complexity, as well as core mathematical subjects like measure theory and information theory. The Dagstuhl seminar 12021 ``Computability, Complexity and Randomness'' was aimed to meet people and ideas in these areas to share new results and discuss open problems. This report collects the material presented during the course of the seminar.

Cite as

Veronica Becher, Laurent Bienvenu, Rodney Downey, and Elvira Mayordomo. Computability, Complexity and Randomness (Dagstuhl Seminar 12021). In Dagstuhl Reports, Volume 2, Issue 1, pp. 19-38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{becher_et_al:DagRep.2.1.19,
  author =	{Becher, Veronica and Bienvenu, Laurent and Downey, Rodney and Mayordomo, Elvira},
  title =	{{Computability, Complexity and Randomness (Dagstuhl Seminar 12021)}},
  pages =	{19--38},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Becher, Veronica and Bienvenu, Laurent and Downey, Rodney and Mayordomo, Elvira},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.19},
  URN =		{urn:nbn:de:0030-drops-34555},
  doi =		{10.4230/DagRep.2.1.19},
  annote =	{Keywords: algorithmic randomness, computability theory, computationl complexity, Kolmogorov complexity, algorithmic information theory}
}
Document
Symmetric Cryptography (Dagstuhl Seminar 12031)

Authors: Frederik Armknecht, Stefan Lucks, Bart Preneel, and Phillip Rogaway


Abstract
From 15.01.12 to 20.01.12, the Seminar 12031 in "Symmetric Cryptography" was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Frederik Armknecht, Stefan Lucks, Bart Preneel, and Phillip Rogaway. Symmetric Cryptography (Dagstuhl Seminar 12031). In Dagstuhl Reports, Volume 2, Issue 1, pp. 39-49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{armknecht_et_al:DagRep.2.1.39,
  author =	{Armknecht, Frederik and Lucks, Stefan and Preneel, Bart and Rogaway, Phillip},
  title =	{{Symmetric Cryptography (Dagstuhl Seminar 12031)}},
  pages =	{39--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Armknecht, Frederik and Lucks, Stefan and Preneel, Bart and Rogaway, Phillip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.39},
  URN =		{urn:nbn:de:0030-drops-34569},
  doi =		{10.4230/DagRep.2.1.39},
  annote =	{Keywords: Hash functions, Feistel networks, BLAKE, KLEIN, Keccak, IDEA, GCM, EAXprime, TLS, KISS}
}
Document
Learning in Multiobjective Optimization (Dagstuhl Seminar 12041)

Authors: Salvatore Greco, Joshua D. Knowles, Kaisa Miettinen, and Eckart Zitzler


Abstract
This report documents the programme and outcomes of the Dagstuhl Seminar 12041 "Learning in Multiobjective Optimization". The purpose of the seminar was to bring together researchers from the two main communities studying multiobjective optimization, Multiple Criteria Decision Making and Evolutionary Multiobjective Optimization, to take part in a wide-ranging discussion of what constitutes learning in multiobjective optimization, how it can be facilitated, and how it can be measured. The outcome was a deeper, more integrated understanding of the whole problem-solving process in multiobjective optimization from the viewpoint of learning, and several concrete research projects directly addressing different aspects of learning.

Cite as

Salvatore Greco, Joshua D. Knowles, Kaisa Miettinen, and Eckart Zitzler. Learning in Multiobjective Optimization (Dagstuhl Seminar 12041). In Dagstuhl Reports, Volume 2, Issue 1, pp. 50-99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{greco_et_al:DagRep.2.1.50,
  author =	{Greco, Salvatore and Knowles, Joshua D. and Miettinen, Kaisa and Zitzler, Eckart},
  title =	{{Learning in Multiobjective Optimization (Dagstuhl Seminar 12041)}},
  pages =	{50--99},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{Greco, Salvatore and Knowles, Joshua D. and Miettinen, Kaisa and Zitzler, Eckart},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.50},
  URN =		{urn:nbn:de:0030-drops-34575},
  doi =		{10.4230/DagRep.2.1.50},
  annote =	{Keywords: multiple criteria decision making, evolutionary multiobjective optimization}
}
Document
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)

Authors: Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12051 ``Analysis of Executables: Benefits and Challenges''. The seminar had two focus groups: security engineers who need to find bugs in existing software systems and people in academia who try to build automated tools to prove correctness. The meeting of these diverse groups was beneficial and productive for all involved.

Cite as

Andy M. King, Alan Mycroft, Thomas W. Reps, and Axel Simon. Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). In Dagstuhl Reports, Volume 2, Issue 1, pp. 100-116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{king_et_al:DagRep.2.1.100,
  author =	{King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel},
  title =	{{Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)}},
  pages =	{100--116},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{1},
  editor =	{King, Andy M. and Mycroft, Alan and Reps, Thomas W. and Simon, Axel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.1.100},
  URN =		{urn:nbn:de:0030-drops-34585},
  doi =		{10.4230/DagRep.2.1.100},
  annote =	{Keywords: Executable analysis, reverse engineering, malware detection, control flow reconstruction, emulators, binary instrumentation}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail