License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.12.29
URN: urn:nbn:de:0030-drops-50045
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/5004/
Go back to Dagstuhl Reports

Barthe, Gilles ; Hicks, Michael ; Kerschbaum, Florian ; Unruh, Dominique
Weitere Beteiligte (Hrsg. etc.): Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)

pdf-format:
dagrep_v004_i012_p029_s14492.pdf (0.7 MB)

Abstract

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.

BibTeX - Entry

@Article{barthe_et_al:DR:2015:5004,
  author =	{Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh},
  title =	{{The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)}},
  pages =	{29--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{12},
  editor =	{Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5004},
  URN =		{urn:nbn:de:0030-drops-50045},
  doi =		{10.4230/DagRep.4.12.29},
  annote =	{Keywords: Security, Theory, Languages}
}

Keywords: Security, Theory, Languages
Collection: Dagstuhl Reports, Volume 4, Issue 12
Issue Date: 2015
Date of publication: 07.04.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI