Adriaan Larmuseau, Marco Patrignani, Dave Clarke. Operational Semantics for Secure Interoperation. In Alejandro Russo, Omer Tripp, editors, Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. pages 40, ACM, 2014. [doi]
Abstract is missing.