Issue
Dagstuhl Reports, Volume 12, Issue 4
-
Part of:
Volume:
Dagstuhl Reports, Volume 12
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2022-11-14
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports12
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 12, Issue 4, April 2022, Complete Issue
Abstract
Dagstuhl Reports, Volume 12, Issue 4, April 2022, Complete Issue
Cite as
Dagstuhl Reports, Volume 12, Issue 4, pp. 1-97, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{DagRep.12.4,
title = {{Dagstuhl Reports, Volume 12, Issue 4, April 2022, Complete Issue}},
pages = {1--97},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4},
URN = {urn:nbn:de:0030-drops-172751},
doi = {10.4230/DagRep.12.4},
annote = {Keywords: Dagstuhl Reports, Volume 12, Issue 4, April 2022, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 12, Issue 4, 2022
Abstract
Dagstuhl Reports, Table of Contents, Volume 12, Issue 4, 2022
Cite as
Dagstuhl Reports, Volume 12, Issue 4, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{DagRep.12.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 12, Issue 4, 2022}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.i},
URN = {urn:nbn:de:0030-drops-172768},
doi = {10.4230/DagRep.12.4.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Symmetric Cryptography (Dagstuhl Seminar 22141)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 20041 "Symmetric Cryptography". The seminar was held on April 3-8, 2022 in Schloss Dagstuhl - Leibniz Center for Informatics. This was the eigth seminar in the series "Symmetric Cryptography". Previous editions were held in 2007, 2009, 2012, 2014, 2016, 2018, and 2022. Participants of the seminar presented their ongoing work and new results on topics of (quantum) cryptanalysis and provable security of symmetric cryptographic primitives. In this report, a brief summary of the seminar is given followed by the abstracts of given talks.
Cite as
Nils Gregor Leander, Bart Mennink, María Naya-Plasencia, Yu Sasaki, and Eran Lambooij. Symmetric Cryptography (Dagstuhl Seminar 22141). In Dagstuhl Reports, Volume 12, Issue 4, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{leander_et_al:DagRep.12.4.1,
author = {Leander, Nils Gregor and Mennink, Bart and Naya-Plasencia, Mar{\'\i}a and Sasaki, Yu and Lambooij, Eran},
title = {{Symmetric Cryptography (Dagstuhl Seminar 22141)}},
pages = {1--12},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
editor = {Leander, Nils Gregor and Mennink, Bart and Naya-Plasencia, Mar{\'\i}a and Sasaki, Yu and Lambooij, Eran},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.1},
URN = {urn:nbn:de:0030-drops-172779},
doi = {10.4230/DagRep.12.4.1},
annote = {Keywords: block ciphers, cryptography, hash functions, stream cipers, symmetric cryptography}
}
Document
Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)
Abstract
In several real-world scenarios, decision making involves advanced reasoning under uncertainty, i.e. the ability to answer probabilistic queries. Typically, it is necessary to compute these answers in a limited amount of time. Moreover, in many domains, such as healthcare and economical decision making, it is crucial that the result of these queries is reliable, i.e. either exact or comes with approximation guarantees. In all these scenarios, tractable probabilistic inference and learning are becoming increasingly important.
Research on representations and learning algorithms for tractable inference embraces very different fields, each one contributing its own perspective. These include automated reasoning, probabilistic modeling, statistical and Bayesian inference and deep learning.
Among the many recent emerging venues in these fields there are: tractable neural density estimators such as autoregressive models and normalizing flows; deep tractable probabilistic circuits such as sum-product networks and sentential decision diagrams; approximate inference routines with guarantees on the quality of the approximation.
Each of these model classes occupies a particular spot in the continuum between tractability and expressiveness. That is, different model classes might offer appealing advantages in terms of efficiency or representation capabilities while trading-off other of these aspects.
So far, clear connections and a deeper understanding of the key differences among them have been hindered by the different languages and perspectives adopted by the different "souls" that comprise the tractable probabilistic modeling community.
This Dagstuhl Seminar brought together experts from these sub-communities and provided the perfect venue to exchange perspectives, deeply discuss the recent advancements and build strong bridges that can greatly propel interdisciplinary research.
Cite as
Priyank Jaini, Kristian Kersting, Antonio Vergari, and Max Welling. Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161). In Dagstuhl Reports, Volume 12, Issue 4, pp. 13-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{jaini_et_al:DagRep.12.4.13,
author = {Jaini, Priyank and Kersting, Kristian and Vergari, Antonio and Welling, Max},
title = {{Recent Advancements in Tractable Probabilistic Inference (Dagstuhl Seminar 22161)}},
pages = {13--25},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
editor = {Jaini, Priyank and Kersting, Kristian and Vergari, Antonio and Welling, Max},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.13},
URN = {urn:nbn:de:0030-drops-172785},
doi = {10.4230/DagRep.12.4.13},
annote = {Keywords: approximate inference with guarantees, deep generative models, probabilistic circuits, Tractable inference}
}
Document
Urban Mobility Analytics (Dagstuhl Seminar 22162)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22162 "Urban Mobility Analytics". The seminar brought together researchers from academia and industry who work in complementary ways on urban mobility analytics. The seminar especially aimed at bringing together ideas and approaches from deep learning research, which is requiring large datasets, and reproducible research, which is requiring access to data.
Cite as
David Jonietz, Monika Sester, Kathleen Stewart, Stephan Winter, Martin Tomko, and Yanan Xin. Urban Mobility Analytics (Dagstuhl Seminar 22162). In Dagstuhl Reports, Volume 12, Issue 4, pp. 26-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{jonietz_et_al:DagRep.12.4.26,
author = {Jonietz, David and Sester, Monika and Stewart, Kathleen and Winter, Stephan and Tomko, Martin and Xin, Yanan},
title = {{Urban Mobility Analytics (Dagstuhl Seminar 22162)}},
pages = {26--53},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
editor = {Jonietz, David and Sester, Monika and Stewart, Kathleen and Winter, Stephan and Tomko, Martin and Xin, Yanan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.26},
URN = {urn:nbn:de:0030-drops-172792},
doi = {10.4230/DagRep.12.4.26},
annote = {Keywords: data analytics, Deep learning, Reproducible research, urban mobility}
}
Document
Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171)
Abstract
Cyber-physical systems (CPSs) may constitute an attractive attack target due to the increased networking of components that yields an expanded attack surface. If their physical control capabilities are compromised, safety implications may arise. Thus, it is vital that the CPSs being engineered are thoroughly tested and that adequate response measures can be realized upon detecting intruders during operation. However, security testing is hard to conduct due to expensive hardware, limited maintenance periods, and safety risks. Furthermore, the increased stealthiness of threat actors requires new intrusion detection and response methods. Interestingly, digital twins have become an important concept in industrial informatics to solve similar problems, yet with a non-security-related focus: Digital twins that virtually replicate the real systems provide cost-efficient modeling, testing, monitoring, and even predictive capabilities. However, until recently, the digital-twin concept has mainly focused on production optimizations or design improvements without considering its potential for CPS security. The Dagstuhl Seminar 22171 "Digital Twins for Cyber-Physical Systems Security" therefore aimed to serve as an interdisciplinary, open knowledge-sharing platform to investigate the benefits and challenges of applying the digital-twin concept to improve the security of CPSs.
Cite as
Alvaro Cárdenas Mora, Simin Nadjm-Tehrani, Edgar Weippl, and Matthias Eckhart. Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171). In Dagstuhl Reports, Volume 12, Issue 4, pp. 54-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{mora_et_al:DagRep.12.4.54,
author = {Mora, Alvaro C\'{a}rdenas and Nadjm-Tehrani, Simin and Weippl, Edgar and Eckhart, Matthias},
title = {{Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171)}},
pages = {54--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
editor = {Mora, Alvaro C\'{a}rdenas and Nadjm-Tehrani, Simin and Weippl, Edgar and Eckhart, Matthias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.54},
URN = {urn:nbn:de:0030-drops-172805},
doi = {10.4230/DagRep.12.4.54},
annote = {Keywords: cyber-physical systems, digital twins, information security, production systems engineering, SCADA, industrial control systems, Industry 4.0}
}
Document
Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22172 "Technologies to Support Critical Thinking in an Age of Misinformation". This seminar brought together experts from computer science, behavioural psychology, journalists, and policy makers to examine and define the challenges of misinformation and fake news in the internet and social networks. This included discussions of what constitutes misinformation, technological advances for both spreading and mitigating misinformation, and discussions around policies that can be created and implemented to address propagators, both active and passive, of misinformation. The goal of this report is to summarize and present the various challenges and options for the development and implementation of technologies to support critical thinking.
Cite as
Tilman Dingler, Benjamin Tag, and Andrew Vargo. Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172). In Dagstuhl Reports, Volume 12, Issue 4, pp. 72-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
Copy BibTex To Clipboard
@Article{dingler_et_al:DagRep.12.4.72,
author = {Dingler, Tilman and Tag, Benjamin and Vargo, Andrew},
title = {{Technologies to Support Critical Thinking in an Age of Misinformation (Dagstuhl Seminar 22172)}},
pages = {72--95},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2022},
volume = {12},
number = {4},
editor = {Dingler, Tilman and Tag, Benjamin and Vargo, Andrew},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.4.72},
URN = {urn:nbn:de:0030-drops-172815},
doi = {10.4230/DagRep.12.4.72},
annote = {Keywords: Cognitive Security, Misinformation, Bias Computing}
}