A. Bossi

Latest

• Compositional information flow security for concurrent programs
• Verifying Persistent Security Properties
• A Proof System for Information Flow Security
• Bisimulation and Unwinding for Verifying Possibilistic Security Properties
• Information Flow Security and Recursive Systems
• Refinement Operators and Information Flow Security
• Secure Contexts for Confidential Data
• Transforming Processes to Check and Ensure Information Flow Security