Ranise, Silvio

Ranise, Silvio  

Mostra records
Risultati 1 - 20 di 176 (tempo di esecuzione: 0.016 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; Ranise, Silvio
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies 1-gen-2015 De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
A Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures 1-gen-2011 M., Barletta; Ranise, Silvio; L., Vigano
A delegated authorization solution for smart-city mobile applications 1-gen-2016 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio
A First Appraisal of Cryptographic Mechanisms for the SelectiveDisclosure of Verifiable Credentials 1-gen-2023 Flamini, Andrea; Ranise, Silvio; Sciarretta, Giada; Scuro, Mario; Sharif, Amir; Tomasi, Alessandro
A Framework for Security and Risk Analysis of Enrollment Procedures: Application to Fully-remote Solutions based on eDocuments 1-gen-2021 Pernpruner, Marco; Sciarretta, Giada; Ranise, Silvio
A Lazy Approach to Access Control as a Service (ACaaS) for IoT 1-gen-2018 Ahmad, Tahir; Morelli, Umberto; Ranise, Silvio; Zannone, Nicola
A Methodology to build run-time Monitors for Security-Aware Workflows 1-gen-2013 Bertolissi, Clara; Ranise, Silvio
A Modular and Extensible Framework for Securing TLS 1-gen-2022 Rizzi, Matteo; Manfredi, Salvatore; Sciarretta, Giada; Ranise, Silvio
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 1-gen-2001 Armando, Alessandro; Ranise, Silvio
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 1-gen-2015 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
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
A Tool-assisted Methodology for the Data Protection Impact Assessment 1-gen-2019 Dashti, Salimeh; Ranise, Silvio
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps 1-gen-2019 Sharif, Amir; Carbone, Roberto; Ranise, Silvio; Sciarretta, Giada
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, Silvio; Traverso, Riccardo
An Automated Multi-Layered Methodology to Assist the Secure and Risk-Aware Design of Multi-Factor Authentication Protocols In corso di stampa Pernpruner, Marco; Carbone, Roberto; Sciarretta, Giada; Ranise, Silvio
An extension of lazy abstraction with interpolation for programs with arrays 1-gen-2014 Alberti, F.; Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio; Sharygina, N.