CIBRARIO BERTOLOTTI, IVAN
 Distribuzione geografica
Continente #
NA - Nord America 6.009
EU - Europa 3.901
AS - Asia 628
AF - Africa 18
SA - Sud America 12
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 10.574
Nazione #
US - Stati Uniti d'America 5.978
GB - Regno Unito 1.034
DE - Germania 808
IT - Italia 713
FR - Francia 655
CN - Cina 229
UA - Ucraina 193
SG - Singapore 141
RU - Federazione Russa 101
TR - Turchia 91
SE - Svezia 83
NL - Olanda 68
IE - Irlanda 61
KR - Corea 61
CH - Svizzera 49
FI - Finlandia 44
CA - Canada 27
HK - Hong Kong 27
BE - Belgio 24
MY - Malesia 23
AT - Austria 17
IN - India 17
JP - Giappone 17
SN - Senegal 11
DK - Danimarca 9
ID - Indonesia 8
CZ - Repubblica Ceca 6
RO - Romania 6
AR - Argentina 5
EE - Estonia 5
CL - Cile 4
EU - Europa 4
GH - Ghana 4
IL - Israele 4
JO - Giordania 4
LT - Lituania 4
TW - Taiwan 4
BR - Brasile 3
IR - Iran 3
VN - Vietnam 3
AP - ???statistics.table.value.countryCode.AP??? 2
HR - Croazia 2
KZ - Kazakistan 2
LC - Santa Lucia 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
Totale 10.574
Città #
Ashburn 2.740
Southend 965
Boardman 801
Seattle 364
Fairfield 251
Chandler 212
Fremont 155
Woodbridge 141
Turin 140
Ann Arbor 134
Cambridge 114
Jacksonville 103
Singapore 102
Wilmington 98
Houston 93
Princeton 86
Izmir 67
Dublin 60
Bologna 59
Santa Clara 56
Berlin 55
Bern 44
Helsinki 39
San Ramon 38
Zhengzhou 37
Chicago 36
Milan 35
San Donato Milanese 33
Lecce 32
Shanghai 32
Beijing 30
Mountain View 30
Torino 29
Frankfurt 25
Saint Petersburg 25
Baltimore 24
Pennsylvania Furnace 22
Brussels 21
Des Moines 21
Kwai Chung 20
Guangzhou 19
Overberg 18
Amsterdam 17
Monopoli 15
Vienna 15
Hangzhou 14
Seoul 13
Council Bluffs 12
Overland Park 12
London 11
Zaporozhye 11
Istanbul 10
Malatya 10
Moscow 10
Naples 10
New York 10
Osaka 10
Ottawa 10
Columbus 9
Lansing 9
Putian 9
San Francisco 9
Falls Church 8
Imola 8
Kansas City 8
Padua 8
Rome 8
San Diego 8
Toronto 8
Wuhan 8
Hellemmes 7
Norwalk 7
Shaoxing 7
Melun 6
Redwood City 6
Virginia 6
Central District 5
Jinan 5
Kiev 5
Lugano 5
Miami 5
Paris 5
Shenzhen 5
Verona 5
Yubileyny 5
Accra 4
Asti 4
Brno 4
Brugnera 4
Cupertino 4
Harbin 4
Hone 4
Modena 4
Nola 4
Paterno 4
Piscataway 4
Podenzano 4
Ruian 4
Sakarya 4
Somma Vesuviana 4
Totale 7.840
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 701
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 699
A new knowledge representation strategy for cryptographic protocol analysis 672
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 671
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 547
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 522
Tools for cryptographic protocols analysis: A technical and experimental comparison 515
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 504
Detecting Chains of Vulnerabilities in Industrial Networks 493
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 491
Improving the Security of Industrial Networks by means of Formal Verification 439
Exploiting symmetries for testing equivalence verification in the SPI calculus 438
A Model for the Analysis of Security Policies in Industrial Networks 346
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 345
Design, verification, and performance of a MODBUS-CAN adaptation layer 298
A Unified Class Model for Checking Security Policies in ICT Infrastructures 297
Model checking 296
Modular design of an open-source, networked embedded system 296
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 287
Effect of jitter-reducing encoders on CAN error detection mechanisms 285
Formal Verification of a Distributed Master Election Protocol 271
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 271
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 267
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems 237
Un codec a basso jitter per reti CAN 222
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo 200
Totale 10.610
Categoria #
all - tutte 21.911
article - articoli 7.003
book - libri 0
conference - conferenze 13.656
curatela - curatele 0
other - altro 0
patent - brevetti 614
selected - selezionate 0
volume - volumi 638
Totale 43.822


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020306 0 0 0 0 0 0 0 97 110 49 29 21
2020/2021634 72 85 33 80 30 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/2025351 21 108 32 96 42 41 9 2 0 0 0 0
Totale 10.610