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