CATALOGO DEI PRODOTTI DELLA RICERCA

MERRO, Massimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.015
EU - Europa 3.818
AS - Asia 2.778
SA - Sud America 307
AF - Africa 76
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 5
Totale 11.012
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.910
RU - Federazione Russa 1.310
SG - Singapore 968
CN - Cina 908
GB - Regno Unito 753
IT - Italia 601
VN - Vietnam 302
BR - Brasile 239
HK - Hong Kong 232
SE - Svezia 205
FR - Francia 201
IE - Irlanda 172
DE - Germania 171
FI - Finlandia 158
KR - Corea 99
BD - Bangladesh 79
CA - Canada 73
UA - Ucraina 52
NL - Olanda 48
DK - Danimarca 33
TR - Turchia 29
IN - India 28
ID - Indonesia 27
PL - Polonia 22
AR - Argentina 20
NG - Nigeria 18
JP - Giappone 16
AT - Austria 15
BE - Belgio 15
ES - Italia 15
IQ - Iraq 15
MX - Messico 12
ZA - Sudafrica 12
EC - Ecuador 10
PY - Paraguay 10
AU - Australia 9
CL - Cile 9
TW - Taiwan 8
BJ - Benin 7
MA - Marocco 7
SK - Slovacchia (Repubblica Slovacca) 7
TG - Togo 7
CO - Colombia 6
DZ - Algeria 6
JM - Giamaica 6
PK - Pakistan 6
CH - Svizzera 5
GR - Grecia 5
HN - Honduras 5
PH - Filippine 5
RO - Romania 5
SA - Arabia Saudita 5
UZ - Uzbekistan 5
VE - Venezuela 5
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
MY - Malesia 2
NZ - Nuova Zelanda 2
OM - Oman 2
PE - Perù 2
PR - Porto Rico 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
Totale 11.001
Salva come PNG Salva come JPEG
Città #
Southend 644
Singapore 540
Dallas 447
Moscow 443
Chandler 420
Ashburn 406
Jacksonville 357
San Jose 356
Woodbridge 274
Hong Kong 226
Verona 202
Dublin 171
The Dalles 150
Ann Arbor 143
Houston 119
Beijing 104
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
Hanoi 55
Milan 54
Tianjin 50
Columbus 43
Hebei 38
Ottawa 37
Sindelfingen 37
Dong Ket 36
Buffalo 33
Ningbo 33
New York 32
Zhengzhou 28
Guangzhou 26
Frederiksberg 25
Nanchang 25
Rome 25
São Paulo 24
Santa Clara 23
Jakarta 22
Haikou 21
Changsha 20
Redondo Beach 20
Boardman 18
Taizhou 18
Seattle 17
Abuja 16
Da Nang 16
Hangzhou 16
Jiaxing 16
London 16
Toronto 16
Warsaw 16
Brussels 15
Lanzhou 14
Norwalk 14
Taiyuan 14
Haiphong 13
Lodi 13
Orem 13
Tokyo 13
Trento 12
Vicenza 12
Frankfurt am Main 11
Amsterdam 10
Denver 10
San Francisco 10
Bolzano 9
Nuremberg 9
Brooklyn 8
Charlotte 8
Groningen 8
Meda 8
Redmond 8
Rio de Janeiro 8
Bochum 7
Bratislava 7
Chennai 7
Chicago 7
Cotonou 7
Fuzhou 7
Johannesburg 7
Lappeenranta 7
Lomé 7
Paris 7
Redwood City 7
Stockholm 7
Asunción 6
Baghdad 6
Belo Horizonte 6
Clearwater 6
Mexico City 6
Naples 6
Philadelphia 6
Rende 6
Totale 6.971
Salva come PNG Salva come JPEG
Nome #
Bisimulation congruences in safe ambients 309
A Comparative Study of ICS Honeypot Deployments 247
A process calculus approach to correctness enforcement of PLCs 224
A Formal Approach to Cyber-Physical Attacks 218
Aliasing models for object migration 205
A Semantic Theory of the Internet of Things 202
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) 188
A calculus of trustworthy ad hoc networks 183
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 182
A timed calculus for wireless systems 176
A probabilistic calculus of cyber-physical systems 175
A Calculus of Cyber-Physical Systems 174
Statistical model checking of ad hoc routing protocols in lossy grid networks 173
Semantics for Locking Specifications 169
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 169
A semantic analysis of key management protocols for wireless sensor networks 168
Communication interference in mobile boxed ambients 167
A Timed calculus of wireless systems 164
A Calculus for the analysis of wireless network security protocols 163
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 163
Local Pi-Calculus at work: mobile objects as mobile processes 162
Aliasing models for mobile objects 160
Friendly Fire: Cross-App Interactions in IoT Platforms 158
Locality and poliadicity in asynchronous name-passing calculi 156
ICS Honeypot Interactions: A Latitudinal Study 154
Compositional weak metrics for group key update 154
Priorities in statecharts 152
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 151
Formal Impact Metrics for Cyber-physical Attacks 150
Behavioural theory for mobile ambients 150
Industrial Control Systems Security via Runtime Enforcement 149
A process calculus approach to detection and mitigation of PLC malware 149
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 148
Bisimulation proof methods for mobile ambients 147
Typing and subtyping mobility in boxed ambients 147
AODVv2: performance vs. loop freedom 147
Runtime Enforcement for Control System Security 144
Behavioural theory for Mobile Ambients 140
Towards a formal notion of impact metric for cyber-physical attacks 140
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 139
Securing Cross-App Interactions in IoT Platforms 139
On asynchrony in name-passing calculi 137
Mobile objects as mobile processes 137
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems 137
Modeling consensus in a process calculus 136
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems 135
On the expressiveness of Chi, Update, and Fusion calculi 135
On the observational theory of the CPS-calculus (extended abstract) 135
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 132
Runtime Enforcement for Control System Security (Extended Abstract) 131
Weak simulation quasimetric in a gossip-based scenario 130
On equators in asynchronous name-passing calculi without matching (extended abstract) 129
Towards a behavioural theory of access and mobility control in distributed systems 128
An observational theory for mobile ad hoc networks (full version) 128
Equational Reasonings in Wireless Network Gossip Protocols 128
SimProcess: High Fidelity Simulation of Noisy ICS Physical Processes 127
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 123
Modelling MAC-Layer Communications in Wireless Systems 118
Obfuscation strategies for industrial control systems 115
An observational theory for mobile ad-hoc networks 110
Friendly Fire: Cross-App Interactions in IoT Platforms 110
On the observational theory of the CPS-calculus 106
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 106
Semantic analysis of gossip protocols for wireless sensor networks 100
Towards Obfuscation of Programmable Logic Controllers 98
Formal Robustness for Cyber-Physical Systems under Timed Attacks 98
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study 97
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 67
Measuring robustness in cyber-physical systems under sensor attacks 56
Totale 11.372
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.465
article - articoli 10.769
book - libri 0
conference - conferenze 24.696
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 70.930
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202185 0 0 0 0 0 0 0 0 0 0 0 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.486 298 249 500 674 960 298 430 256 297 286 112 126
Totale 11.372