Rossi S

Latest

• A process algebra for (delimited) persistent stochastic non-interference
• Proportional Lumpability
• Action Refinement in Process Algebra and Security Issues
• Compositional information flow security for concurrent programs
• Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs
• Information flow in secure contexts
• Unwinding Conditions for Security in Imperative Languages
• CoPS - Checker of Persistent Security
• Modelling Downgrading in Information Flow Security
• Unwinding in Information Flow Security
• 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
• Proofs Methods for Bisimulation Based Information Flow Security
• Transforming Processes to Check and Ensure Information Flow Security