ARMANDO, ALESSANDRO

ARMANDO, ALESSANDRO  

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

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