Ranise, Silvio
Ranise, Silvio
Matematica (29/10/12-)
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints
2011-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, S.
A declarative framework for specifying and enforcing purpose-aware policies
2015-01-01 De Masellis, R.; Ghidini, C.; Ranise, S.
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures
2011-01-01 Barletta, M.; Ranise, S.; Vigano, L.
A framework for security and risk analysis of enrollment procedures: Application to fully-remote solutions based on eDocuments
2021-01-01 Pernpruner, M.; Ranise, S.; Sciarretta, G.
A lazy approach to access control as a service (ACaaS) for IoT: An AWS case study
2018-01-01 Ahmad, T.; Morelli, U.; Ranise, S.; Zannone, N.
A methodology to build run-time monitors for security-aware workflows
2013-01-01 Bertolissi, C.; Ranise, S.
A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic
2001-01-01 Armando, A.; Ranise, S.
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
2008-01-01 Deharbe, D.; Ranise, S.; Vidal, J.
A rewriting approach to satisfiability procedures
2003-01-01 Armando, A.; Ranise, S.; Rusinowitch, M.
A SMT-based methodology for monitoring of security-aware workflows
2014-01-01 Bertolissi, C.; Ranise, S.
A SMT-based tool for the analysis and enforcement of NATO content-based protection and release policies
2015-01-01 Armando, A.; Ranise, S.; Traverso, R.; Wrona, K.
A theory of singly-linked lists and its extensible decision procedure
2006-01-01 Ranise, S.; Zarba, C.
A Tool-assisted Methodology for the Data Protection Impact Assessment
2019-01-01 Dashti, S.; Ranise, S.
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps
2019-01-01 Sharif, A.; Carbone, R.; Ranise, S.; Sciarretta, G.
Abstraction-Driven Verification of Array Programs
2004-01-01 Deharbe, D.; Imine, A.; Ranise, S.
Aegis: Automatic enforcement of security policies in workflow-driven web applications
2017-01-01 Compagna, L.; Dos Santos, D. R.; Ponta, S. E.; Ranise, S.
ALPS: An Action Language for Policy Specification and Automated Safety Analysis
2014-01-01 Ranise, S; Traverso, R
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols
2024-01-01 Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
An extension of lazy abstraction with interpolation for programs with arrays
2014-01-01 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, S.; Sharygina, N.
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures
2020-01-01 Morelli, U.; Nicolodi, L.; Ranise, S.