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 Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
2001-01-01 Armando, Alessandro; Ranise, S.
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
2005-01-01 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
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
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection
2021-01-01 Demetrio, L.; Coull, S. E.; Biggio, B.; Lagorio, G.; Armando, A.; Roli, F.
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints
2012-01-01 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations
2013-01-01 Armando, Alessandro; Roberto, Carbone; Luca, Compagna; Jorge, Cuellar; Giancarlo, Pellegrino; Alessandro, Sorniotti
An Empirical Evaluation of the Android Security Framework
2013-01-01 Armando, Alessandro; Merlo, Alessio; Verderame, Luca
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols
2005-01-01 Armando, Alessandro; Compagna, L.
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
2017-01-01 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro
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; 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
Attacking (and Defending) the Maritime Radar System
2023-01-01 Longo, Giacomo; Russo, Enrico; Armando, Alessandro; Merlo, Alessio
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