IRIS Institutional Research Information System

Armando, Alessandro
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.209
EU - Europa 6.463
AS - Asia 3.348
SA - Sud America 849
Continente sconosciuto - Info sul continente non disponibili 159
AF - Africa 82
OC - Oceania 8
AN - Antartide 1
Totale 19.119
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.055
RU - Federazione Russa 3.710
SG - Singapore 1.338
BR - Brasile 709
CN - Cina 636
DE - Germania 625
VN - Vietnam 521
SE - Svezia 452
UA - Ucraina 439
HK - Hong Kong 378
FI - Finlandia 241
FR - Francia 204
IT - Italia 203
GB - Regno Unito 192
IN - India 136
NL - Olanda 133
IE - Irlanda 119
CA - Canada 89
KR - Corea 64
AR - Argentina 46
BD - Bangladesh 43
ZA - Sudafrica 39
BE - Belgio 38
MX - Messico 38
IQ - Iraq 37
PL - Polonia 35
JP - Giappone 27
IR - Iran 23
EC - Ecuador 22
ES - Italia 22
EU - Europa 20
TR - Turchia 19
PK - Pakistan 18
VE - Venezuela 18
AE - Emirati Arabi Uniti 15
CO - Colombia 15
SA - Arabia Saudita 14
UZ - Uzbekistan 14
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
CR - Costa Rica 5
DO - Repubblica Dominicana 5
DZ - Algeria 5
HN - Honduras 5
JO - Giordania 5
KZ - Kazakistan 5
LB - Libano 5
MY - Malesia 5
NP - Nepal 5
PH - Filippine 5
PT - Portogallo 5
EG - Egitto 4
KG - Kirghizistan 4
RS - Serbia 4
AT - Austria 3
HU - Ungheria 3
JM - Giamaica 3
OM - Oman 3
PA - Panama 3
PE - Perù 3
SC - Seychelles 3
BY - Bielorussia 2
CG - Congo 2
CZ - Repubblica Ceca 2
ET - Etiopia 2
GT - Guatemala 2
GY - Guiana 2
MD - Moldavia 2
PR - Porto Rico 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
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
Totale 18.974
Salva come PNG Salva come JPEG
Città #
San Jose 920
Jacksonville 910
Chandler 906
Council Bluffs 827
Singapore 719
Ashburn 488
Hong Kong 359
Moscow 263
Wilmington 220
Beijing 218
Dallas 217
The Dalles 178
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
New York 100
Los Angeles 95
Trento 79
Phoenix 76
Brooklyn 71
Houston 68
Seattle 64
São Paulo 55
Hangzhou 50
Santa Clara 42
Tampa 42
Brussels 38
Garland 37
Shanghai 37
Buffalo 35
Pune 32
Warsaw 32
Toronto 30
Da Nang 28
Chicago 26
London 25
Miami 25
Rio de Janeiro 25
Tokyo 25
Atlanta 24
Frankfurt am Main 24
Denver 22
Orem 22
Hillsboro 21
Chennai 20
Johannesburg 20
Milan 20
Lawrenceville 19
Ottawa 19
Princeton 19
Charlotte 17
Norwalk 17
Belo Horizonte 16
Queens 16
Montreal 15
Munich 15
Brasília 14
Falkenstein 14
Haiphong 14
Portland 14
Ardabil 13
Boston 13
Tashkent 13
Augusta 12
Baghdad 12
Mumbai 12
Monmouth Junction 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 Francisco 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
Abbeville 7
Totale 9.456
Salva come PNG Salva come JPEG
Nome #
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 297
Dynamic analysis security testing of multi-party web applications via attack patterns 282
A Superposition Based Methodology to Design Satisfiability Decision Procedures 227
Attribute Based Access Control for APIs in Spring Security 221
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 214
Automatic Security Analysis of SAML-based Single Sign-On Protocols 208
A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies 199
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 198
Abstraction-driven SAT-based Analysis of Security Protocols 198
New results on rewrite-based satisfiability procedures 197
Automated and Efficient Analysis of Role-Based Access Control with Attributes 196
Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney 195
A knowledge based system for automatic 3D scene generation 194
Android vs. SEAndroid: An empirical assessment 188
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 188
ASASP: Automated Symbolic Analysis of Security Policies 186
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 184
SATMC: a SAT-based Model Checker for Security-critical Systems 184
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 183
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach 183
Android Permissions Unleashed 182
Abstraction refinement of Linear Programs with Arrays 181
An Empirical Evaluation of the Android Security Framework 181
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 180
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 179
MRG: Building planners for real world complex applications 178
RDL---Rewrite and Decision procedure Laboratory 177
High Performance Deduction for verification: a case study in the theory of arrays 176
The Phase Transition of the Linear Inequalities Problem 175
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 173
Preface. Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2005) 173
Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module 173
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 169
Automated Analysis of Infinite State Workflows with Access Control Policies 169
An Action-based Approach to the Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints 166
Selective Release of Smart Metering Data in Multi-domain Smart Grids 166
From Model-checking to Automated Testing of Security Protocols: Bridging the Gap 165
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 161
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 161
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers 161
Building SMT-based Software Model Checkers: an Experience Report 159
Formal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps. 157
SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform 157
Uniform Derivation of Decision Procedures by Superposition 156
Counterexample-guided abstraction refinement for linear programs with arrays 155
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 154
Visual Representation of Natural Language Scene Descriptions 153
Navigation by Combining Reactivity and Planning 152
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 152
Coommunication Protocols for Mathematical Services based on KQML and OMRS 151
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 151
Flexible Planning by Integrating Multilevel Reasoning 151
Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach 151
Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 150
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 150
LTL Model Checking for Security Protocols 150
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 149
Embedding complex decision procedures inside an interactive theorem prover 148
Special Issue on "CALCULEMUS: Systems for Integrated Computation and Deduction" 148
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 148
Risk-Based Privacy-Aware Information Disclosure 148
LTL Model Checking for Security Protocols 147
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 146
Structured Proof Procedures 145
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 144
The Control Component of Open Mechanized Reasoning Systems 143
Post-workshop Proceedings of the 1st Workshop on Automated Reasoning for Security Protocol Analysis 143
The Control Component of Open Mechanized Reasoning Systems: Annotation and Tactics 142
Automatic Compilation of Protocol Insecurity Problems into Logic Programming. 141
Formal Analysis of a Privacy-Preserving Billing Protocol 141
Compiling NATO authorization policies for enforcement in the cloud and SDNs 141
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 140
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 140
SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies 140
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 139
On the Automated Analysis of Safety in Usage Control: A New Decidability Result 139
Termination of Constraint Contextual Rewriting 139
Special Issue on Integrated Symbolic Computation and Automated Deduction of the Journal of Symbolic Computation 138
SAT-Based Decision Procedures for Automated Reasoning: a unifying Perspective 138
The Rewriting Approach to Satisfiability Procedures 138
Content- based information protection and release in NATO operations 137
Special Issue of the Journal of Automated Reasoning on Selected Papers from the 4th International Joint Conference of Automated Reasoning (IJCAR 2008) 136
Boosting Model Checking to Analyse Large ARBAC Policies 136
Model Checking of Security-sensitive Business Processes 135
Trustworthy Opportunistic Access to the Internet of Services 134
Would You Mind Forking This Process? A Denial of Service attack on Android (and Some Countermeasures) 132
Bring Your Own Device, Securely 132
Scalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control 132
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), Venice, Italy 132
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 131
Post-workshop Proceedings of the 3rd Workshop on Pragmatics of Decision Procedures in Automated Reasoning 130
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 130
The AVISS Security Protocol Analysis Tool 130
Model checking authorization requirements in business processes 129
The SAT-based Approach to Separation Logic 128
SAT-based Model Checking for Security Protocols Analysis 128
Trusted host-based card emulation 126
Minimum Disclosure as Boolean Optimization: New Results 125
Formal Modeling and Reasoning about the Android Security Framework 125
Bounded model checking of software using SMT solvers instead of SAT solvers 124
Totale 16.054
Salva come PNG Salva come JPEG
Categoria #
all - tutte 84.185
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 84.185
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022461 0 0 0 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/20271.604 350 279 642 333 0 0 0 0 0 0 0 0
Totale 19.119