# Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

> Research article (2016 IEEE European Symposium on Security and Privacy (EuroS&P), 2016) · cited 38× · AI/ML

**Wikidata**: [openalex:W2361817505](https://www.wikidata.org/wiki/openalex:W2361817505)  
**Source**: https://4ort.xyz/entity/reasoning-about-object-capabilities-with-logical-relations-and-effect-parametricity