Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh. The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492). Dagstuhl Reports, 4(12):29-47, 2014. [doi]
@article{BartheHKU14,
title = {The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492)},
author = {Gilles Barthe and Michael Hicks and Florian Kerschbaum and Dominique Unruh},
year = {2014},
doi = {10.4230/DagRep.4.12.29},
url = {http://dx.doi.org/10.4230/DagRep.4.12.29},
researchr = {https://researchr.org/publication/BartheHKU14},
cites = {0},
citedby = {0},
journal = {Dagstuhl Reports},
volume = {4},
number = {12},
pages = {29-47},
}