Macedonio D

Latest

• Information flow in secure contexts
• Unwinding in Information Flow Security
• Information Flow Security and Recursive Systems
• Secure Contexts for Confidential Data