From Typed Process Calculi to Source-Based Security
No abstract available.
Related papers
- Secure implementations of typed channel abstractions POPL 2007
- Type-preserving compilation of end-to-end verification of security enforcement PLDI 2010
- A Core Calculus of Dependency POPL 1999
- Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close ESOP 2005
- Secure Information Flow as Typed Process Behaviour ESOP 2000
- A Uniform Reduction Equivalence for Process Calculi APLAS 2004
- On Distributability in Process Calculi ESOP 2013
- Refinement types for secure implementations TOPLAS 2011