CIBRARIO BERTOLOTTI, IVAN
 Distribuzione geografica
Continente #
NA - Nord America 4.894
EU - Europa 3.510
AS - Asia 402
AF - Africa 18
SA - Sud America 12
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 8.842
Nazione #
US - Stati Uniti d'America 4.871
GB - Regno Unito 951
DE - Germania 748
IT - Italia 628
FR - Francia 581
CN - Cina 186
UA - Ucraina 182
RU - Federazione Russa 77
TR - Turchia 76
SE - Svezia 70
NL - Olanda 61
IE - Irlanda 51
CH - Svizzera 45
KR - Corea 40
FI - Finlandia 34
HK - Hong Kong 27
MY - Malesia 22
CA - Canada 19
BE - Belgio 18
JP - Giappone 17
AT - Austria 15
IN - India 15
SN - Senegal 11
DK - Danimarca 9
CZ - Repubblica Ceca 6
RO - Romania 6
AR - Argentina 5
EE - Estonia 5
ID - Indonesia 5
CL - Cile 4
EU - Europa 4
GH - Ghana 4
JO - Giordania 4
SG - Singapore 4
TW - Taiwan 4
BR - Brasile 3
IR - Iran 3
AP - ???statistics.table.value.countryCode.AP??? 2
HR - Croazia 2
IL - Israele 2
KZ - Kazakistan 2
LC - Santa Lucia 2
LT - Lituania 2
NZ - Nuova Zelanda 2
TH - Thailandia 2
AU - Australia 1
CI - Costa d'Avorio 1
ES - Italia 1
GT - Guatemala 1
HU - Ungheria 1
KE - Kenya 1
MX - Messico 1
OM - Oman 1
PH - Filippine 1
PK - Pakistan 1
PL - Polonia 1
PT - Portogallo 1
SA - Arabia Saudita 1
SC - Seychelles 1
VN - Vietnam 1
Totale 8.842
Città #
Ashburn 2.187
Southend 894
Boardman 599
Seattle 304
Fairfield 216
Chandler 202
Woodbridge 125
Fremont 124
Ann Arbor 121
Turin 116
Cambridge 99
Jacksonville 96
Wilmington 92
Houston 84
Princeton 77
Izmir 62
Bologna 59
Dublin 50
Berlin 49
Bern 40
Zhengzhou 37
Chicago 32
Lecce 32
Milan 32
Helsinki 31
Shanghai 31
Beijing 30
Mountain View 30
San Donato Milanese 30
San Ramon 30
Frankfurt 24
Saint Petersburg 22
Torino 22
Baltimore 21
Des Moines 21
Kwai Chung 20
Pennsylvania Furnace 19
Amsterdam 15
Brussels 15
Monopoli 15
Overberg 15
Vienna 15
Guangzhou 14
Hangzhou 14
Council Bluffs 12
Overland Park 12
Malatya 10
Moscow 10
Osaka 10
Seoul 10
Columbus 9
Lansing 9
Putian 9
Zaporozhye 9
Falls Church 8
Imola 8
Kansas City 8
Ottawa 8
Padua 8
Rome 8
Wuhan 8
Hellemmes 7
Shaoxing 7
London 6
Norwalk 6
Redwood City 6
Virginia 6
Central District 5
Jinan 5
Kiev 5
Lugano 5
Melun 5
Miami 5
Naples 5
Paris 5
San Diego 5
Shenzhen 5
Accra 4
Asti 4
Brno 4
Brugnera 4
Cupertino 4
Harbin 4
Hone 4
Nola 4
Paterno 4
Ruian 4
Sakarya 4
San Francisco 4
Somma Vesuviana 4
Strassbourg 4
Taipei 4
Valdagno 4
Verona 4
Cervere 3
Fuzhou 3
Genova 3
Inzago 3
Kemerovo 3
Los Angeles 3
Totale 6.493
Nome #
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 685
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 681
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 658
A new knowledge representation strategy for cryptographic protocol analysis 654
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 531
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 506
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 481
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 475
Detecting Chains of Vulnerabilities in Industrial Networks 472
A Model for the Analysis of Security Policies in Industrial Networks 333
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 326
A Unified Class Model for Checking Security Policies in ICT Infrastructures 286
Design, verification, and performance of a MODBUS-CAN adaptation layer 285
Model checking 284
Modular design of an open-source, networked embedded system 284
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 272
Effect of jitter-reducing encoders on CAN error detection mechanisms 269
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 256
Formal Verification of a Distributed Master Election Protocol 253
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 251
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems 226
Un codec a basso jitter per reti CAN 210
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo 190
Totale 8.868
Categoria #
all - tutte 16.893
article - articoli 3.665
book - libri 0
conference - conferenze 12.148
curatela - curatele 0
other - altro 0
patent - brevetti 531
selected - selezionate 0
volume - volumi 549
Totale 33.786


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019395 0 0 0 0 0 0 0 0 0 106 153 136
2019/2020752 64 40 38 114 102 72 47 86 98 47 26 18
2020/2021582 66 79 32 70 29 58 28 57 28 57 57 21
2021/2022521 31 39 20 39 56 54 19 34 37 32 89 71
2022/2023574 54 93 34 70 43 80 42 25 57 1 31 44
2023/2024154 12 34 51 13 15 10 8 8 3 0 0 0
Totale 8.868