BUSI, Matteo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.563
AS - Asia 1.155
EU - Europa 870
SA - Sud America 161
Continente sconosciuto - Info sul continente non disponibili 48
AF - Africa 41
OC - Oceania 2
Totale 3.840
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.506
IT - Italia 401
SG - Singapore 359
CN - Cina 259
VN - Vietnam 226
IE - Irlanda 167
BR - Brasile 122
HK - Hong Kong 79
DE - Germania 61
JP - Giappone 53
IN - India 50
GB - Regno Unito 44
KR - Corea 43
FR - Francia 38
FI - Finlandia 23
CA - Canada 22
BD - Bangladesh 21
BE - Belgio 20
MA - Marocco 19
NL - Olanda 17
SE - Svezia 17
CH - Svizzera 15
AR - Argentina 14
PL - Polonia 14
RU - Federazione Russa 14
AT - Austria 13
ES - Italia 10
PK - Pakistan 10
TR - Turchia 9
BJ - Benin 8
ID - Indonesia 8
PH - Filippine 8
HN - Honduras 7
MX - Messico 7
IQ - Iraq 6
CL - Cile 5
EC - Ecuador 5
PT - Portogallo 5
PY - Paraguay 5
JM - Giamaica 4
TN - Tunisia 4
CO - Colombia 3
CW - ???statistics.table.value.countryCode.CW??? 3
LT - Lituania 3
PS - Palestinian Territory 3
QA - Qatar 3
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
DO - Repubblica Dominicana 2
EE - Estonia 2
GT - Guatemala 2
GY - Guiana 2
NI - Nicaragua 2
PA - Panama 2
SA - Arabia Saudita 2
SV - El Salvador 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
UY - Uruguay 2
AL - Albania 1
AU - Australia 1
AZ - Azerbaigian 1
BB - Barbados 1
BG - Bulgaria 1
BS - Bahamas 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GP - Guadalupe 1
GR - Grecia 1
IL - Israele 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LK - Sri Lanka 1
ML - Mali 1
NZ - Nuova Zelanda 1
PR - Porto Rico 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UA - Ucraina 1
Totale 3.795
Salva come PNG Salva come JPEG
Città #
Ashburn 358
Dublin 166
Council Bluffs 154
Singapore 154
San Jose 146
Dallas 138
Venice 81
Ho Chi Minh City 71
Hong Kong 70
New York 70
Hefei 54
Verona 51
Seoul 41
Beijing 40
Hanoi 40
Los Angeles 34
Bengaluru 31
Parma 31
Tokyo 30
Boardman 27
Naples 25
Santa Clara 22
Casablanca 19
Munich 19
Phoenix 18
Staranzano 17
Brescia 16
Da Nang 15
Lauterbourg 15
São Paulo 15
Buffalo 14
Chicago 14
Stockholm 14
Treviso 14
Denver 12
Helsinki 12
Udine 12
Guangzhou 11
Milan 11
North Bergen 11
Orem 11
Palermo 11
Seattle 11
The Dalles 11
Winnetka 11
Frankfurt am Main 10
Haiphong 10
Atlanta 9
Columbus 9
Turin 9
Warsaw 9
Brasília 8
Cotonou 8
Zurich 8
Jakarta 7
London 7
Moscow 7
Shanghai 7
Stuttgart 7
Bovolone 6
Madurai 6
Nuremberg 6
Valencia 6
Brooklyn 5
Konstancin-Jeziorna 5
Memphis 5
Montreal 5
Newark 5
Pesaro 5
Poplar 5
San Francisco 5
Santiago 5
Turku 5
Vienna 5
Chennai 4
Curitiba 4
Dongguan 4
Kingston 4
Lappeenranta 4
Leuven 4
Miami 4
Paderborn 4
Philadelphia 4
Rome 4
Saint-Etienne 4
San Pedro Sula 4
Toronto 4
Tân Tiến 4
Vicopisano 4
Washington 4
Ankara 3
Asunción 3
Bình Dương Province 3
Castelnuovo del Garda 3
City of London 3
Doha 3
Genoa 3
Georgetown 3
Goiânia 3
Houston 3
Totale 2.436
Salva come PNG Salva come JPEG
Nome #
Bridging the Gap: Automated Analysis of Sancus 279
Securing Interruptible Enclaved Execution on Small Microprocessors 267
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 251
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 244
When Obfuscations Preserve Cryptographic Constant-Time 216
A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers 208
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments 204
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 190
Control-flow flattening preserves the constant-time policy 182
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 178
Automated Learning and Verification of Embedded Security Architectures 172
Automated Analysis of Key Management Policies 164
A brief tour of formally secure compilation 163
Using standard typing algorithms incrementally 161
Strands Rocq: Why is a Security Protocol Correct, Mechanically? 160
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 152
Robust Declassification by Incremental Typing 148
Mechanical incrementalization of typing algorithms 139
Towards effective preservation of robust safety properties 138
A semantics for disciplined concurrency in COP 128
A Formally Verified Provisioning Protocol for Low-Cost IoT Devices 52
Security Auditing for RISC-V SoCs via Process Mining 26
Partial order semantics and operational semantics for strand spaces, via Rocq 18
Totale 3.840
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.981
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 11.981
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202324 0 0 0 0 0 0 0 0 0 0 5 19
2023/2024575 23 11 54 59 88 135 34 40 39 21 18 53
2024/2025502 11 20 38 26 34 27 104 44 63 24 59 52
2025/20262.085 144 129 226 179 230 171 177 108 267 204 103 147
2026/2027654 75 97 227 237 18 0 0 0 0 0 0 0
Totale 3.840