Tapido: Trust and Authorization Via Provenance and Integrity in Distributed Objects (Extended Abstract)
Abstract elided by the publisher.
Related papers
- Trust and Partial Typing in Open Systems of Mobile Agents POPL 1999
- Extending the Operating System to Support an Object-Oriented Environment OOPSLA 1989
- Viaduct: an extensible, optimizing compiler for secure distributed programs PLDI 2021
- Bringing extensibility to verified compilers PLDI 2010
- Cerisier: A Program Logic for Attestation in a Capability Machine PLDI 2026
- Higher-Order Distributed Objects TOPLAS 1995
- Advice to Authors of Extended Abstracts PLDI 1991
- Ensuring Semantic Integrity of Reusable Objects (Panel) OOPSLA 1992