Ranise, Silvio

Ranise, Silvio  

Matematica (29/10/12-)  

Mostra records
Risultati 1 - 20 di 155 (tempo di esecuzione: 0.029 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A combination of rewriting and constraint solving for the quantifier-free interpolation of arrays with integer difference constraints 1-gen-2011 Ranise S. +
A declarative framework for specifying and enforcing purpose-aware policies 1-gen-2015 Ranise S. +
A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures 1-gen-2011 Ranise S. +
A framework for security and risk analysis of enrollment procedures: Application to fully-remote solutions based on eDocuments 1-gen-2021 Ranise S. +
A lazy approach to access control as a service (ACaaS) for IoT: An AWS case study 1-gen-2018 Ranise S. +
A methodology to build run-time monitors for security-aware workflows 1-gen-2013 Ranise S. +
A practical extension mechanism for decision procedures: The case study of universal presburger arithmetic 1-gen-2001 Ranise S. +
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework 1-gen-2008 Ranise S. +
A rewriting approach to satisfiability procedures 1-gen-2003 Ranise S. +
A SMT-based methodology for monitoring of security-aware workflows 1-gen-2014 Ranise S. +
A SMT-based tool for the analysis and enforcement of NATO content-based protection and release policies 1-gen-2015 Ranise S. +
A theory of singly-linked lists and its extensible decision procedure 1-gen-2006 Ranise S. +
A Tool-assisted Methodology for the Data Protection Impact Assessment 1-gen-2019 Ranise S. +
A Wizard-based Approach for Secure Code Generation of Single Sign-On and Access Delegation Solutions for Mobile Native Apps 1-gen-2019 Ranise S. +
Abstraction-Driven Verification of Array Programs 1-gen-2004 Ranise S. +
Aegis: Automatic enforcement of security policies in workflow-driven web applications 1-gen-2017 Ranise S. +
ALPS: An Action Language for Policy Specification and Automated Safety Analysis 1-gen-2014 Ranise, S +
An extension of lazy abstraction with interpolation for programs with arrays 1-gen-2014 Ranise S. +
An Open and Flexible CyberSecurity Training Laboratory in IT/OT Infrastructures 1-gen-2020 Ranise S. +
Analysis of XACML policies with SMT 1-gen-2015 Ranise S. +