Ranise, Silvio
Ranise, Silvio
Centro CS
A Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints
2011-01-01 R. Bruttomesso; S. Ghilardi; S. Ranise
A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures
2011-01-01 M. Barletta; S. Ranise; L. Vigano
A Methodology to build run-time Monitors for Security-Aware Workflows
2013-01-01 Bertolissi, Clara; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, Silvio
A Superposition Based Methodology to Design Satisfiability Decision Procedures
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
2006-01-01 Ranise, Silvio; C. G., Zarba
Abstraction-Driven Verification of Array Programs
2004-01-01 D., Déharbe; A., Imine; Ranise, Silvio
Aegis: Automatic Enforcement of Security Policies in Workflow-driven Web Applications
2017-01-01 Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio
ALPS: An Action Language for Policy Specification and Automated Safety Analysis
2014-01-01 Ranise S.; Traverso R.
An extension of lazy abstraction with interpolation for programs with arrays
2014-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N.
Analysis of XACML Policies with SMT
2015-01-01 Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
2017-01-01 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro
ASASP: Automated Symbolic Analysis of Security Policies
2011-01-01 F., Alberti; Armando, Alessandro; Ranise, Silvio
ASASPXL: New Clother for Analysing ARBAC Policies
2016-01-01 Truong, Anh; Ranise, Silvio
Assessing the Effectiveness of the Shared Responsibility Model for Cloud Databases: the Case of Google’s Firebase
2021-01-01 Demissie, Biniam Fisseha; Ranise, Silvio
Assisted Authoring, Analysis and Enforcement of Access Control Policies in the Cloud
2017-01-01 Morelli, Umberto; Ranise, Silvio
Assisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
2015-01-01 Dos Santos, Daniel Ricardo; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.
Attestation-enabled secure and scalable routing protocol for IoT networks
2020-01-01 Conti, Mauro; Kaliyar, Pallavi; Masoom Rabbani, Md; Ranise, Silvio
Attribute Based Access Control for APIs in Spring Security
2014-01-01 Armando A.; Carbone R.; Chekole E. G.; Ranise S.
Audit-Based Access Control with a Distributed Ledger: Applications to Healthcare Organizations
2019-01-01 Morelli, Umberto; Ranise, Silvio; Sartori, Damiano; Sciarretta, Giada; Tomasi, Alessandro