07091 Executive Summary – Mobility, Ubiquity and Security

2022/01/26 by Barthe, Gilles, Mantel, Heiko, Müller, Peter +2
#Mobility #availability #confidentiality #cryptography #information flow #integrity #proof-carrying code #static analysis #type systems

paper · doi:10.4230/dagsemproc.07091.2

Abstract

Increasing code mobility and ubiquity raises serious concerns about the security of modern computing infrastructures. The focus of this seminar was on securing computing systems by design and by construction.

Related

• 06371 Executive Summary – From Security to Dependability
• 07091 Abstracts Collection – Mobility, Ubiquity and Security
• 08491 Executive Summary – Theoretical Foundations of Practical Information Security
• 03411 Final Report – Language Based Security
• Proceedings from Critical Infrastructure: The Path Ahead (XIWT Symposium on Cross-Industry Activities for Information Infrastructure Robustness)