Armando, Alessandro

Armando, Alessandro  

Mostra records
Risultati 1 - 20 di 127 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
A knowledge based system for automatic 3D scene generation 1-gen-1992 Traverso, Paolo; Armando, Alessandro; Enrico, Giunchiglia
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 1-gen-2001 Armando, Alessandro; Ranise, Silvio
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 1-gen-2005 Armando, Alessandro; Ballarin, C.
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2004 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
A Superposition Based Methodology to Design Satisfiability Decision Procedures 1-gen-2001 Armando, Alessandro; Ranise, Silvio; Rusinowitch, M.
Abstraction refinement of Linear Programs with Arrays 1-gen-2007 Armando A.; Benerecetti M.; Mantovani J.
Abstraction-driven SAT-based Analysis of Security Protocols 1-gen-2003 Armando, Alessandro; Compagna, L.
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints 1-gen-2012 Armando, Alessandro; E., Giunchiglia; M., Maratea; S. E., Ponta
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 1-gen-2013 Armando, Alessandro; Carbone, Roberto; L., Compagna; J., Cuellar; G., Pellegrino; A., Sorniotti
An Empirical Evaluation of the Android Security Framework 1-gen-2013 Armando, Alessandro; Merlo, A.; Verderame, L.
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 1-gen-2005 Armando, Alessandro; Compagna, L.
Android Permissions Unleashed 1-gen-2015 Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
Android vs. SEAndroid: An empirical assessment 1-gen-2016 Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro
ASASP: Automated Symbolic Analysis of Security Policies 1-gen-2011 F., Alberti; Armando, Alessandro; Ranise, Silvio
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 A.; Carbone R.; Chekole E. G.; Ranise S.
Automated Analysis of Infinite State Workflows with Access Control Policies 1-gen-2011 Armando, Alessandro; Ranise, Silvio
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 1-gen-2011 Armando, Alessandro; Carbone, Roberto; Ranise, Silvio
Automated and Efficient Analysis of Role-Based Access Control with Attributes 1-gen-2012 Armando, Alessandro; Ranise, Silvio
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 1-gen-2010 Armando, Alessandro; G., Lowe