CATALOGO DEI PRODOTTI DELLA RICERCA

MERRO, Massimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.169
EU - Europa 2.048
AS - Asia 883
OC - Oceania 10
SA - Sud America 10
AF - Africa 8
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.132
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.123
GB - Regno Unito 704
CN - Cina 676
IT - Italia 294
SE - Svezia 199
IE - Irlanda 164
FR - Francia 159
FI - Finlandia 144
DE - Germania 128
RU - Federazione Russa 115
SG - Singapore 74
VN - Vietnam 72
CA - Canada 45
UA - Ucraina 44
DK - Danimarca 29
NL - Olanda 25
KR - Corea 24
TR - Turchia 17
BE - Belgio 13
IN - India 9
AU - Australia 7
CL - Cile 6
CH - Svizzera 5
RO - Romania 5
DZ - Algeria 4
AT - Austria 3
BR - Brasile 3
CM - Camerun 3
EU - Europa 3
ES - Italia 2
GR - Grecia 2
GU - Guam 2
HU - Ungheria 2
IS - Islanda 2
RS - Serbia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CY - Cipro 1
CZ - Repubblica Ceca 1
IL - Israele 1
JM - Giamaica 1
JP - Giappone 1
MA - Marocco 1
MD - Moldavia 1
NO - Norvegia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PL - Polonia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TW - Taiwan 1
Totale 5.132
Salva come PNG Salva come JPEG
Città #
Southend 644
Chandler 420
Jacksonville 356
Woodbridge 274
Dublin 164
Ann Arbor 143
Houston 117
Ashburn 98
Jinan 97
Verona 93
Nanjing 74
Lawrence 64
Princeton 64
Wilmington 64
Beijing 58
Shenyang 58
Helsinki 54
Singapore 51
Tianjin 39
Hebei 38
Sindelfingen 37
Dong Ket 36
Ottawa 34
Ningbo 33
Zhengzhou 27
Nanchang 25
Frederiksberg 21
Haikou 21
Changsha 20
Guangzhou 19
Milan 19
Taizhou 18
Boardman 17
Jiaxing 16
Hangzhou 14
Lanzhou 14
Norwalk 14
Taiyuan 14
Brussels 13
Lodi 13
New York 12
Trento 11
Seattle 10
Bolzano 9
Redmond 8
Santa Clara 8
Fuzhou 7
Groningen 7
Redwood City 7
Clearwater 6
Rome 6
Toronto 6
Andover 5
Cambridge 5
Lappeenranta 5
Paris 5
San Francisco 5
Sittard 5
Dallas 4
Fairfield 4
Gävle 4
Hyderabad 4
Miami 4
Naples 4
Sheffield 4
Washington 4
Amsterdam 3
Boston 3
Chicago 3
Dongguan 3
Düsseldorf 3
Glasgow 3
Isola della Scala 3
Kemerovo 3
Mainz 3
Nocera Superiore 3
Novokuznetsk 3
Odense 3
Pinzolo 3
Reggio Calabria 3
Rende 3
Riva 3
San Martino Buon Albergo 3
Serra San Bruno 3
Siena 3
Sydney 3
Watford 3
Aarau 2
Albany 2
Belgrade 2
Bovolone 2
Brierley Hill 2
Canberra 2
Centereach 2
Chions 2
Como 2
Condofuri 2
Cosenza 2
Daegu 2
Havdrup 2
Totale 3.643
Salva come PNG Salva come JPEG
Nome #
Bisimulation congruences in safe ambients 140
A Semantic Theory of the Internet of Things 111
Local Pi-Calculus at work: mobile objects as mobile processes 108
Communication interference in mobile boxed ambients 106
Bisimulation proof methods for mobile ambients 105
Aliasing models for object migration 104
Compositional weak metrics for group key update 103
A Semantic Analysis of Wireless Network Security Protocols 102
A Formal Approach to Cyber-Physical Attacks 101
Priorities in statecharts 100
Statistical model checking of ad hoc routing protocols in lossy grid networks 100
Semantics for Locking Specifications 100
On asynchrony in name-passing calculi 99
Behavioural theory for mobile ambients 99
Modeling consensus in a process calculus 94
AODVv2: performance vs. loop freedom 94
A calculus of trustworthy ad hoc networks 92
Locality and poliadicity in asynchronous name-passing calculi 91
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 90
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 88
Mobile objects as mobile processes 88
Typing and subtyping mobility in boxed ambients 87
Behavioural theory for Mobile Ambients 86
A Bisimulation-based semantic theory of safe ambients 86
A Semantic Theory of the Internet of Things (extended abstract) 86
On the expressiveness of Chi, Update, and Fusion calculi 85
On asynchrony in name-passing calculi 85
A Calculus of Cyber-Physical Systems 83
A calculus of trustworthy ad hoc networks 82
Weak simulation quasimetric in a gossip-based scenario 82
On equators in asynchronous name-passing calculi without matching (extended abstract) 81
On the observational theory of the CPS-calculus (extended abstract) 81
Aliasing models for mobile objects 81
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 81
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 80
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 79
A probabilistic calculus of cyber-physical systems 79
Modelling MAC-Layer Communications in Wireless Systems 78
Towards a formal notion of impact metric for cyber-physical attacks 78
Towards a behavioural theory of access and mobility control in distributed systems 77
Distributed consensus, revisited 77
Communication and mobility control in Boxed Ambients 75
A timed calculus for wireless systems 75
A Timed calculus of wireless systems 73
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 72
A semantic analysis of key management protocols for wireless sensor networks 72
Securing Cross-App Interactions in IoT Platforms 71
ICS Honeypot Interactions: A Latitudinal Study 70
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 68
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 66
Modelling MAC-Layer Communications in Wireless Systems 65
Runtime Enforcement for Control System Security 65
A process calculus approach to correctness enforcement of PLCs 64
On the observational theory of the CPS-calculus 63
Equational Reasonings in Wireless Network Gossip Protocols 62
A Calculus for the analysis of wireless network security protocols 61
A process calculus approach to detection and mitigation of PLC malware 60
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems 57
Semantic analysis of gossip protocols for wireless sensor networks 57
An observational theory for mobile ad-hoc networks 56
Friendly Fire: Cross-App Interactions in IoT Platforms 54
Formal Impact Metrics for Cyber-physical Attacks 52
An observational theory for mobile ad hoc networks (full version) 51
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems 49
Friendly Fire: Cross-App Interactions in IoT Platforms 39
Runtime Enforcement for Control System Security (Extended Abstract) 38
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study 37
Industrial Control Systems Security via Runtime Enforcement 37
Towards Obfuscation of Programmable Logic Controllers 34
Towards Reverse Engineering of Industrial Physical Processes 28
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 26
Totale 5.446
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.854
article - articoli 4.974
book - libri 0
conference - conferenze 11.880
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 33.708
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020459 0 0 3 49 43 73 39 38 41 49 23 101
2020/2021910 216 95 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/2025188 106 82 0 0 0 0 0 0 0 0 0 0
Totale 5.446