Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis. Refinement types for secure implementations. ACM Transactions on Programming Languages and Systems, 33(2):8, 2011. [doi]
@article{BengtsonBFGM11,
title = {Refinement types for secure implementations},
author = {Jesper Bengtson and Karthikeyan Bhargavan and Cédric Fournet and Andrew D. Gordon and Sergio Maffeis},
year = {2011},
doi = {10.1145/1890028.1890031},
url = {http://doi.acm.org/10.1145/1890028.1890031},
tags = {refinement},
researchr = {https://researchr.org/publication/BengtsonBFGM11},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Programming Languages and Systems},
volume = {33},
number = {2},
pages = {8},
}