IRIS
ARMANDO, ALESSANDRO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 17.130
AS - Asia 1.452
NA - Nord America 740
SA - Sud America 148
AF - Africa 27
OC - Oceania 2
Totale 19.499
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 16.853
US - Stati Uniti d'America 690
SG - Singapore 646
CN - Cina 406
VN - Vietnam 211
FR - Francia 137
BR - Brasile 89
HK - Hong Kong 61
DE - Germania 37
JP - Giappone 34
AR - Argentina 27
GB - Regno Unito 25
BD - Bangladesh 22
CH - Svizzera 22
CA - Canada 19
MX - Messico 16
NL - Olanda 14
IN - India 12
IQ - Iraq 9
CO - Colombia 8
CL - Cile 7
EC - Ecuador 7
ID - Indonesia 7
IE - Irlanda 7
PH - Filippine 7
TR - Turchia 7
ES - Italia 6
RU - Federazione Russa 6
ZA - Sudafrica 6
EG - Egitto 5
JM - Giamaica 4
JO - Giordania 4
KR - Corea 4
MA - Marocco 4
PL - Polonia 4
PY - Paraguay 4
TW - Taiwan 4
FI - Finlandia 3
PK - Pakistan 3
SA - Arabia Saudita 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AU - Australia 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
HN - Honduras 2
KZ - Kazakistan 2
LT - Lituania 2
NO - Norvegia 2
PA - Panama 2
RO - Romania 2
SC - Seychelles 2
TT - Trinidad e Tobago 2
UA - Ucraina 2
UY - Uruguay 2
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BO - Bolivia 1
BW - Botswana 1
CI - Costa d'Avorio 1
CY - Cipro 1
DZ - Algeria 1
GN - Guinea 1
HR - Croazia 1
KE - Kenya 1
LB - Libano 1
MD - Moldavia 1
MR - Mauritania 1
MT - Malta 1
MW - Malawi 1
MY - Malesia 1
NG - Nigeria 1
NI - Nicaragua 1
OM - Oman 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 19.499
Salva come PNG Salva come JPEG
Città #
Genova 10.763
Genoa 3.650
Rapallo 1.308
Vado Ligure 1.017
Singapore 305
San Jose 241
Lauterbourg 124
Ashburn 89
Ho Chi Minh City 65
Beijing 60
Hong Kong 58
New York 45
Hanoi 37
Bordighera 32
Tokyo 30
Santa Clara 29
Frankfurt am Main 27
Zurich 20
Mexico City 15
Amsterdam 12
Da Nang 12
Haiphong 12
Orem 12
Dallas 10
Los Angeles 9
Montreal 9
Rome 9
Chicago 8
Milan 7
Biên Hòa 6
Dublin 6
São Paulo 6
Tianjin 6
Bologna 5
Cardiff 5
City of London 5
Compiègne 5
Rio de Janeiro 5
Amman 4
Boardman 4
Bogotá 4
Cairo 4
Can Tho 4
Johannesburg 4
London 4
Manchester 4
Naples 4
Nuremberg 4
Warsaw 4
Atlanta 3
Baghdad 3
Buenos Aires 3
Buffalo 3
Des Moines 3
Fortaleza 3
Guangzhou 3
Guayaquil 3
Helsinki 3
Hưng Yên 3
Hải Dương 3
Lafayette 3
Leipzig 3
Luzzi 3
New Delhi 3
Ninh Bình 3
Quảng Ngãi 3
San Francisco 3
Turin 3
As Samawah 2
Asunción 2
Aurora 2
Bergen 2
Brasília 2
Brno 2
Bến Tre 2
Cagliari 2
Campinas 2
Changsha 2
Chennai 2
Columbus 2
Denver 2
Dortmund 2
Karachi 2
Kingston 2
Lanciano 2
Manaus 2
Miami 2
Montevideo 2
Moscow 2
New Taipei City 2
Osaka 2
Palm Coast 2
Panama City 2
Paris 2
Pasadena 2
Pergine Valsugana 2
Phoenix 2
Poplar 2
Quito 2
Riyadh 2
Totale 18.229
Salva come PNG Salva come JPEG
Nome #
An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols 214
Automatic security verification of mobile app configurations 211
Formal modeling and automatic enforcement of Bring Your Own Device policies 209
An Empirical Evaluation of the Android Security Framework 195
Attacking (and Defending) the Maritime Radar System 191
Attribute Based Access Control for APIs in Spring Security 186
Android vs. SEAndroid: An empirical assessment 185
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 184
Android Permissions Unleashed 184
Automated Analysis of Semantic-Aware Access Control Policies: a Logic-Based Approach 182
Automated Analysis of Infinite State Workflows with Access Control Policies 182
Would You Mind Forking This Process? A Denial of Service Attack on Android (and Some Countermeasures) 181
MRG: Building Planners for Real World Complex Applications 179
Attack Patterns for Black-Box Security Testing of Multi-Party Web Applications 178
Developing a NATO BYOD security policy 173
From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap 172
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs 172
An Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations 170
The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics 169
Risk-based privacy-aware access control for threat detection systems 168
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning 167
LTL Model Checking for Security Protocols 167
Formal Modeling and Reasoning about the Android Security Framework 166
Rewrite and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation 164
SAT-based Model Checking for Security Protocols Analysis 162
Mobile App Security Analysis with the MAVeriC Static Analysis Module 162
Abstraction refinement of Linear Programs with Arrays 161
Trustworthy Opportunistic Access to the Internet of Services 161
Security of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution 161
Counterexample-guided abstraction refinement for linear programs with arrays 160
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 158
Enabling BYOD through secure meta-market 158
Trusted host-based card emulation 157
Capture the Flag competitions for Higher Education 155
Embedding complex decision procedures inside an interactive theorem prover 154
Breaking and fixing the Android Launching Flow 154
Mobile app security assessment with the maveric dynamic analysis module 154
Automatic Synthesis of Recursive Programs: the Proof-Planning Paradigm 153
NALIG: A CAD system for interior design with high level interaction capabilities 152
Formal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols 152
From Multiple Credentials to Browser-based Single Sign-On: Are We More Secure? 149
Abstraction-driven SAT-based Analysis of Security Protocols 149
A knowledge Based System for Automatic 3D Scene Generation 149
Automated Security Analysis of IoT Software Updates 149
Computer aided modelling and simulation of complex mechanical systems 148
TSAT++: an Open Platform for Satisfiability Modulo Theories 148
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements 148
LTL Model Checking for Security Protocols 147
From Propositional Deciders to First Order Deciders: a Structured Approach to the Decision Problem 147
Bring your own device, securely 146
SAT-based Model-Checking of Security Protocols using Planning Graph Analysis 144
SATMC: a SAT-based Model Checker for Security Protocols 144
Building SMT-based Software Model Checkers: an Experience Report 144
Automatic Security Analysis of SAML-Based Single Sign-On Protocols 144
Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm 143
The SAT-based Approach to Separation Logic 143
Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies 143
ASASP: Automated Symbolic Analysis of Security Policies 143
Model checking authorization requirements in business processes 142
Structured proof procedures 141
Cooperative Access Control for the Grid 140
Security considerations related to the use of mobile devices in the operation of critical infrastructures 140
SATMC: a SAT-based Model Checker for Security-critical Systems 140
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 140
SMT-based enforcement and analysis of NATO content-based protection and release policies 140
Explaining Vulnerabilities of Deep Learning to Adversarial Malware Binaries 140
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal 139
The Phase Transition of the Linear Inequalities Problem 139
Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers 137
Selective Release of Smart Metering Data in Multi-domain Smart Grids 137
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic 137
Visual Representation of Natural Language Scene Descriptions 137
Large-Scale Analysis & Detection of Authentication Cross-Site Request Forgeries 137
Uniform Derivation of Decision Procedures by Superposition 135
Incorporating Decision Procedures in Implicit Induction 135
Preface to the Special Issue of the Journal of Automated Reasoning on "Automated Reasoning for Security Protocol Analysis" 134
Navigation by combining reactivity and planning 134
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 134
Building and executing proof strategies in a formal metatheory 133
A Reconstruction and Extension of Maple's Assume Facility via Constraint Contextual Rewriting. 133
Towards provably correct system synthesis and extension 133
Model Checking Linear Programs with Arrays 133
The AVISS Security Protocol Analysis Tool 132
Model Checking of Security-sensitive Business Processes 132
The Rewriting Approach to Satisfiability Procedures 131
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 131
Content- based information protection and release in NATO operations 130
Adversarial EXEmples: A Survey and Experimental Evaluation of Practical Attacks on Machine Learning for Windows Malware Detection 130
Flexible planning by integrating multilevel reasoning 129
SAT-Based Procedures for Temporal Reasoning 129
Special Issue of the Journal of Symbolic Computation onCalculemus-99: Integrating Computation and Deduction - Foreword of the Guest Editors 127
Formal Analysis of a Privacy-Preserving Billing Protocol 127
Automatic Compilation of Protocol Insecurity Problems into Logic Programming 127
Software Model Checking using Linear Constraints 126
Proving formulas through reduction to decidable classes 123
Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving 123
Securing the ``Bring Your Own Device'' Paradigm 121
System Description: RDL Rewrite and Decision procedure Laboratory 121
Constraint Contextual Rewriting 120
Formal Modelling of Content-Based Protection and Release for Access Control in NATO Operations 120
Totale 15.060
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.384
article - articoli 22.508
book - libri 0
conference - conferenze 31.787
curatela - curatele 1.089
other - altro 0
patent - brevetti 150
selected - selezionate 0
volume - volumi 5.850
Totale 122.768
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202192 0 0 0 0 0 0 0 0 0 0 0 92
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/20263.938 583 111 292 337 502 421 641 194 285 312 150 110
Totale 19.602