ARMANDO, ALESSANDRO
ARMANDO, ALESSANDRO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
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.
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 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 vs. SEAndroid: An empirical assessment
2016-01-01 Merlo, Alessio; Costa, Gabriele; Verderame, Luca; Armando, Alessandro
Attacking (and Defending) the Maritime Radar System
2023-01-01 Longo, Giacomo; Russo, Enrico; Armando, Alessandro; Merlo, Alessio
Automatic security verification of mobile app configurations
2018-01-01 Costa, Gabriele; Merlo, Alessio; Verderame, Luca; Armando, Alessandro
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm
1999-01-01 Armando, Alessandro; Smaill, A.; Green, I.
Automating the Generation of Cyber Range Virtual Scenarios with VSDL
2022-01-01 Costa, Gabriele; Russo, Enrico; Armando, Alessandro
Automating the synthesis of decision procedures in a constructive metatheory
1998-01-01 Armando, Alessandro; J., Gallagher; A., Smaill; A., Bundy
Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers
2009-01-01 Armando, Alessandro; J., Mantovani; L., Platania
Breaking and fixing the Android Launching Flow
2013-01-01 Armando, Alessandro; Merlo, Alessio; Migliardi, Mauro; Verderame, Luca
Building next generation Cyber Ranges with CRACK
2020-01-01 Russo, E.; Costa, G.; Armando, A.
Constraint Contextual Rewriting
2003-01-01 Armando, Alessandro; Ranise, S.
Counterexample-guided abstraction refinement for linear programs with arrays
2014-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
DIOXIN: runtime security policy enforcement of fog applications
2021-01-01 Russo, E.; Verderame, L.; Armando, A.; Merlo, A.
Embedding complex decision procedures inside an interactive theorem prover
1993-01-01 Armando, Alessandro; Giunchiglia, Enrico