D. Macedonio

Latest

• Information Flow Security and Recursive Systems
• Secure Contexts for Confidential Data