CATALOGO DEI PRODOTTI DELLA RICERCA

MERRO, Massimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.862
EU - Europa 3.784
AS - Asia 2.716
SA - Sud America 302
AF - Africa 76
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.758
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.770
RU - Federazione Russa 1.310
SG - Singapore 964
CN - Cina 906
GB - Regno Unito 752
IT - Italia 572
VN - Vietnam 302
BR - Brasile 237
HK - Hong Kong 232
SE - Svezia 205
FR - Francia 200
IE - Irlanda 172
DE - Germania 171
FI - Finlandia 158
KR - Corea 99
CA - Canada 63
UA - Ucraina 51
NL - Olanda 47
DK - Danimarca 33
TR - Turchia 29
IN - India 28
ID - Indonesia 27
BD - Bangladesh 24
PL - Polonia 22
AR - Argentina 20
NG - Nigeria 18
JP - Giappone 16
AT - Austria 15
BE - Belgio 15
IQ - Iraq 15
ES - Italia 14
MX - Messico 12
ZA - Sudafrica 12
EC - Ecuador 10
AU - Australia 9
CL - Cile 9
PY - Paraguay 8
TW - Taiwan 8
BJ - Benin 7
MA - Marocco 7
SK - Slovacchia (Repubblica Slovacca) 7
TG - Togo 7
DZ - Algeria 6
PK - Pakistan 6
CH - Svizzera 5
CO - Colombia 5
GR - Grecia 5
JM - Giamaica 5
PH - Filippine 5
RO - Romania 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
VE - Venezuela 5
HN - Honduras 4
KG - Kirghizistan 4
KZ - Kazakistan 4
LB - Libano 4
NI - Nicaragua 4
TH - Thailandia 4
TN - Tunisia 4
AE - Emirati Arabi Uniti 3
BO - Bolivia 3
CM - Camerun 3
EG - Egitto 3
EU - Europa 3
HU - Ungheria 3
LT - Lituania 3
MT - Malta 3
NO - Norvegia 3
NP - Nepal 3
PT - Portogallo 3
UY - Uruguay 3
AL - Albania 2
AZ - Azerbaigian 2
CY - Cipro 2
ET - Etiopia 2
GU - Guam 2
IL - Israele 2
IR - Iran 2
IS - Islanda 2
JO - Giordania 2
KE - Kenya 2
NZ - Nuova Zelanda 2
OM - Oman 2
PE - Perù 2
PS - Palestinian Territory 2
RS - Serbia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AO - Angola 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BH - Bahrain 1
CG - Congo 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GE - Georgia 1
KW - Kuwait 1
MD - Moldavia 1
MG - Madagascar 1
Totale 10.747
Salva come PNG Salva come JPEG
Città #
Southend 644
Singapore 540
Dallas 447
Moscow 443
Chandler 420
Ashburn 397
Jacksonville 356
San Jose 335
Woodbridge 274
Hong Kong 226
Verona 201
Dublin 171
The Dalles 150
Ann Arbor 143
Houston 119
Beijing 103
Jinan 97
Ho Chi Minh City 85
Nanjing 74
Helsinki 66
Los Angeles 66
Lawrence 64
Princeton 64
Wilmington 64
Shenyang 58
Hanoi 55
Milan 51
Tianjin 50
Columbus 43
Hebei 38
Ottawa 37
Sindelfingen 37
Dong Ket 36
Ningbo 33
Buffalo 30
Council Bluffs 29
New York 29
Zhengzhou 28
Guangzhou 26
Frederiksberg 25
Nanchang 25
São Paulo 24
Rome 23
Jakarta 22
Haikou 21
Santa Clara 21
Changsha 20
Redondo Beach 20
Boardman 18
Taizhou 18
Abuja 16
Da Nang 16
Hangzhou 16
Jiaxing 16
Seattle 16
Warsaw 16
Brussels 15
London 15
Lanzhou 14
Norwalk 14
Taiyuan 14
Haiphong 13
Lodi 13
Tokyo 13
Orem 12
Toronto 12
Vicenza 12
Frankfurt am Main 11
Trento 11
Amsterdam 10
Bolzano 9
Denver 9
Nuremberg 9
San Francisco 9
Groningen 8
Meda 8
Redmond 8
Rio de Janeiro 8
Bochum 7
Bratislava 7
Brooklyn 7
Charlotte 7
Chennai 7
Cotonou 7
Fuzhou 7
Johannesburg 7
Lappeenranta 7
Lomé 7
Paris 7
Redwood City 7
Stockholm 7
Baghdad 6
Belo Horizonte 6
Chicago 6
Clearwater 6
Mexico City 6
Rende 6
Rotterdam 6
Vienna 6
Andover 5
Totale 6.853
Salva come PNG Salva come JPEG
Nome #
Bisimulation congruences in safe ambients 275
A Comparative Study of ICS Honeypot Deployments 239
A process calculus approach to correctness enforcement of PLCs 219
A Formal Approach to Cyber-Physical Attacks 218
A Semantic Theory of the Internet of Things 200
A Bisimulation-based semantic theory of safe ambients 193
A Semantic Analysis of Wireless Network Security Protocols 192
A Semantic Theory of the Internet of Things (extended abstract) 187
A calculus of trustworthy ad hoc networks 186
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 180
Aliasing models for object migration 176
A timed calculus for wireless systems 173
A calculus of trustworthy ad hoc networks 171
A probabilistic calculus of cyber-physical systems 171
A Calculus of Cyber-Physical Systems 171
Statistical model checking of ad hoc routing protocols in lossy grid networks 169
Semantics for Locking Specifications 167
Communication interference in mobile boxed ambients 166
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 166
A semantic analysis of key management protocols for wireless sensor networks 164
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 163
A Timed calculus of wireless systems 161
Local Pi-Calculus at work: mobile objects as mobile processes 159
Aliasing models for mobile objects 157
A Calculus for the analysis of wireless network security protocols 157
Compositional weak metrics for group key update 154
Locality and poliadicity in asynchronous name-passing calculi 153
Priorities in statecharts 152
ICS Honeypot Interactions: A Latitudinal Study 150
Formal Impact Metrics for Cyber-physical Attacks 150
Behavioural theory for mobile ambients 150
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 148
Bisimulation proof methods for mobile ambients 147
Friendly Fire: Cross-App Interactions in IoT Platforms 147
Industrial Control Systems Security via Runtime Enforcement 146
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 146
A process calculus approach to detection and mitigation of PLC malware 145
AODVv2: performance vs. loop freedom 143
Runtime Enforcement for Control System Security 142
Behavioural theory for Mobile Ambients 139
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 138
Typing and subtyping mobility in boxed ambients 137
On asynchrony in name-passing calculi 137
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems 137
Securing Cross-App Interactions in IoT Platforms 136
Modeling consensus in a process calculus 135
On the expressiveness of Chi, Update, and Fusion calculi 135
Towards a formal notion of impact metric for cyber-physical attacks 135
Mobile objects as mobile processes 135
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems 134
On the observational theory of the CPS-calculus (extended abstract) 134
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 132
On equators in asynchronous name-passing calculi without matching (extended abstract) 129
Equational Reasonings in Wireless Network Gossip Protocols 128
Weak simulation quasimetric in a gossip-based scenario 128
Towards a behavioural theory of access and mobility control in distributed systems 126
Runtime Enforcement for Control System Security (Extended Abstract) 126
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes 125
Communication and mobility control in Boxed Ambients 125
Distributed consensus, revisited 123
Modelling MAC-Layer Communications in Wireless Systems 123
An observational theory for mobile ad hoc networks (full version) 122
On asynchrony in name-passing calculi 120
Modelling MAC-Layer Communications in Wireless Systems 116
Obfuscation strategies for industrial control systems 112
Friendly Fire: Cross-App Interactions in IoT Platforms 109
An observational theory for mobile ad-hoc networks 108
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 106
On the observational theory of the CPS-calculus 102
Semantic analysis of gossip protocols for wireless sensor networks 100
Towards Obfuscation of Programmable Logic Controllers 97
Formal Robustness for Cyber-Physical Systems under Timed Attacks 97
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study 95
Towards Reverse Engineering of Industrial Physical Processes 92
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 79
Towards a Secure Network Architecture for Social Robots 56
Measuring robustness in cyber-physical systems under sensor attacks 55
Totale 11.116
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.474
article - articoli 10.211
book - libri 0
conference - conferenze 23.263
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 66.948
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021183 0 0 0 0 0 0 0 0 0 15 83 85
2021/2022621 24 229 33 14 42 8 9 28 19 27 29 159
2022/20231.260 82 90 111 189 92 273 40 87 171 27 72 26
2023/2024557 50 65 45 101 78 37 41 26 3 28 51 32
2024/20251.628 106 123 66 241 57 48 61 117 180 127 223 279
2025/20264.230 298 249 500 674 960 298 430 256 297 268 0 0
Totale 11.116