ARMANDO, ALESSANDRO

ARMANDO, ALESSANDRO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 77 (tempo di esecuzione: 0.03 secondi).
Titolo Data di pubblicazione Autore(i) File
A knowledge Based System for Automatic 3D Scene Generation 1-gen-1992 P., Traverso; Armando, Alessandro; Giunchiglia, Enrico
A Superposition Based Methodology to Design Satisfiability Decision Procedures 1-gen-2001 Armando, Alessandro; Ranise, S.; Rusinowitch, M.
Abstraction refinement of Linear Programs with Arrays 1-gen-2007 Armando, Alessandro; M., Benerecetti; J., Mantovani
Abstraction-driven SAT-based Analysis of Security Protocols 1-gen-2003 Armando, Alessandro; L., Compagna
Android Permissions Unleashed 1-gen-2015 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
ASASP: Automated Symbolic Analysis of Security Policies 1-gen-2011 F., Alberti; Armando, Alessandro; S., Ranise
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 1-gen-2016 Sudhodanan, Avinash; Armando, Alessandro; Carbone, Roberto; Compagna, Luca
Attribute Based Access Control for APIs in Spring Security 1-gen-2014 Armando, Alessandro; Carbone, Roberto; Chekole, E. G.; Ranise, S.
Automated Analysis of Infinite State Workflows with Access Control Policies 1-gen-2012 Armando, Alessandro; S., Ranise
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach 1-gen-2011 Armando, Alessandro; Carbone, Roberto; S., Ranise
Automated and Efficient Analysis of Role-Based Access Control with Attributes 1-gen-2012 Armando, Alessandro; S., Ranise
Automated Symbolic Analysis of ARBAC Policies 1-gen-2011 Armando, Alessandro; S., Ranise
Automatic Compilation of Protocol Insecurity Problems into Logic Programming 1-gen-2004 Armando, Alessandro; L., Compagna; Y., Lierler
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 1-gen-2002 Armando, Alessandro; Compagna, Luca
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm 1-gen-1997 Armando, Alessandro; A., Smaill; I., Green
Boosting Model Checking to Analyse Large ARBAC Policies 1-gen-2013 S., Ranise; A., Truong; Armando, Alessandro
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 1-gen-2006 Armando, Alessandro; J., Mantovani; L., Platania
Bring your own device, securely 1-gen-2013 Armando, Alessandro; Costa, Gabriele; Verderame, Luca; Merlo, Alessio
Building and executing proof strategies in a formal metatheory 1-gen-1993 Armando, Alessandro; A., Cimatti; L., Vigano`
Building SMT-based Software Model Checkers: an Experience Report 1-gen-2009 Armando, Alessandro