S. Rossi

Latest

• AI-enhanced blockchain technology: A review of advancements and opportunities
• Compressing neural networks via formal methods
• Efficient Algorithm for Proportional Lumpability and Its Application to Selfish Mining in Public Blockchains
• Neural Networks Reduction via Lumping
• D_PSNI: Delimited persistent stochastic non-interference
• Persistent Stochastic Non-Interference
• Proportional lumpability and proportional bisimilarity
• Reasoning About Proportional Lumpability
• A process algebra for (delimited) persistent stochastic non-interference
• Proportional Lumpability
• Contextual 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