CATALOGO DEI PRODOTTI DELLA RICERCA

MERRO, Massimo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.211
EU - Europa 2.180
AS - Asia 1.143
AF - Africa 15
OC - Oceania 10
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.573
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.161
CN - Cina 718
GB - Regno Unito 707
IT - Italia 324
SG - Singapore 264
SE - Svezia 200
RU - Federazione Russa 184
IE - Irlanda 164
FR - Francia 160
FI - Finlandia 149
DE - Germania 132
VN - Vietnam 72
CA - Canada 48
UA - Ucraina 44
DK - Danimarca 33
NL - Olanda 30
KR - Corea 25
ID - Indonesia 21
TR - Turchia 17
BE - Belgio 14
IN - India 9
AU - Australia 7
TG - Togo 7
CL - Cile 6
CH - Svizzera 5
RO - Romania 5
AT - Austria 4
DZ - Algeria 4
BR - Brasile 3
CM - Camerun 3
EU - Europa 3
HU - Ungheria 3
MT - Malta 3
NO - Norvegia 3
AE - Emirati Arabi Uniti 2
CY - Cipro 2
ES - Italia 2
GR - Grecia 2
GU - Guam 2
IR - Iran 2
IS - Islanda 2
PL - Polonia 2
PT - Portogallo 2
RS - Serbia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
AR - Argentina 1
AZ - Azerbaigian 1
BD - Bangladesh 1
CZ - Repubblica Ceca 1
GE - Georgia 1
IL - Israele 1
JM - Giamaica 1
JP - Giappone 1
KG - Kirghizistan 1
MA - Marocco 1
MD - Moldavia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
PH - Filippine 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
TW - Taiwan 1
Totale 5.573
Salva come PNG Salva come JPEG
Città #
Southend 644
Chandler 420
Jacksonville 356
Woodbridge 274
Singapore 225
Dublin 164
Ann Arbor 143
Houston 117
Ashburn 105
Jinan 97
Verona 93
Nanjing 74
Lawrence 64
Princeton 64
Wilmington 64
Helsinki 59
Beijing 58
Shenyang 58
Tianjin 39
Hebei 38
Sindelfingen 37
Dong Ket 36
Ottawa 36
Ningbo 33
Zhengzhou 28
Frederiksberg 25
Nanchang 25
Haikou 21
Jakarta 21
Changsha 20
Guangzhou 20
Milan 20
Taizhou 18
Boardman 17
Jiaxing 16
Rome 15
Brussels 14
Hangzhou 14
Lanzhou 14
Norwalk 14
Santa Clara 14
Taiyuan 14
Lodi 13
Moscow 13
New York 12
Trento 11
Seattle 10
Bolzano 9
Redmond 8
Fuzhou 7
Groningen 7
Lomé 7
Redwood City 7
Toronto 7
Clearwater 6
Amsterdam 5
Andover 5
Cambridge 5
Lappeenranta 5
Paris 5
San Francisco 5
Sittard 5
Valeggio sul Mincio 5
Dallas 4
Fairfield 4
Gävle 4
Hyderabad 4
Miami 4
Naples 4
Sheffield 4
Washington 4
Boston 3
Chicago 3
Dongguan 3
Düsseldorf 3
Glasgow 3
Isola della Scala 3
Kemerovo 3
Mainz 3
Nocera Superiore 3
Novokuznetsk 3
Nuremberg 3
Odense 3
Oslo 3
Paola 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
Bergamo 2
Bovolone 2
Brierley Hill 2
Totale 3.898
Salva come PNG Salva come JPEG
Nome #
Bisimulation congruences in safe ambients 152
A Semantic Theory of the Internet of Things 120
Priorities in statecharts 116
Local Pi-Calculus at work: mobile objects as mobile processes 111
A Formal Approach to Cyber-Physical Attacks 111
Aliasing models for object migration 110
Communication interference in mobile boxed ambients 109
Bisimulation proof methods for mobile ambients 108
A Semantic Analysis of Wireless Network Security Protocols 108
Compositional weak metrics for group key update 108
Statistical model checking of ad hoc routing protocols in lossy grid networks 107
Semantics for Locking Specifications 106
Behavioural theory for mobile ambients 103
On asynchrony in name-passing calculi 101
A calculus of trustworthy ad hoc networks 99
AODVv2: performance vs. loop freedom 99
A Modest Security Analysis of Cyber-Physical Systems: A Case Study 99
Modeling consensus in a process calculus 97
A Semantic Theory of the Internet of Things (extended abstract) 97
Locality and poliadicity in asynchronous name-passing calculi 94
A calculus of trustworthy ad hoc networks 93
A Bisimulation-based semantic theory of safe ambients 92
Typing and subtyping mobility in boxed ambients 91
ICS Honeypot Interactions: A Latitudinal Study 90
Towards a behavioural theory of access and mobility control in distributed systems (extended abstract) 90
A Calculus of Cyber-Physical Systems 90
Mobile objects as mobile processes 90
On the expressiveness of Chi, Update, and Fusion calculi 89
A probabilistic calculus of cyber-physical systems 89
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 89
On asynchrony in name-passing calculi 88
Behavioural theory for Mobile Ambients 88
On the observational theory of the CPS-calculus (extended abstract) 86
Aliasing models for mobile objects 86
Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks 86
Weak simulation quasimetric in a gossip-based scenario 86
On equators in asynchronous name-passing calculi without matching (extended abstract) 85
On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis 85
Towards a formal notion of impact metric for cyber-physical attacks 84
A timed calculus for wireless systems 82
Towards a behavioural theory of access and mobility control in distributed systems 81
Distributed consensus, revisited 81
Communication and mobility control in Boxed Ambients 80
A Timed calculus of wireless systems 80
Modelling MAC-Layer Communications in Wireless Systems 80
A semantic analysis of key management protocols for wireless sensor networks 79
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 78
A Formal Approach to Physics-based Attacks in Cyber-physical Systems 77
Securing Cross-App Interactions in IoT Platforms 74
A process calculus approach to correctness enforcement of PLCs 73
Runtime Enforcement for Control System Security 72
On the Decidability of Linear Bounded Periodic Cyber-Physical Systems 70
A process calculus approach to detection and mitigation of PLC malware 70
A Calculus for the analysis of wireless network security protocols 68
Modelling MAC-Layer Communications in Wireless Systems 68
Equational Reasonings in Wireless Network Gossip Protocols 67
On the observational theory of the CPS-calculus 64
Towards a High-interaction Physics-aware Honeynet for Industrial Control Systems 63
An observational theory for mobile ad-hoc networks 61
Friendly Fire: Cross-App Interactions in IoT Platforms 61
Semantic analysis of gossip protocols for wireless sensor networks 60
Formal Impact Metrics for Cyber-physical Attacks 59
An observational theory for mobile ad hoc networks (full version) 56
HoneyICS: A High-interaction Physics-aware Honeynet forIndustrial Control Systems 53
Industrial Control Systems Security via Runtime Enforcement 49
Runtime Enforcement for Control System Security (Extended Abstract) 47
Friendly Fire: Cross-App Interactions in IoT Platforms 43
Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study 41
Towards Obfuscation of Programmable Logic Controllers 40
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 32
Towards Reverse Engineering of Industrial Physical Processes 32
Obfuscation strategies for industrial control systems 20
Measuring robustness in cyber-physical systems under sensor attacks 6
Totale 5.899
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.873
article - articoli 5.951
book - libri 0
conference - conferenze 13.922
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 39.746
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020291 0 0 0 0 0 0 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/2025641 106 123 66 241 57 48 0 0 0 0 0 0
Totale 5.899