@INPROCEEDINGS {14637,
author={A. Matos and J. F. Santos},
doi={0},
booktitle={ACM SIGPLAN - Workshop on Programming Languages and Analysis for Security - PLAS},
title={Typing illegal information flows as program effects},
year={2012},
month={June},
volume={1},
pages={1-12} 
}
Create and download bib file