IRIS
ARMANDO, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.175
AS - Asia 1.520
NA - Nord America 1.264
SA - Sud America 160
Continente sconosciuto - Info sul continente non disponibili 104
AF - Africa 27
OC - Oceania 2
Totale 20.252
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 16.888
US - Stati Uniti d'America 1.172
SG - Singapore 648
CN - Cina 409
VN - Vietnam 211
FR - Francia 138
BR - Brasile 95
BD - Bangladesh 77
HK - Hong Kong 63
DE - Germania 37
JP - Giappone 34
CA - Canada 31
AR - Argentina 29
GB - Regno Unito 25
CH - Svizzera 23
MX - Messico 19
NL - Olanda 14
IN - India 13
JM - Giamaica 13
CO - Colombia 9
EC - Ecuador 9
ID - Indonesia 9
IQ - Iraq 9
ES - Italia 8
CL - Cile 7
IE - Irlanda 7
PH - Filippine 7
TR - Turchia 7
CR - Costa Rica 6
RU - Federazione Russa 6
ZA - Sudafrica 6
EG - Egitto 5
UA - Ucraina 5
FI - Finlandia 4
JO - Giordania 4
KR - Corea 4
MA - Marocco 4
PL - Polonia 4
PY - Paraguay 4
SA - Arabia Saudita 4
TW - Taiwan 4
VE - Venezuela 4
GD - Grenada 3
HN - Honduras 3
KY - Cayman, isole 3
PK - Pakistan 3
RO - Romania 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
BZ - Belize 2
CZ - Repubblica Ceca 2
GT - Guatemala 2
KZ - Kazakistan 2
LT - Lituania 2
MY - Malesia 2
NO - Norvegia 2
PA - Panama 2
SC - Seychelles 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BM - Bermuda 1
BO - Bolivia 1
BS - Bahamas 1
BW - Botswana 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DZ - Algeria 1
GN - Guinea 1
HR - Croazia 1
HU - Ungheria 1
KE - Kenya 1
LB - Libano 1
MD - Moldavia 1
MR - Mauritania 1
MT - Malta 1
MW - Malawi 1
NG - Nigeria 1
NI - Nicaragua 1
NP - Nepal 1
OM - Oman 1
PR - Porto Rico 1
QA - Qatar 1
RE - Reunion 1
SE - Svezia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UZ - Uzbekistan 1
Totale 20.149
Salva come PNG Salva come JPEG
Città #
Genova 10.763
Genoa 3.654
Rapallo 1.308
Vado Ligure 1.017
San Jose 343
Singapore 305
Lauterbourg 124
Ashburn 119
Ho Chi Minh City 65
Beijing 63
Hong Kong 59
New York 50
Hanoi 37
Santa Clara 33
Bordighera 32
Tokyo 30
Frankfurt am Main 27
Zurich 20
Dallas 18
Los Angeles 18
Chicago 17
Mexico City 16
Milan 13
Amsterdam 12
Da Nang 12
Haiphong 12
Orem 12
Rome 12
Las Vegas 9
Miami 9
Montreal 9
Kingston 7
Queens 7
Biên Hòa 6
Dublin 6
Phoenix 6
São Paulo 6
Tianjin 6
Atlanta 5
Bogotá 5
Bologna 5
Brooklyn 5
Buffalo 5
Cardiff 5
City of London 5
Compiègne 5
Florence 5
Houston 5
Manchester 5
Naples 5
Philadelphia 5
Rio de Janeiro 5
Amman 4
Baltimore 4
Boardman 4
Cairo 4
Can Tho 4
Denver 4
Johannesburg 4
London 4
Nuremberg 4
San José 4
Turin 4
Warsaw 4
Alexandria 3
Augusta 3
Aurora 3
Baghdad 3
Buenos Aires 3
Cagliari 3
Charlotte 3
Cleveland 3
Des Moines 3
Detroit 3
Fortaleza 3
Guangzhou 3
Guayaquil 3
Hampton 3
Helsinki 3
Hưng Yên 3
Hải Dương 3
Indpls 3
Kansas City 3
Lafayette 3
Leipzig 3
Luzzi 3
Memphis 3
Mount Vernon 3
New Castle 3
New Delhi 3
Ninh Bình 3
Pittsburgh 3
Quito 3
Quảng Ngãi 3
San Francisco 3
Sterling Heights 3
The Bronx 3
Washington 3
Wesley Chapel 3
Wilmington 3
Totale 18.488
Salva come PNG Salva come JPEG
Nome #
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 219
Formal modeling and automatic enforcement of Bring Your Own Device policies 215
Automatic security verification of mobile app configurations 215
An Empirical Evaluation of the Android Security Framework 198
Attacking (and Defending) the Maritime Radar System 196
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 191
Android Permissions Unleashed 191
Attribute Based Access Control for APIs in Spring Security 190
Android vs. SEAndroid: An empirical assessment 190
Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures) 189
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach 187
Automated Analysis of Infinite State Workflows with Access Control Policies 186
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 185
MRG: Building Planners for Real World Complex Applications 182
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap 180
Developing a NATO BYOD security policy 180
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 177
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 176
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 176
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics 174
LTL Model Checking for Security Protocols 173
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 172
SAT-based Model Checking for Security Protocols Analysis 172
Capture the Flag competitions for Higher Education 172
Formal Modeling and Reasoning about the Android Security Framework 171
Risk-based privacy-aware access control for threat detection systems 170
Mobile App Security Analysis with the MAVeriC Static Analysis Module 169
Counterexample-guided abstraction refinement for linear programs with arrays 168
Trustworthy Opportunistic Access to the Internet of Services 166
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 166
Abstraction refinement of Linear Programs with Arrays 163
Enabling BYOD through secure meta-market 163
Trusted host-based card emulation 163
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 162
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 161
Breaking and fixing the Android Launching Flow 159
Mobile app security assessment with the maveric dynamic analysis module 159
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 157
Embedding complex decision procedures inside an interactive theorem prover 155
NALIG: A CAD system for interior design with high level interaction capabilities 155
Automated Security Analysis of IoT Software Updates 155
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 154
Abstraction-driven SAT-based Analysis of Security Protocols 153
A knowledge Based System for Automatic 3D Scene Generation 153
Computer aided modelling and simulation of complex mechanical systems 152
TSAT++: an Open Platform for Satisfiability Modulo Theories 152
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 152
LTL Model Checking for Security Protocols 151
Bring your own device, securely 151
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 149
SATMC: a SAT-based Model Checker for Security Protocols 149
Building SMT-based Software Model Checkers: an Experience Report 149
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm 149
Model checking authorization requirements in business processes 149
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 148
Security considerations related to the use of mobile devices in the operation of critical infrastructures 147
Automatic Security Analysis of SAML-Based Single Sign-On Protocols 147
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 147
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 147
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 146
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 146
ASASP: Automated Symbolic Analysis of Security Policies 146
Cooperative Access Control for the Grid 145
The SAT-based Approach to Separation Logic 145
Structured proof procedures 144
SMT-based enforcement and analysis of NATO content-based protection and release policies 144
SATMC: a SAT-based Model Checker for Security-critical Systems 143
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 143
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 142
The Phase Transition of the Linear Inequalities Problem 142
Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers 142
Visual Representation of Natural Language Scene Descriptions 141
Uniform Derivation of Decision Procedures by Superposition 140
Selective Release of Smart Metering Data in Multi-domain Smart Grids 140
Incorporating Decision Procedures in Implicit Induction 140
Preface to the Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 139
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 139
Towards provably correct system synthesis and extension 139
Navigation by combining reactivity and planning 138
Model Checking Linear Programs with Arrays 138
The Rewriting Approach to Satisfiability Procedures 137
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 137
The AVISS Security Protocol Analysis Tool 136
Flexible planning by integrating multilevel reasoning 136
Model Checking of Security-sensitive Business Processes 135
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 135
Building and executing proof strategies in a formal metatheory 135
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 134
Formal Analysis of a Privacy-Preserving Billing Protocol 133
Content- based information protection and release in NATO operations 133
SAT-Based Procedures for Temporal Reasoning 132
Special Issue of the Journal of Symbolic Computation onCalculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors 131
Software Model Checking using Linear Constraints 131
Automatic Compilation of Protocol Insecurity Problems into Logic Programming 131
Proving formulas through reduction to decidable classes 130
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 127
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 126
System Description: RDL Rewrite and Decision procedure Laboratory 126
Securing the “bring your own device” policy 125
Securing the ``Bring Your Own Device'' Paradigm 125
Totale 15.564
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.370
article - articoli 23.669
book - libri 0
conference - conferenze 33.267
curatela - curatele 1.149
other - altro 0
patent - brevetti 167
selected - selezionate 0
volume - volumi 6.118
Totale 128.740
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.760 34 169 202 191 62 91 140 414 56 118 113 170
2022/20231.590 158 62 19 122 274 325 15 130 295 13 134 43
2023/2024812 48 133 30 107 60 145 43 54 36 19 34 103
2024/20252.422 60 215 68 133 363 267 163 438 62 95 217 341
2025/20264.110 583 111 292 337 502 421 641 194 285 312 150 282
2026/2027478 478 0 0 0 0 0 0 0 0 0 0 0
Totale 20.252