BUSI, Matteo
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.102
NA - Nord America 984
EU - Europa 771
SA - Sud America 151
AF - Africa 41
OC - Oceania 2
Totale 3.051
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 959
SG - Singapore 342
IT - Italia 338
CN - Cina 243
VN - Vietnam 226
IE - Irlanda 166
BR - Brasile 115
HK - Hong Kong 78
DE - Germania 55
JP - Giappone 51
IN - India 43
KR - Corea 42
FR - Francia 37
GB - Regno Unito 30
FI - Finlandia 23
MA - Marocco 19
BE - Belgio 18
BD - Bangladesh 16
CH - Svizzera 15
SE - Svezia 15
RU - Federazione Russa 14
AR - Argentina 13
AT - Austria 13
NL - Olanda 13
PL - Polonia 13
PK - Pakistan 10
CA - Canada 9
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
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
GY - Guiana 2
HN - Honduras 2
LT - Lituania 2
PA - Panama 2
PS - Palestinian Territory 2
QA - Qatar 2
SA - Arabia Saudita 2
TW - Taiwan 2
UY - Uruguay 2
AL - Albania 1
AU - Australia 1
BG - Bulgaria 1
BS - Bahamas 1
CO - Colombia 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
JM - Giamaica 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
LK - Sri Lanka 1
ML - Mali 1
NZ - Nuova Zelanda 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
UA - Ucraina 1
Totale 3.051
Salva come PNG Salva come JPEG
Città #
Ashburn 270
Dublin 166
Singapore 151
Dallas 133
San Jose 98
Ho Chi Minh City 71
Venice 71
Hong Kong 69
New York 63
Hefei 54
Verona 51
Council Bluffs 47
Hanoi 40
Seoul 40
Beijing 38
Bengaluru 31
Los Angeles 31
Parma 31
Tokyo 30
Boardman 26
Naples 25
Casablanca 19
Munich 19
Da Nang 15
Lauterbourg 15
São Paulo 15
Brescia 13
Buffalo 13
Stockholm 13
Treviso 13
Helsinki 12
Udine 12
Guangzhou 11
Orem 11
Seattle 11
The Dalles 11
Winnetka 11
Chicago 10
Haiphong 10
Frankfurt am Main 9
Milan 9
Santa Clara 9
Cotonou 8
Denver 8
Palermo 8
Warsaw 8
Zurich 8
Jakarta 7
Moscow 7
Stuttgart 7
Turin 7
Atlanta 6
Bovolone 6
London 6
Nuremberg 6
Valencia 6
Konstancin-Jeziorna 5
Memphis 5
Pesaro 5
Phoenix 5
Poplar 5
Santiago 5
Turku 5
Vienna 5
Chennai 4
Curitiba 4
Dongguan 4
Lappeenranta 4
Leuven 4
Montreal 4
Saint-Etienne 4
Tân Tiến 4
Vicopisano 4
Ankara 3
Asunción 3
Brooklyn 3
Bình Dương Province 3
Castelnuovo del Garda 3
City of London 3
Goiânia 3
Johannesburg 3
Lisbon 3
Mestre 3
Miami 3
Multan 3
Purmerend 3
Rome 3
San Francisco 3
Shanghai 3
Tashkent 3
Toronto 3
Trento 3
Vũng Tàu 3
Abidjan 2
Acton 2
Albignasego 2
Amsterdam 2
Angiari 2
Antwerp 2
Bauru 2
Totale 2.045
Salva come PNG Salva come JPEG
Nome #
Bridging the Gap: Automated Analysis of Sancus 242
Securing Interruptible Enclaved Execution on Small Microprocessors 238
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 233
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 213
When Obfuscations Preserve Cryptographic Constant-Time 180
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments 164
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 161
Control-flow flattening preserves the constant-time policy 145
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 144
Automated Learning and Verification of Embedded Security Architectures 143
Using standard typing algorithms incrementally 136
A brief tour of formally secure compilation 133
Automated Analysis of Key Management Policies 131
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 122
Strands Rocq: Why is a Security Protocol Correct, Mechanically? 120
Towards effective preservation of robust safety properties 120
A Formally Verified Secure Caching Mechanism on TrustZone-enabled Microcontrollers 120
Robust Declassification by Incremental Typing 118
A semantics for disciplined concurrency in COP 112
Mechanical incrementalization of typing algorithms 108
Totale 3.083
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.667
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 9.667
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/20261.982 144 129 226 179 230 171 177 108 267 204 103 44
Totale 3.083