Dagstuhl Reports, Volume 8, Issue 5



Thumbnail PDF

Event

Dagstuhl Seminars 18201, 18202, 18211, 18212

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue

Abstract
Dagstuhl Reports, Volume 8, Issue 5, May 2018, Complete Issue

Cite as

Dagstuhl Reports, Volume 8, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 8, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{DagRep.8.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.i},
  URN =		{urn:nbn:de:0030-drops-101657},
  doi =		{10.4230/DagRep.8.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 5, 2018}
}
Document
Secure Compilation (Dagstuhl Seminar 18201)

Authors: Amal Ahmed, Deepak Garg, Catalin Hritcu, and Frank Piessens


Abstract
Secure compilation is an emerging field that puts together advances in security, programming languages, verification, systems, and hardware architectures in order to devise secure compilation chains that eliminate many of today's vulnerabilities. Secure compilation aims to protect a source language's abstractions in compiled code, even against low-level attacks. For a concrete example, all modern languages provide a notion of structured control flow and an invoked procedure is expected to return to the right place. However, today's compilation chains (compilers, linkers, loaders, runtime systems, hardware) cannot efficiently enforce this abstraction: linked low-level code can call and return to arbitrary instructions or smash the stack, blatantly violating the high-level abstraction. The emerging secure compilation community aims to address such problems by devising formal security criteria, efficient enforcement mechanisms, and effective proof techniques. This seminar strived to take a broad and inclusive view of secure compilation and to provide a forum for discussion on the topic. The goal was to identify interesting research directions and open challenges by bringing together people working on building secure compilation chains, on developing proof techniques and verification tools, and on designing security mechanisms.

Cite as

Amal Ahmed, Deepak Garg, Catalin Hritcu, and Frank Piessens. Secure Compilation (Dagstuhl Seminar 18201). In Dagstuhl Reports, Volume 8, Issue 5, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{ahmed_et_al:DagRep.8.5.1,
  author =	{Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
  title =	{{Secure Compilation (Dagstuhl Seminar 18201)}},
  pages =	{1--30},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Ahmed, Amal and Garg, Deepak and Hritcu, Catalin and Piessens, Frank},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.1},
  URN =		{urn:nbn:de:0030-drops-98911},
  doi =		{10.4230/DagRep.8.5.1},
  annote =	{Keywords: secure compilation, low-level attacks, source-level reasoning, attacker models, full abstraction, hyperproperties, enforcement mechanisms, compartmentalization, security architectures, side-channels}
}
Document
Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202)

Authors: Onur Altintas, Suman Banerjee, Falko Dressler, and Geert Heijenk


Abstract
Looking back at the last decade, one can observe enormous progress in the domain of vehicular networking. In this growing community, many ongoing activities focus on the design of communication protocols to support safety applications, intelligent navigation, multi-player gaming and others. This seminar shifted the focus from basic networking principles to networked control applications. We were particularly interested in eSafety applications and traffic efficiency applications that are thought to yield substantial benefits for the emerging "cooperative automated driving" domain. The seminar brought together experts from several fields, including classical computer science (computer networking, simulation and modeling, operating system design), electrical engineering (digital signal processing, communication networks), and automated driving (mechanical engineering, image processing, control theory), to discuss the most challenging issues related to inter-vehicular communication and cooperative driving.

Cite as

Onur Altintas, Suman Banerjee, Falko Dressler, and Geert Heijenk. Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202). In Dagstuhl Reports, Volume 8, Issue 5, pp. 31-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{altintas_et_al:DagRep.8.5.31,
  author =	{Altintas, Onur and Banerjee, Suman and Dressler, Falko and Heijenk, Geert},
  title =	{{Inter-Vehicular Communication Towards Cooperative Driving (Dagstuhl Seminar 18202)}},
  pages =	{31--59},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Altintas, Onur and Banerjee, Suman and Dressler, Falko and Heijenk, Geert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.31},
  URN =		{urn:nbn:de:0030-drops-98929},
  doi =		{10.4230/DagRep.8.5.31},
  annote =	{Keywords: automated driving, cooperative driving, road traffic safety, vehicular networking}
}
Document
Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)

