Armando, Alessandro
Armando, Alessandro
S&T Unit
A knowledge based system for automatic 3D scene generation
1992-01-01 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, Silvio
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting.
2005-01-01 Armando, Alessandro; Ballarin, C.
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
2015-01-01 Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
A Superposition Based Methodology to Design Satisfiability Decision Procedures
2001-01-01 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
Abstraction refinement of Linear Programs with Arrays
2007-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Abstraction-driven SAT-based Analysis of Security Protocols
2003-01-01 Armando, Alessandro; Compagna, L.
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints
2012-01-01 Armando, Alessandro; E., Giunchiglia; M., Maratea; S. E., Ponta
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations
2013-01-01 Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti
An Empirical Evaluation of the Android Security Framework
2013-01-01 Armando, Alessandro; Merlo, A.; Verderame, L.
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
2005-01-01 Armando, Alessandro; Compagna, L.
Android Permissions Unleashed
2015-01-01 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Android vs. SEAndroid: An empirical assessment
2016-01-01 Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro
ASASP: Automated Symbolic Analysis of Security Policies
2011-01-01 F., Alberti; Armando, Alessandro; Ranise, Silvio
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, Eyasu Getahun; Ranise, Silvio
Automated Analysis of Infinite State Workflows with Access Control Policies
2011-01-01 Armando, Alessandro; Ranise, Silvio
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach
2011-01-01 Armando, Alessandro; Carbone, Roberto; Ranise, Silvio
Automated and Efficient Analysis of Role-Based Access Control with Attributes
2012-01-01 Armando, Alessandro; Ranise, Silvio