Rocchetto, Marco
 Distribuzione geografica
Continente #
NA - Nord America 385
EU - Europa 248
AS - Asia 195
SA - Sud America 17
AF - Africa 5
Continente sconosciuto - Info sul continente non disponibili 3
Totale 853
Nazione #
US - Stati Uniti d'America 383
RU - Federazione Russa 98
SG - Singapore 69
CN - Cina 66
GB - Regno Unito 47
IT - Italia 25
VN - Vietnam 24
FR - Francia 17
DE - Germania 14
IE - Irlanda 14
HK - Hong Kong 13
BR - Brasile 12
SE - Svezia 10
FI - Finlandia 9
KR - Corea 9
BE - Belgio 5
AR - Argentina 4
TR - Turchia 4
UA - Ucraina 4
JP - Giappone 3
CA - Canada 2
IN - India 2
MA - Marocco 2
NL - Olanda 2
AT - Austria 1
BD - Bangladesh 1
BG - Bulgaria 1
CL - Cile 1
DZ - Algeria 1
IL - Israele 1
IQ - Iraq 1
KE - Kenya 1
PH - Filippine 1
PL - Polonia 1
QA - Qatar 1
SC - Seychelles 1
Totale 850
Città #
Ashburn 109
Moscow 43
Ann Arbor 40
Singapore 37
Southend 28
San Jose 27
Chandler 25
Dallas 21
Jacksonville 21
Woodbridge 16
Dublin 14
Hong Kong 13
Verona 11
Ho Chi Minh City 9
Beijing 7
Council Bluffs 6
Munich 6
Brussels 5
Houston 5
Jinan 5
Lawrence 5
Nanjing 5
Princeton 5
Wilmington 5
Cagliari 4
Hanoi 4
Los Angeles 4
Seoul 4
The Dalles 4
Hebei 3
Lancaster 3
London 3
Orem 3
Phoenix 3
Sezze 3
Shenyang 3
Tianjin 3
Tokyo 3
Ankara 2
Changsha 2
Columbus 2
Da Nang 2
Haikou 2
New York 2
Norwalk 2
Redondo Beach 2
Taiyuan 2
Taizhou 2
Algiers 1
Alvorada 1
Arapongas 1
Atlanta 1
Auburn Hills 1
Aurora do Tocantins 1
Basingstoke 1
Biên Hòa 1
Boardman 1
Boston 1
Brasília 1
Buffalo 1
Bắc Giang 1
Carandaí 1
Carol Stream 1
Casablanca 1
Chattanooga 1
Concordia 1
Crossville 1
Denver 1
Des Moines 1
Detroit 1
Doha 1
Edinburgh 1
Fayetteville 1
Florence 1
Fort Wayne 1
Fortaleza 1
Franco da Rocha 1
Frankfurt am Main 1
Fuzhou 1
Groningen 1
Guangzhou 1
Hai Bà Trưng 1
Haiphong 1
Hangzhou 1
Helena 1
Helsinki 1
Hualpén 1
Huzhou 1
Istanbul 1
Itaquaquecetuba 1
Jaipur 1
Jiaxing 1
Karbala 1
Leesburg 1
Lonigo 1
Manila 1
Nanchang 1
Naples 1
Nha Trang 1
Ningbo 1
Totale 587
Nome #
Methods and tools for design time and runtime formal analysis of security protocols and web applications 224
Using interpolation for the verification of security protocols 181
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 179
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems 142
Model-Based Detection of CSRF 127
Totale 853
Categoria #
all - tutte 2.761
article - articoli 0
book - libri 0
conference - conferenze 2.171
curatela - curatele 0
other - altro 590
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.522


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202230 0 0 0 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/2026307 20 15 17 46 88 18 36 21 21 16 4 5
2026/2027124 5 6 15 98 0 0 0 0 0 0 0 0
Totale 853