15 citations · 19 across the 5 of their papers we have counts for
5 papers
Transparent Attested DNS for Confidential Computing Services
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani +3
Confidential services running in hardware-protected Trusted Execution Environments (TEEs) can provide higher security assurance, but this requires custom clients and protocols to d…
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
Heidi Howard, Fritz Alder, Edward Ashton +12
Confidentiality, integrity protection, and high availability, abbreviated to CIA, are essential properties for trustworthy data systems. The rise of cloud computing and the growing…
Reference Capabilities for Flexible Memory Management: Extended Version
Ellen Arvidsson, Elias Castegren, Sylvan Clebsch +4
Verona is a concurrent object-oriented programming language that organises all the objects in a program into a forest of isolated regions. Memory is managed locally for each region…
Parma: Confidential Containers via Attested Execution Policies
Matthew A. Johnson, Stavros Volos, Ken Gordon +5
Container-based technologies empower cloud tenants to develop highly portable software and deploy services in the cloud at a rapid pace. Cloud privacy, meanwhile, is important as a…
AMP: Authentication of Media via Provenance
Paul England, Henrique S. Malvar, Eric Horvitz +16
Advances in graphics and machine learning have led to the general availability of easy-to-use tools for modifying and synthesizing media. The proliferation of these tools threatens…