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 Framework for Specifying and Enforcing Purpose-Aware Policies
2015-01-01 De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
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 delegated authorization solution for smart-city mobile applications
2016-01-01 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments
2021-01-01 Pernpruner, Marco; Sciarretta, Giada; Ranise, Silvio
A Lazy Approach to Access Control as a Service (ACaaS) for IoT
2018-01-01 Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola
A Methodology to build run-time Monitors for Security-Aware Workflows
2013-01-01 Bertolissi, Clara; Ranise, Silvio
A Modular and Extensible Framework for Securing TLS
2022-01-01 Rizzi, Matteo; Manfredi, Salvatore; Sciarretta, Giada; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, Silvio
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
2015-01-01 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
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
A Tool-assisted Methodology for the Data Protection Impact Assessment
2019-01-01 Dashti, Salimeh; Ranise, Silvio
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps
2019-01-01 Sharif, Amir; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada
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.
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures
2020-01-01 Morelli, Umberto; Nicolodi, Lorenzo; Ranise, Silvio
Analysis of XACML Policies with SMT
2015-01-01 Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola