PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security

Mário S. Alvim, Stéphanie Delaune
January, 2018
Cite DOI URL
Type
Conference paper
Publication
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018