ARMANDO, ALESSANDRO

ARMANDO, ALESSANDRO  

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

Mostra records
Risultati 1 - 20 di 145 (tempo di esecuzione: 0.017 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 Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 1-gen-2001 Armando, Alessandro; Ranise, S.
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-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
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
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 1-gen-2021 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 1-gen-2012 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 1-gen-2013 Armando, Alessandro; Roberto, Carbone; Luca, Compagna; Jorge, Cuellar; Giancarlo, Pellegrino; Alessandro, Sorniotti
An Empirical Evaluation of the Android Security Framework 1-gen-2013 Armando, Alessandro; Merlo, Alessio; Verderame, Luca
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 1-gen-2005 Armando, Alessandro; Compagna, L.
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 1-gen-2017 Sciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro
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; 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
Attacking (and Defending) the Maritime Radar System 1-gen-2023 Longo, Giacomo; Russo, Enrico; Armando, Alessandro; Merlo, Alessio
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