Security-Typed Languages and Distributed Computation
Abstract elided by the publisher.
Related papers
- SMT-Boosted Security Types for Low-Level MPC ESOP 2025
- Secure distributed programming with value-dependent types ICFP 2011
- Affine Refinement Types for Secure Distributed Programming TOPLAS 2015
- Viaduct: an extensible, optimizing compiler for secure distributed programs PLDI 2021
- Secure safe ambients POPL 2001
- Secure distributed programming with value-dependent types JFP 2013
- On the computational soundness of cryptographically masked flows POPL 2008
- Channel dependent types for higher-order mobile processes POPL 2004