Mário S. Alvim, Stéphanie Delaune. PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security. In David Lie, Mohammad Mannan, Michael Backes 0001, Xiaofeng Wang 0001, editors, Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018. pages 2178-2179, ACM, 2018. [doi]
@inproceedings{AlvimD18,
title = {PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security},
author = {Mário S. Alvim and Stéphanie Delaune},
year = {2018},
doi = {10.1145/3243734.3243879},
url = {https://doi.org/10.1145/3243734.3243879},
researchr = {https://researchr.org/publication/AlvimD18},
cites = {0},
citedby = {0},
pages = {2178-2179},
booktitle = {Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
editor = {David Lie and Mohammad Mannan and Michael Backes 0001 and Xiaofeng Wang 0001},
publisher = {ACM},
isbn = {978-1-4503-5693-0},
}