Cooma: Security properties via capabilities as implicit arguments

Project: Research

Project Details


The aim of the Cooma project is to investigate secure programming language design by using implicit arguments to provide fine-grained object capabilities with low notational overhead.

Object capabilities mean that access to an object equates to possession of a capability represented by the object such as access to privileged data. Arguments to functions and object constructors express the dependence of code on capabilities.
Effective start/end date15/10/1831/12/21