BUSI, Matteo
 Distribuzione geografica
Continente #
AS - Asia 1.057
NA - Nord America 838
EU - Europa 686
SA - Sud America 150
AF - Africa 41
OC - Oceania 1
Totale 2.773
Nazione #
US - Stati Uniti d'America 820
SG - Singapore 330
IT - Italia 292
CN - Cina 235
VN - Vietnam 223
IE - Irlanda 164
BR - Brasile 114
HK - Hong Kong 71
DE - Germania 50
JP - Giappone 49
IN - India 41
KR - Corea 40
FR - Francia 30
GB - Regno Unito 28
FI - Finlandia 23
MA - Marocco 19
RU - Federazione Russa 14
SE - Svezia 14
AR - Argentina 13
CH - Svizzera 13
PL - Polonia 13
NL - Olanda 12
AT - Austria 11
BD - Bangladesh 11
BE - Belgio 10
PK - Pakistan 9
TR - Turchia 9
BJ - Benin 8
ID - Indonesia 8
PH - Filippine 8
MX - Messico 7
CA - Canada 6
CL - Cile 5
EC - Ecuador 5
IQ - Iraq 5
PY - Paraguay 5
TN - Tunisia 4
ES - Italia 3
UZ - Uzbekistan 3
VE - Venezuela 3
ZA - Sudafrica 3
AE - Emirati Arabi Uniti 2
CI - Costa d'Avorio 2
GY - Guiana 2
LT - Lituania 2
PA - Panama 2
PS - Palestinian Territory 2
PT - Portogallo 2
QA - Qatar 2
SA - Arabia Saudita 2
UY - Uruguay 2
AL - Albania 1
AU - Australia 1
BG - Bulgaria 1
CO - Colombia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GR - Grecia 1
HN - Honduras 1
IR - Iran 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
KZ - Kazakistan 1
ML - Mali 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
TW - Taiwan 1
UA - Ucraina 1
Totale 2.773
Città #
Ashburn 231
Dublin 164
Singapore 147
Dallas 132
San Jose 79
Ho Chi Minh City 70
Venice 69
Hong Kong 62
New York 62
Hefei 54
Verona 51
Hanoi 39
Seoul 39
Beijing 36
Bengaluru 31
Los Angeles 30
Parma 30
Tokyo 29
Boardman 20
Council Bluffs 20
Casablanca 19
Munich 19
Da Nang 15
Lauterbourg 15
São Paulo 14
Brescia 13
Buffalo 13
Stockholm 13
Treviso 13
Helsinki 12
Udine 12
Guangzhou 11
Orem 11
Seattle 11
The Dalles 11
Winnetka 11
Haiphong 10
Chicago 9
Milan 9
Santa Clara 9
Cotonou 8
Frankfurt am Main 8
Warsaw 8
Zurich 8
Denver 7
Jakarta 7
Moscow 7
Stuttgart 7
Turin 7
Bovolone 6
London 6
Naples 6
Nuremberg 6
Konstancin-Jeziorna 5
Pesaro 5
Phoenix 5
Poplar 5
Santiago 5
Turku 5
Chennai 4
Curitiba 4
Dongguan 4
Lappeenranta 4
Tân Tiến 4
Vicopisano 4
Vienna 4
Ankara 3
Asunción 3
Atlanta 3
Bình Dương Province 3
Castelnuovo del Garda 3
City of London 3
Goiânia 3
Johannesburg 3
Mestre 3
Miami 3
Montreal 3
Multan 3
Purmerend 3
San Francisco 3
Shanghai 3
Tashkent 3
Trento 3
Vũng Tàu 3
Abidjan 2
Acton 2
Albignasego 2
Amsterdam 2
Angiari 2
Antwerp 2
Bauru 2
Belo Horizonte 2
Berlin 2
Biên Hòa 2
Brooklyn 2
Bắc Ninh 2
Cama 2
Canterbury 2
Carney 2
Caxias do Sul 2
Totale 1.880
Nome #
Bridging the Gap: Automated Analysis of Sancus 234
Securing Interruptible Enclaved Execution on Small Microprocessors 232
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 225
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 204
When Obfuscations Preserve Cryptographic Constant-Time 169
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 157
Work-in-Progress: Optimizing Performance of User Revocation in Cryptographic Access Control with Trusted Execution Environments 150
Control-flow flattening preserves the constant-time policy 144
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 136
Automated Learning and Verification of Embedded Security Architectures 131
Using standard typing algorithms incrementally 129
A brief tour of formally secure compilation 127
Automated Analysis of Key Management Policies 119
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 114
Towards effective preservation of robust safety properties 113
A semantics for disciplined concurrency in COP 110
Robust Declassification by Incremental Typing 106
Strands Rocq: Why is a Security Protocol Correct, Mechanically? 105
Mechanical incrementalization of typing algorithms 99
Totale 2.804
Categoria #
all - tutte 8.967
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 8.967


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.703 144 129 226 179 230 171 177 108 206 133 0 0
Totale 2.804