BUSI, Matteo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.202
AS - Asia 1.133
EU - Europa 795
SA - Sud America 152
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 35
OC - Oceania 2
Totale 3.360
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.164
SG - Singapore 357
IT - Italia 350
CN - Cina 253
VN - Vietnam 226
IE - Irlanda 166
BR - Brasile 115
HK - Hong Kong 79
DE - Germania 59
JP - Giappone 52
IN - India 44
KR - Corea 42
FR - Francia 37
GB - Regno Unito 32
FI - Finlandia 23
BD - Bangladesh 19
MA - Marocco 19
BE - Belgio 18
CA - Canada 17
NL - Olanda 17
SE - Svezia 17
CH - Svizzera 15
RU - Federazione Russa 14
AR - Argentina 13
AT - Austria 13
PL - Polonia 13
PK - Pakistan 10
ES - Italia 9
TR - Turchia 9
BJ - Benin 8
ID - Indonesia 8
PH - Filippine 8
MX - Messico 7
IQ - Iraq 6
CL - Cile 5
EC - Ecuador 5
PT - Portogallo 5
PY - Paraguay 5
TN - Tunisia 4
HN - Honduras 3
JM - Giamaica 3
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
CO - Colombia 2
GY - Guiana 2
LT - Lituania 2
PA - Panama 2
PS - Palestinian Territory 2
QA - Qatar 2
SA - Arabia Saudita 2
SV - El Salvador 2
TW - Taiwan 2
UY - Uruguay 2
AL - Albania 1
AU - Australia 1
BG - Bulgaria 1
BS - Bahamas 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GR - Grecia 1
GT - Guatemala 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
SY - Repubblica araba siriana 1
TH - Thailandia 1
UA - Ucraina 1
Totale 3.325
Salva come PNG Salva come JPEG
Città #
Ashburn 314
Dublin 166
Singapore 153
Dallas 136
Council Bluffs 129
San Jose 99
Ho Chi Minh City 71
Venice 71
Hong Kong 70
New York 66
Hefei 54
Verona 51
Beijing 40
Hanoi 40
Seoul 40
Los Angeles 33
Bengaluru 31
Parma 31
Tokyo 30
Boardman 26
Naples 25
Casablanca 19
Munich 19
Brescia 16
Da Nang 15
Lauterbourg 15
São Paulo 15
Santa Clara 14
Stockholm 14
Treviso 14
Buffalo 13
Helsinki 12
Udine 12
Guangzhou 11
Orem 11
Palermo 11
Seattle 11
The Dalles 11
Winnetka 11
Chicago 10
Haiphong 10
Frankfurt am Main 9
Milan 9
Phoenix 9
Atlanta 8
Columbus 8
Cotonou 8
Denver 8
Turin 8
Warsaw 8
Zurich 8
Jakarta 7
London 7
Moscow 7
Stuttgart 7
Bovolone 6
Nuremberg 6
Valencia 6
Konstancin-Jeziorna 5
Memphis 5
Montreal 5
Pesaro 5
Poplar 5
Santiago 5
Turku 5
Vienna 5
Brooklyn 4
Chennai 4
Curitiba 4
Dongguan 4
Lappeenranta 4
Leuven 4
Miami 4
Paderborn 4
Saint-Etienne 4
Toronto 4
Tân Tiến 4
Vicopisano 4
Ankara 3
Asunción 3
Bình Dương Province 3
Castelnuovo del Garda 3
City of London 3
Georgetown 3
Goiânia 3
Johannesburg 3
Kingston 3
Lisbon 3
Maricopa 3
Mestre 3
Multan 3
Panama City 3
Philadelphia 3
Purmerend 3
Rome 3
San Francisco 3
Shanghai 3
Tashkent 3
Trento 3
Vũng Tàu 3
Totale 2.223
Salva come PNG Salva come JPEG
Nome #
Bridging the Gap: Automated Analysis of Sancus 261
Securing Interruptible Enclaved Execution on Small Microprocessors 258
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 240
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 229
When Obfuscations Preserve Cryptographic Constant-Time 195
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments 182
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 171
Control-flow flattening preserves the constant-time policy 160
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 158
Automated Learning and Verification of Embedded Security Architectures 156
A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers 154
Using standard typing algorithms incrementally 148
A brief tour of formally secure compilation 147
Automated Analysis of Key Management Policies 143
Robust Declassification by Incremental Typing 132
Strands Rocq: Why is a Security Protocol Correct, Mechanically? 132
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 130
Towards effective preservation of robust safety properties 128
Mechanical incrementalization of typing algorithms 121
A semantics for disciplined concurrency in COP 115
Totale 3.360
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.681
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 10.681
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/2027174 75 97 2 0 0 0 0 0 0 0 0 0
Totale 3.360