Issue
Dagstuhl Reports, Volume 8, Issue 5
-
Part of:
Volume:
Dagstuhl Reports, Volume 8
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 18201, 18202, 18211, 18212Publication Details
- published at: 2019-01-08
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports8
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
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)
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)
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)
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)
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}
}