Michael Backes, Catalin Hritcu, Matteo Maffei. Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations. Journal of Computer Security, 22(2):301-353, 2014. [doi]
@article{BackesHM14,
title = {Union, intersection and refinement types and reasoning about type disjointness for secure protocol implementations},
author = {Michael Backes and Catalin Hritcu and Matteo Maffei},
year = {2014},
doi = {10.3233/JCS-130493},
url = {http://dx.doi.org/10.3233/JCS-130493},
researchr = {https://researchr.org/publication/BackesHM14},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {22},
number = {2},
pages = {301-353},
}