CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022597 0 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.488 298 249 500 674 960 298 430 256 297 286 112 128
2026/2027193 135 58 0 0 0 0 0 0 0 0 0 0
Totale 11.567