research
∙
09/06/2023
Reference Capabilities for Flexible Memory Management: Extended Version
Verona is a concurrent object-oriented programming language that organis...
share
research
∙
02/08/2023
Parma: Confidential Containers via Attested Execution Policies
Container-based technologies empower cloud tenants to develop highly por...
research
∙
05/27/2021
PAC: Practical Accountability for CCF
Permissioned ledger systems execute transactions on a set of replicas go...
research
∙
01/22/2020