Decentralized Delimited Release
Abstract elided by the publisher.
Related papers
- Decentralizing SDN Policies POPL 2015
- Laminar: practical fine-grained decentralized information flow control PLDI 2009
- Decentralizing execution of composite web services OOPSLA 2004
- SigVM: enabling event-driven execution for truly decentralized smart contracts OOPSLA 2022
- Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications TOPLAS 2023
- DimSum: A Decentralized Approach to Multi-language Semantics and Verification POPL 2023
- Polymorphic Delimited Continuations APLAS 2007
- Resilient decentralized Android application repackaging detection using logic bombs CGO 2018