Need for secure composition. Aquamarine language.
summary
Aquamarine is a pi-calculus–based language for composing distributed applications and backends by describing control-flow movement and data-dependency graphs across processes. It targets both private deployments and open networks, uses primitives corresponding to pi-calculus topological operations, and secures interactions with cryptographic signatures on peers so service outputs can be routed as inputs to other services.
AI-written summary · about
related talks
23mpi_RA: A pi-calculus for verifying protocols that use remote attestation
27mUniversally Composable Security for Program Partitioning
15mQuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
15mEncrypt or Die
23mUniversal Composability is Robust Compilation
01h 11mA Programmable Cloud: CALM Foundations and Open Challenges
49mCompiling to preserve our privacy
25mUniversal Composability is Secure Compilation