Authors: Javier Esparza, Pierre Fraignaud, Anca Muscholl, and Sergio Rajsbaum


Abstract
The Dagstuhl Seminar "Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance" took place May 22-25, 2018. Its goal was to strengthen the interaction between researchers from formal methods and from distributed computing, and help the two communities to better identify common research challenges.

Cite as

Javier Esparza, Pierre Fraignaud, Anca Muscholl, and Sergio Rajsbaum. Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). In Dagstuhl Reports, Volume 8, Issue 5, pp. 60-79, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{esparza_et_al:DagRep.8.5.60,
  author =	{Esparza, Javier and Fraignaud, Pierre and Muscholl, Anca and Rajsbaum, Sergio},
  title =	{{Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211)}},
  pages =	{60--79},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Esparza, Javier and Fraignaud, Pierre and Muscholl, Anca and Rajsbaum, Sergio},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.60},
  URN =		{urn:nbn:de:0030-drops-98933},
  doi =		{10.4230/DagRep.8.5.60},
  annote =	{Keywords: distributed computing, distributed systems, formal verification}
}
Document
On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212)

Authors: Kasper Hornbaek, David Kirsh, Joseph A. Paradiso, and Jürgen Steimle


Abstract
On-body technologies are emerging as a new paradigm in human-computer interaction. Instead of moving a mouse or tapping a touch surface, people can use whole-body movements to navigate in games, gesture in mid-air to interact with large displays, or touch their forearm to control a mobile phone. First promising applications are being investigated or have been demonstrated in mobile computing, healthcare, or sports. Two areas of research have been contributing to this paradigm. Research on embodied cognition suggests that the body should no longer be treated as a passive actuator of input devices but as something that needs to be carefully designed for and as something that offers unique new possibilities in interaction. Embodied cognition has become a prominent candidate for outlining what we can and cannot do in on-body interaction. Research on interactive technologies for the body is opening up new avenues for human-computer interaction, by contributing body-based sensing input and output modalities with more body compatible form factors. Together, these areas allow the design and implementation of new user interfaces; however, they are rarely in direct contact with each other. The intended outcome of the seminar was a research agenda for on-body technologies based on synergies between these two views. We therefore brought together a group of researchers from embodied cognition (including psychology, robotics, human-computer interaction, and sociology) as well as sensor/actuator engineering (including computer science, materials science, electrical engineering). These groups worked together toward outlining a research agenda for on-body technologies, in part using a bottom-up process at the seminar, in part using structured answers to questions in advance of the seminar. Key topics for discussion included (1) advances in on-body sensors and actuators, in particular how to drive the technical development from work on embodied cognition and the body, (2) cognitive consequences of on-body technologies, (3) how to take the peculiarities and possibilities of the body into consideration, (4) how to evaluate on-body technology, and (5) application areas of on-body technologies.

Cite as

Kasper Hornbaek, David Kirsh, Joseph A. Paradiso, and Jürgen Steimle. On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212). In Dagstuhl Reports, Volume 8, Issue 5, pp. 80-101, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{hornbaek_et_al:DagRep.8.5.80,
  author =	{Hornbaek, Kasper and Kirsh, David and Paradiso, Joseph A. and Steimle, J\"{u}rgen},
  title =	{{On-Body Interaction: Embodied Cognition Meets Sensor/Actuator Engineering to Design New Interfaces (Dagstuhl Seminar 18212)}},
  pages =	{80--101},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{5},
  editor =	{Hornbaek, Kasper and Kirsh, David and Paradiso, Joseph A. and Steimle, J\"{u}rgen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.5.80},
  URN =		{urn:nbn:de:0030-drops-98944},
  doi =		{10.4230/DagRep.8.5.80},
  annote =	{Keywords: Human-Computer interaction, Embodied cognition, User interface software and technology}
}

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