Rocchetto, Marco
 Distribuzione geografica
Continente #
EU - Europa 237
NA - Nord America 214
AS - Asia 159
SA - Sud America 11
AF - Africa 2
Totale 623
Nazione #
US - Stati Uniti d'America 213
RU - Federazione Russa 97
CN - Cina 66
SG - Singapore 54
GB - Regno Unito 46
IT - Italia 18
FR - Francia 17
DE - Germania 14
IE - Irlanda 14
VN - Vietnam 14
HK - Hong Kong 13
SE - Svezia 9
BR - Brasile 8
FI - Finlandia 8
BE - Belgio 5
KR - Corea 5
UA - Ucraina 4
TR - Turchia 3
AR - Argentina 2
NL - Olanda 2
AT - Austria 1
BG - Bulgaria 1
CA - Canada 1
CL - Cile 1
IL - Israele 1
IQ - Iraq 1
JP - Giappone 1
KE - Kenya 1
MA - Marocco 1
PH - Filippine 1
PL - Polonia 1
Totale 623
Città #
Moscow 43
Ann Arbor 40
Southend 28
Chandler 25
Singapore 22
Jacksonville 21
Dallas 15
Woodbridge 15
Dublin 14
Hong Kong 13
Ashburn 11
Beijing 7
Ho Chi Minh City 7
Munich 6
Brussels 5
Houston 5
Jinan 5
Lawrence 5
Nanjing 5
Princeton 5
Verona 5
Wilmington 5
Cagliari 4
Seoul 4
The Dalles 4
Hebei 3
Lancaster 3
London 3
Los Angeles 3
Sezze 3
Shenyang 3
Tianjin 3
Ankara 2
Changsha 2
Columbus 2
Haikou 2
Norwalk 2
Phoenix 2
Redondo Beach 2
Taiyuan 2
Taizhou 2
Alvorada 1
Arapongas 1
Atlanta 1
Auburn Hills 1
Aurora do Tocantins 1
Biên Hòa 1
Boardman 1
Boston 1
Buffalo 1
Bắc Giang 1
Carandaí 1
Concordia 1
Crossville 1
Da Nang 1
Des Moines 1
Edinburgh 1
Franco da Rocha 1
Frankfurt am Main 1
Fuzhou 1
Groningen 1
Guangzhou 1
Haiphong 1
Hangzhou 1
Hualpén 1
Huzhou 1
Itaquaquecetuba 1
Jiaxing 1
Karbala 1
Lonigo 1
Manila 1
Nanchang 1
Naples 1
New York 1
Nha Trang 1
Ningbo 1
Ninh Bình 1
Orem 1
Ottawa 1
Redmond 1
Resistencia 1
Rio dos Cedros 1
Roubaix 1
San Diego 1
Santa Isabel 1
Seattle 1
Shanghai 1
Sofia 1
Tel Aviv 1
Tokyo 1
Warsaw 1
Totale 408
Nome #
Using interpolation for the verification of security protocols 152
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 151
Methods and tools for design time and runtime formal analysis of security protocols and web applications 116
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 112
Model-Based Detection of CSRF 95
Totale 626
Categoria #
all - tutte 2.144
article - articoli 0
book - libri 0
conference - conferenze 1.760
curatela - curatele 0
other - altro 384
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.288


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 4 1 2 1 1 3 1
2021/202246 2 13 1 2 4 3 3 2 1 0 4 11
2022/202382 6 3 9 9 7 24 3 4 11 0 4 2
2023/202438 2 5 2 3 6 3 2 4 1 4 5 1
2024/202582 4 7 2 14 3 8 0 3 11 6 7 17
2025/2026204 20 15 17 46 88 18 0 0 0 0 0 0
Totale 626