@inproceedings{plas2014,
 author = {Larmuseau, Adriaan and Patrignani, Marco and Clarke, Dave},
 title = {Operational Semantics for Secure Interoperation},
 booktitle = {Proceedings of the Ninth ACM SIGPLAN Workshop on Programming Languages and Analysis for Security},
 series = {PLAS '14},
 year = {2014},
 location = {Uppsala, Sweden},
 pages = {},
 numpages = {12},
 publisher = {ACM},
}