PORTO @ Archivio Istituzionale della Ricerca

CIBRARIO BERTOLOTTI, IVAN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.230
EU - Europa 4.002
AS - Asia 1.245
SA - Sud America 105
AF - Africa 30
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 11.618
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.189
GB - Regno Unito 1.047
DE - Germania 839
IT - Italia 718
FR - Francia 673
SG - Singapore 512
CN - Cina 357
UA - Ucraina 196
RU - Federazione Russa 103
TR - Turchia 93
SE - Svezia 85
BR - Brasile 79
KR - Corea 78
NL - Olanda 68
IE - Irlanda 62
FI - Finlandia 51
HK - Hong Kong 50
CH - Svizzera 49
VN - Vietnam 35
CA - Canada 30
BE - Belgio 24
JP - Giappone 24
IN - India 23
MY - Malesia 23
AT - Austria 21
AR - Argentina 14
SN - Senegal 11
DK - Danimarca 9
ID - Indonesia 9
PL - Polonia 9
IL - Israele 8
CL - Cile 6
CZ - Repubblica Ceca 6
MX - Messico 6
RO - Romania 6
EE - Estonia 5
JO - Giordania 5
SA - Arabia Saudita 5
TW - Taiwan 5
ZA - Sudafrica 5
ES - Italia 4
EU - Europa 4
GH - Ghana 4
IQ - Iraq 4
KZ - Kazakistan 4
LT - Lituania 4
MA - Marocco 4
PK - Pakistan 4
BD - Bangladesh 3
IR - Iran 3
AP - ???statistics.table.value.countryCode.AP??? 2
EC - Ecuador 2
HR - Croazia 2
KE - Kenya 2
KG - Kirghizistan 2
LC - Santa Lucia 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
TH - Thailandia 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BG - Bulgaria 1
BO - Bolivia 1
CG - Congo 1
CI - Costa d'Avorio 1
CO - Colombia 1
GT - Guatemala 1
HU - Ungheria 1
KH - Cambogia 1
LB - Libano 1
NO - Norvegia 1
PH - Filippine 1
PT - Portogallo 1
PY - Paraguay 1
QA - Qatar 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 11.618
Salva come PNG Salva come JPEG
Città #
Ashburn 2.787
Southend 965
Boardman 801
Seattle 366
Singapore 258
Fairfield 251
Chandler 212
Fremont 155
Turin 142
Woodbridge 141
Ann Arbor 134
Cambridge 114
Jacksonville 103
Wilmington 98
Houston 94
Princeton 86
Izmir 67
Santa Clara 62
Dublin 61
Bologna 59
Beijing 56
Berlin 55
Bern 44
Chicago 40
Helsinki 40
San Ramon 38
Zhengzhou 37
Milan 35
Shanghai 34
San Donato Milanese 33
Lecce 32
Mountain View 30
Torino 29
Baltimore 25
Frankfurt 25
Los Angeles 25
Saint Petersburg 25
Hong Kong 23
North Bergen 23
Pennsylvania Furnace 22
Brussels 21
Des Moines 21
Guangzhou 21
Seoul 21
Council Bluffs 20
Kwai Chung 20
New York 19
Buffalo 18
Munich 18
Overberg 18
Amsterdam 17
Frankfurt am Main 16
London 15
Monopoli 15
Vienna 15
Dallas 14
Hangzhou 14
Ho Chi Minh City 12
Overland Park 12
San Francisco 12
Tongling 12
Hanoi 11
Istanbul 11
Zaporozhye 11
Columbus 10
Malatya 10
Moscow 10
Naples 10
Osaka 10
Ottawa 10
Lansing 9
Putian 9
Toronto 9
Falls Church 8
Imola 8
Kansas City 8
Padua 8
Rome 8
San Diego 8
Wuhan 8
Hefei 7
Hellemmes 7
Norwalk 7
Shaoxing 7
Melun 6
Redwood City 6
São Paulo 6
Turku 6
Virginia 6
Asti 5
Bexley 5
Central District 5
Harbin 5
Jinan 5
Kiev 5
Lugano 5
Miami 5
Paris 5
Shenzhen 5
Tokyo 5
Totale 8.267
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 737
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 733
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 706
A new knowledge representation strategy for cryptographic protocol analysis 699
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 589
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 569
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 560
Tools for cryptographic protocols analysis: A technical and experimental comparison 557
Detecting Chains of Vulnerabilities in Industrial Networks 552
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 543
Improving the Security of Industrial Networks by means of Formal Verification 491
Exploiting symmetries for testing equivalence verification in the SPI calculus 476
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 389
A Model for the Analysis of Security Policies in Industrial Networks 377
Design, verification, and performance of a MODBUS-CAN adaptation layer 344
A Unified Class Model for Checking Security Policies in ICT Infrastructures 329
Modular design of an open-source, networked embedded system 327
Model checking 324
Effect of jitter-reducing encoders on CAN error detection mechanisms 324
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 321
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 315
Formal Verification of a Distributed Master Election Protocol 306
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 303
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems 279
Un codec a basso jitter per reti CAN 272
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo 232
Totale 11.654
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.532
article - articoli 8.234
book - libri 0
conference - conferenze 15.808
curatela - curatele 0
other - altro 0
patent - brevetti 758
selected - selezionate 0
volume - volumi 732
Totale 51.064
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021334 0 0 0 0 0 66 31 61 33 60 61 22
2021/2022557 34 41 21 41 58 56 21 37 40 37 93 78
2022/2023620 61 102 35 71 46 85 45 30 60 1 36 48
2023/2024240 14 39 52 13 15 10 8 9 3 0 30 47
2024/2025710 21 108 32 96 42 41 9 48 141 36 57 79
2025/2026685 99 79 97 134 151 125 0 0 0 0 0 0
Totale 11.654