IRIS Institutional Research Information System

Armando, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7.347
EU - Europa 6.446
AS - Asia 3.326
SA - Sud America 848
Continente sconosciuto - Info sul continente non disponibili 159
AF - Africa 78
OC - Oceania 8
AN - Antartide 1
Totale 18.213
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.204
RU - Federazione Russa 3.710
SG - Singapore 1.335
BR - Brasile 708
CN - Cina 635
DE - Germania 625
VN - Vietnam 521
SE - Svezia 452
UA - Ucraina 438
HK - Hong Kong 370
FI - Finlandia 241
FR - Francia 200
IT - Italia 198
GB - Regno Unito 185
IN - India 134
NL - Olanda 133
IE - Irlanda 119
CA - Canada 83
KR - Corea 64
AR - Argentina 46
BD - Bangladesh 43
BE - Belgio 38
MX - Messico 38
ZA - Sudafrica 38
IQ - Iraq 37
PL - Polonia 35
IR - Iran 23
EC - Ecuador 22
ES - Italia 22
JP - Giappone 22
EU - Europa 20
TR - Turchia 19
PK - Pakistan 18
VE - Venezuela 18
CO - Colombia 15
SA - Arabia Saudita 14
UZ - Uzbekistan 14
AE - Emirati Arabi Uniti 12
LT - Lituania 12
CL - Cile 11
PY - Paraguay 10
AZ - Azerbaigian 9
ID - Indonesia 8
MA - Marocco 8
UY - Uruguay 8
KE - Kenya 7
RO - Romania 7
AU - Australia 6
IL - Israele 6
TN - Tunisia 6
BO - Bolivia 5
DO - Repubblica Dominicana 5
DZ - Algeria 5
JO - Giordania 5
KZ - Kazakistan 5
LB - Libano 5
MY - Malesia 5
NP - Nepal 5
PH - Filippine 5
PT - Portogallo 5
CR - Costa Rica 4
EG - Egitto 4
HN - Honduras 4
KG - Kirghizistan 4
RS - Serbia 4
AT - Austria 3
HU - Ungheria 3
OM - Oman 3
PA - Panama 3
PE - Perù 3
BY - Bielorussia 2
CG - Congo 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
GY - Guiana 2
JM - Giamaica 2
MD - Moldavia 2
A1 - Anonimo 1
AL - Albania 1
AO - Angola 1
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
DK - Danimarca 1
GH - Ghana 1
GI - Gibilterra 1
GT - Guatemala 1
HR - Croazia 1
IS - Islanda 1
KI - Kiribati 1
KW - Kuwait 1
LU - Lussemburgo 1
LV - Lettonia 1
LY - Libia 1
MN - Mongolia 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
QA - Qatar 1
Totale 18.069
Salva come PNG Salva come JPEG
Città #
Jacksonville 908
Chandler 906
San Jose 858
Council Bluffs 827
Singapore 718
Ashburn 479
Hong Kong 358
Moscow 263
Wilmington 219
Beijing 217
Dallas 211
The Dalles 177
Hefei 132
Dong Ket 127
Ho Chi Minh City 126
Boardman 125
Kronberg 125
Ann Arbor 118
Dublin 117
Dearborn 116
Helsinki 113
Hanoi 108
Lauterbourg 108
Woodbridge 101
Los Angeles 82
Trento 79
New York 77
Phoenix 67
Brooklyn 63
Houston 63
Seattle 63
São Paulo 55
Hangzhou 50
Brussels 38
Santa Clara 37
Shanghai 37
Pune 32
Warsaw 32
Toronto 29
Da Nang 28
London 25
Rio de Janeiro 25
Frankfurt am Main 24
Miami 22
Orem 22
Atlanta 20
Hillsboro 20
Johannesburg 20
Milan 20
Tokyo 20
Chennai 19
Denver 19
Chicago 17
Norwalk 17
Ottawa 17
Belo Horizonte 16
Charlotte 15
Montreal 15
Munich 15
Falkenstein 14
Haiphong 14
Ardabil 13
Brasília 13
Tashkent 13
Augusta 12
Baghdad 12
Boston 12
Mumbai 12
Monmouth Junction 11
Portland 11
Cheyenne 10
Mexico City 10
Tianjin 10
Verona 10
Curitiba 9
Dhaka 9
Fremont 9
Leawood 9
Manchester 9
Nuremberg 9
Poplar 9
Redwood City 9
San Mateo 9
Stockholm 9
Ankara 8
Baku 8
Cape Town 8
Erbil 8
Hanover 8
Juiz de Fora 8
Salvador 8
Secaucus 8
Amsterdam 7
Buffalo 7
Campogalliano 7
Guarulhos 7
Jeddah 7
Montevideo 7
Nairobi 7
Quito 7
Totale 9.144
Salva come PNG Salva come JPEG
Nome #
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 289
Dynamic analysis security testing of multi-party web applications via attack patterns 274
A Superposition Based Methodology to Design Satisfiability Decision Procedures 219
Attribute Based Access Control for APIs in Spring Security 214
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 204
Automatic Security Analysis of SAML-based Single Sign-On Protocols 201
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 192
Abstraction-driven SAT-based Analysis of Security Protocols 191
Automated and Efficient Analysis of Role-Based Access Control with Attributes 189
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 189
New results on rewrite-based satisfiability procedures 188
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 188
A knowledge based system for automatic 3D scene generation 184
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 183
Android vs. SEAndroid: An empirical assessment 181
ASASP: Automated Symbolic Analysis of Security Policies 179
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 178
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 176
SATMC: a SAT-based Model Checker for Security-critical Systems 176
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 174
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 173
Abstraction refinement of Linear Programs with Arrays 172
MRG: Building planners for real world complex applications 172
Android Permissions Unleashed 171
RDL---Rewrite and Decision procedure Laboratory 170
The Phase Transition of the Linear Inequalities Problem 168
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 168
High Performance Deduction for verification: a case study in the theory of arrays 168
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 167
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 165
An Empirical Evaluation of the Android Security Framework 165
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 164
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 162
Automated Analysis of Infinite State Workflows with Access Control Policies 162
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap 159
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints 159
Building SMT-based Software Model Checkers: an Experience Report 156
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 156
Selective Release of Smart Metering Data in Multi-domain Smart Grids 156
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 155
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 152
Uniform Derivation of Decision Procedures by Superposition 150
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 149
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 148
Counterexample-guided abstraction refinement for linear programs with arrays 148
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 146
Navigation by Combining Reactivity and Planning 145
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 145
Visual Representation of Natural Language Scene Descriptions 144
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 144
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 144
Coommunication Protocols for Mathematical Services based on KQML and OMRS 143
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 143
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 143
Risk-Based Privacy-Aware Information Disclosure 143
Embedding complex decision procedures inside an interactive theorem prover 142
LTL Model Checking for Security Protocols 142
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 141
Structured Proof Procedures 140
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 140
Flexible Planning by Integrating Multilevel Reasoning 140
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 139
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 139
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis 138
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 137
The Control Component of Open Mechanized Reasoning Systems 136
LTL Model Checking for Security Protocols 136
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 134
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics 134
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 134
Termination of Constraint Contextual Rewriting 134
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 133
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 133
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 133
Compiling NATO authorization policies for enforcement in the cloud and SDNs 133
On the Automated Analysis of Safety in Usage Control: A New Decidability Result 132
Content- based information protection and release in NATO operations 132
Formal Analysis of a Privacy-Preserving Billing Protocol 132
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective 131
The Rewriting Approach to Satisfiability Procedures 131
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 130
Boosting Model Checking to Analyse Large ARBAC Policies 130
Model Checking of Security-sensitive Business Processes 129
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) 128
Trustworthy Opportunistic Access to the Internet of Services 128
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy 126
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 125
Would You Mind Forking This Process? A Denial of Service attack on Android (and Some Countermeasures) 125
Bring Your Own Device, Securely 125
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control 125
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 124
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 124
Model checking authorization requirements in business processes 121
SAT-based Model Checking for Security Protocols Analysis 121
The AVISS Security Protocol Analysis Tool 121
Minimum Disclosure as Boolean Optimization: New Results 120
The SAT-based Approach to Separation Logic 119
Trusted host-based card emulation 119
Bounded model checking of software using SMT solvers instead of SAT solvers 118
Efficient run-time solving of RBAC user authorization queries: pushing the envelope 118
Totale 15.316
Salva come PNG Salva come JPEG
Categoria #
all - tutte 80.887
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 80.887
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022467 0 0 6 82 29 11 12 118 52 6 47 104
2022/20231.765 46 125 47 286 108 298 13 153 469 136 55 29
2023/2024891 86 37 94 45 66 94 76 171 29 112 8 73
2024/20253.001 23 25 324 83 29 31 167 173 1.101 392 438 215
2025/20267.759 304 469 470 428 309 313 1.220 2.872 507 314 467 86
2026/2027698 350 279 69 0 0 0 0 0 0 0 0 0
Totale 18.213