CATALOGO DEI PRODOTTI DELLA RICERCA

MERRO, Massimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.612
NA - Nord America 3.189
AS - Asia 2.145
SA - Sud America 260
AF - Africa 39
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 5
Totale 9.261
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.114
RU - Federazione Russa 1.309
CN - Cina 860
GB - Regno Unito 735
SG - Singapore 703
IT - Italia 458
HK - Hong Kong 214
BR - Brasile 212
SE - Svezia 204
FR - Francia 193
IE - Irlanda 169
DE - Germania 165
FI - Finlandia 155
VN - Vietnam 154
KR - Corea 76
CA - Canada 55
UA - Ucraina 49
NL - Olanda 41
DK - Danimarca 33
ID - Indonesia 26
TR - Turchia 25
PL - Polonia 18
IN - India 17
AR - Argentina 16
AT - Austria 15
BE - Belgio 14
BD - Bangladesh 10
ES - Italia 10
IQ - Iraq 10
JP - Giappone 10
EC - Ecuador 9
MX - Messico 8
AU - Australia 7
BJ - Benin 7
SK - Slovacchia (Repubblica Slovacca) 7
TG - Togo 7
ZA - Sudafrica 7
CL - Cile 6
TW - Taiwan 6
CH - Svizzera 5
GR - Grecia 5
RO - Romania 5
CO - Colombia 4
DZ - Algeria 4
HN - Honduras 4
MA - Marocco 4
PY - Paraguay 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
CM - Camerun 3
EG - Egitto 3
EU - Europa 3
HU - Ungheria 3
JM - Giamaica 3
LT - Lituania 3
MT - Malta 3
NO - Norvegia 3
UZ - Uzbekistan 3
AZ - Azerbaigian 2
CY - Cipro 2
GU - Guam 2
IL - Israele 2
IR - Iran 2
IS - Islanda 2
KG - Kirghizistan 2
NI - Nicaragua 2
NP - Nepal 2
NZ - Nuova Zelanda 2
PE - Perù 2
PH - Filippine 2
PK - Pakistan 2
PS - Palestinian Territory 2
PT - Portogallo 2
RS - Serbia 2
SA - Arabia Saudita 2
TH - Thailandia 2
UY - Uruguay 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
GE - Georgia 1
KE - Kenya 1
KW - Kuwait 1
KZ - Kazakistan 1
MD - Moldavia 1
MG - Madagascar 1
NG - Nigeria 1
PA - Panama 1
SV - El Salvador 1
SX - ???statistics.table.value.countryCode.SX??? 1
TJ - Tagikistan 1
TL - Timor Orientale 1
TN - Tunisia 1
Totale 9.261
Salva come PNG Salva come JPEG
Città #
Southend 644
Dallas 444
Moscow 443
Chandler 420
Jacksonville 356
Singapore 306
Woodbridge 274
Hong Kong 213
Ashburn 205
Dublin 168
Ann Arbor 143
Verona 118
Houston 117
Beijing 100
Jinan 97
The Dalles 94
Nanjing 74
Helsinki 64
Lawrence 64
Princeton 64
Wilmington 64
Los Angeles 62
Shenyang 58
Milan 51
Tianjin 48
Columbus 43
Hebei 38
Ho Chi Minh City 37
Sindelfingen 37
Dong Ket 36
Ottawa 36
Ningbo 33
Buffalo 30
Zhengzhou 28
Frederiksberg 25
Nanchang 25
Guangzhou 24
New York 24
Jakarta 22
Haikou 21
Rome 21
Changsha 20
Redondo Beach 20
São Paulo 20
Boardman 18
Council Bluffs 18
Taizhou 18
Santa Clara 17
Hangzhou 16
Hanoi 16
Jiaxing 16
Seattle 15
Brussels 14
Lanzhou 14
Norwalk 14
Taiyuan 14
Lodi 13
London 13
Warsaw 12
Toronto 11
Trento 11
Bolzano 9
Frankfurt am Main 9
San Francisco 9
Tokyo 9
Vicenza 9
Amsterdam 8
Denver 8
Groningen 8
Meda 8
Nuremberg 8
Redmond 8
Bochum 7
Bratislava 7
Charlotte 7
Cotonou 7
Fuzhou 7
Lomé 7
Orem 7
Redwood City 7
Brooklyn 6
Chicago 6
Clearwater 6
Lappeenranta 6
Stockholm 6
Vienna 6
Andover 5
Belo Horizonte 5
Boston 5
Cambridge 5
Da Nang 5
Johannesburg 5
Mexico City 5
Naples 5
Paris 5
Phoenix 5
Porto Alegre 5
Rende 5
Rio de Janeiro 5
Sittard 5
Totale 5.736
Salva come PNG Salva come JPEG
Nome #
Bisimulation congruences in safe ambients 214
A Comparative Study of ICS Honeypot Deployments 194
A Semantic Theory of the Internet of Things 183
A Formal Approach to Cyber-Physical Attacks 180
A Semantic Analysis of Wireless Network Security Protocols 179
A process calculus approach to correctness enforcement of PLCs 177
A Bisimulation-based semantic theory of safe ambients 175
A Semantic Theory of the Internet of Things (extended abstract) 173
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 160
Aliasing models for object migration 155
A calculus of trustworthy ad hoc networks 154
A calculus of trustworthy ad hoc networks 153
Statistical model checking of ad hoc routing protocols in lossy grid networks 153
A probabilistic calculus of cyber-physical systems 152
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 151
A Calculus of Cyber-Physical Systems 151
Semantics for Locking Specifications 149
Communication interference in mobile boxed ambients 146
Priorities in statecharts 143
A Timed calculus of wireless systems 143
Compositional weak metrics for group key update 142
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 141
Aliasing models for mobile objects 140
Local Pi-Calculus at work: mobile objects as mobile processes 139
A timed calculus for wireless systems 139
Behavioural theory for mobile ambients 138
ICS Honeypot Interactions: A Latitudinal Study 136
A semantic analysis of key management protocols for wireless sensor networks 136
Bisimulation proof methods for mobile ambients 135
Friendly Fire: Cross-App Interactions in IoT Platforms 132
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 131
Locality and poliadicity in asynchronous name-passing calculi 130
AODVv2: performance vs. loop freedom 130
A process calculus approach to detection and mitigation of PLC malware 129
Industrial Control Systems Security via Runtime Enforcement 128
A Calculus for the analysis of wireless network security protocols 128
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 128
Formal Impact Metrics for Cyber-physical Attacks 128
Modeling consensus in a process calculus 126
On asynchrony in name-passing calculi 126
Typing and subtyping mobility in boxed ambients 122
Behavioural theory for Mobile Ambients 121
Mobile objects as mobile processes 121
On the expressiveness of Chi, Update, and Fusion calculi 120
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 120
Securing Cross-App Interactions in IoT Platforms 119
Runtime Enforcement for Control System Security 118
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 117
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems 117
On equators in asynchronous name-passing calculi without matching (extended abstract) 115
On the observational theory of the CPS-calculus (extended abstract) 115
Weak simulation quasimetric in a gossip-based scenario 114
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems 112
Towards a formal notion of impact metric for cyber-physical attacks 112
Communication and mobility control in Boxed Ambients 111
On asynchrony in name-passing calculi 110
Distributed consensus, revisited 110
Runtime Enforcement for Control System Security (Extended Abstract) 110
An observational theory for mobile ad hoc networks (full version) 109
Towards a behavioural theory of access and mobility control in distributed systems 106
Modelling MAC-Layer Communications in Wireless Systems 104
Equational Reasonings in Wireless Network Gossip Protocols 101
Modelling MAC-Layer Communications in Wireless Systems 100
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes 99
An observational theory for mobile ad-hoc networks 99
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 95
Friendly Fire: Cross-App Interactions in IoT Platforms 94
Formal Robustness for Cyber-Physical Systems under Timed Attacks 88
On the observational theory of the CPS-calculus 88
Towards Obfuscation of Programmable Logic Controllers 87
Semantic analysis of gossip protocols for wireless sensor networks 87
Obfuscation strategies for industrial control systems 83
Towards Reverse Engineering of Industrial Physical Processes 76
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study 75
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 57
Measuring robustness in cyber-physical systems under sensor attacks 34
Totale 9.613
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.570
article - articoli 9.369
book - libri 0
conference - conferenze 21.201
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 61.140
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021415 0 0 0 0 0 69 60 55 48 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/20262.727 298 249 500 674 960 46 0 0 0 0 0 0
Totale 9.613