BUSI, Matteo
 Distribuzione geografica
Continente #
EU - Europa 521
AS - Asia 267
NA - Nord America 187
SA - Sud America 80
AF - Africa 1
OC - Oceania 1
Totale 1.057
Nazione #
IT - Italia 232
US - Stati Uniti d'America 184
IE - Irlanda 163
SG - Singapore 121
BR - Brasile 73
CN - Cina 57
HK - Hong Kong 56
DE - Germania 32
GB - Regno Unito 14
CH - Svizzera 12
RU - Federazione Russa 12
FI - Finlandia 11
BE - Belgio 10
FR - Francia 10
NL - Olanda 8
AT - Austria 7
VN - Vietnam 7
ID - Indonesia 6
JP - Giappone 6
SE - Svezia 6
PK - Pakistan 4
CL - Cile 3
MX - Messico 3
TR - Turchia 3
AR - Argentina 2
LT - Lituania 2
PS - Palestinian Territory 2
PT - Portogallo 2
AU - Australia 1
BD - Bangladesh 1
CI - Costa d'Avorio 1
EC - Ecuador 1
IR - Iran 1
KW - Kuwait 1
PH - Filippine 1
PY - Paraguay 1
QA - Qatar 1
Totale 1.057
Città #
Dublin 163
Venice 65
Singapore 55
Hong Kong 51
Verona 51
New York 42
Parma 20
Boardman 19
Council Bluffs 18
Brescia 13
Munich 12
Winnetka 11
Beijing 10
Seattle 10
Hefei 9
Los Angeles 8
Zurich 8
Milan 7
Moscow 7
Stuttgart 7
Jakarta 6
Naples 6
São Paulo 6
Helsinki 5
London 5
Pesaro 5
Stockholm 5
Treviso 5
Turin 5
Dongguan 4
Nuremberg 4
Turku 4
Udine 4
Vicopisano 4
Ashburn 3
Bình Dương Province 3
Castelnuovo del Garda 3
Chicago 3
Mestre 3
Multan 3
Purmerend 3
Santiago 3
Tokyo 3
Vũng Tàu 3
Acton 2
Albignasego 2
Angiari 2
Antwerp 2
Bauru 2
Belo Horizonte 2
Cama 2
Canterbury 2
Caxias do Sul 2
Charlotte 2
Curitiba 2
Dallas 2
Erlangen 2
Funchal 2
Genoa 2
Illasi 2
Lappeenranta 2
Meride 2
Osasco 2
Oss 2
Pisa 2
Preganziol 2
San Francisco 2
Spoltore 2
São Luís 2
Trambileno 2
Vienna 2
Votorantim 2
Abidjan 1
Alonte 1
Americana 1
Anápolis 1
Arapiraca 1
Araruama 1
Barra Mansa 1
Barra de São Francisco 1
Basiano 1
Beauvais 1
Berlin 1
Bethany 1
Bolzano 1
Bragado 1
Briec 1
Brooklyn 1
Campalto 1
Caraguatatuba 1
Carangola 1
Cariacica 1
Carpenedolo 1
Castegnero 1
Cavalese 1
Central 1
Chiba 1
Conselheiro Lafaiete 1
Davao City 1
Doha 1
Totale 768
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 147
Bridging the Gap: Automated Analysis of Sancus 136
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 132
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 97
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 82
When Obfuscations Preserve Cryptographic Constant-Time 73
Automated Learning and Verification of Embedded Security Architectures 64
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 53
Control-flow flattening preserves the constant-time policy 51
A semantics for disciplined concurrency in COP 38
Using standard typing algorithms incrementally 36
A brief tour of formally secure compilation 35
Towards effective preservation of robust safety properties 31
Mechanical incrementalization of typing algorithms 28
Robust Declassification by Incremental Typing 27
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 27
Automated Analysis of Key Management Policies 16
Strands Rocq: Why is a Security Protocol Correct, Mechanically? 11
Totale 1.084
Categoria #
all - tutte 5.491
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 5.491


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/2025485 11 20 38 26 34 27 104 44 63 24 59 35
Totale 1.084