CATALOGO DEI PRODOTTI DELLA RICERCA

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021599 0 0 43 74 67 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/2026959 298 249 412 0 0 0 0 0 0 0 0 0
Totale 7.845