2026-08-10T20:04:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5004 2024-03-06T10:26:19Z ddc:004 open_access

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) Barthe, Gilles Hicks, Michael Kerschbaum, Florian Unruh, Dominique Security Theory Languages Increasingly, modern cryptography (crypto) has moved beyond the problem of secure communication to a broader consideration of securing computation. The past thirty years have seen a steady progression of both theoretical and practical advances in designing cryptographic protocols for problems such as secure multiparty computation, searching and computing on encrypted data, verifiable storage and computation, statistical data privacy, and more. More recently, the programming-languages (PL) community has begun to tackle the same set of problems, but from a different perspective, focusing on issues such as language design (e.g., new features or type systems), formal methods (e.g., model checking, deductive verification, static and dynamic analysis), compiler optimizations, and analyses of side-channel attacks and information leakage. This seminar helped to cross-fertilize ideas between the PL and crypto communities, exploiting the synergies for advancing the development of secure computing, broadly speaking, and fostering new research directions in and across both communities. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh 2015 Is Part Of Dagstuhl Reports, Volume 4, Issue 12 (2015) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.12.29 urn:nbn:de:0030-drops-50045 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.12.29 eng https://creativecommons.org/licenses/by/3.0/legalcode