Dominique Devriese, Lars Birkedal, Frank Piessens. Reasoning about Object Capabilities with Logical Relations and Effect Parametricity. In IEEE European Symposium on Security and Privacy, EuroS&P 2016, Saarbrücken, Germany, March 21-24, 2016. pages 147-162, IEEE, 2016. [doi]
Abstract is missing.