GitHub repository: sambacha/cap9
Description: Capability-based security protocol for smart contracts