Ranise, Silvio

Ranise, Silvio  

Centro CS  

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