Security Properties: Two Agents Are Sufficient
Abstract elided by the publisher.
Related papers
- Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy POPL 2015
- A Type System for Expressive Security Policies POPL 2000
- Abstract Interpretation-Based Static Analysis of Mobile Ambients SAS 2001
- Security Properties of Typed Applets POPL 1998
- Secure safe ambients POPL 2001
- Interfaces for stack inspection JFP 2005
- The SLam Calculus: Programming with Secrecy and Integrity POPL 1998
- Distributed Markov Chains VMCAI 2015