BUSI, Matteo
 Distribuzione geografica
Continente #
EU - Europa 383
AS - Asia 151
NA - Nord America 145
SA - Sud America 6
OC - Oceania 1
Totale 686
Nazione #
IE - Irlanda 163
IT - Italia 149
US - Stati Uniti d'America 145
SG - Singapore 47
CN - Cina 46
HK - Hong Kong 40
DE - Germania 17
GB - Regno Unito 11
BE - Belgio 10
FR - Francia 8
FI - Finlandia 6
JP - Giappone 5
NL - Olanda 5
SE - Svezia 5
CH - Svizzera 4
VN - Vietnam 4
BR - Brasile 3
CL - Cile 3
ID - Indonesia 3
PK - Pakistan 3
PT - Portogallo 2
AT - Austria 1
AU - Australia 1
BD - Bangladesh 1
IR - Iran 1
LT - Lituania 1
PH - Filippine 1
RU - Federazione Russa 1
Totale 686
Città #
Dublin 163
New York 41
Hong Kong 35
Singapore 30
Venice 30
Verona 24
Boardman 19
Parma 15
Brescia 13
Winnetka 11
Beijing 9
Seattle 9
Los Angeles 8
Stuttgart 7
Milan 6
Pesaro 5
Treviso 5
Turin 5
Dongguan 4
Helsinki 4
Stockholm 4
Udine 4
Vicopisano 4
Castelnuovo del Garda 3
Jakarta 3
London 3
Mestre 3
Multan 3
Purmerend 3
Santiago 3
Vũng Tàu 3
Acton 2
Albignasego 2
Antwerp 2
Ashburn 2
Cama 2
Canterbury 2
Charlotte 2
Dallas 2
Erlangen 2
Funchal 2
Genoa 2
Illasi 2
Lappeenranta 2
Meride 2
Oss 2
Preganziol 2
São Paulo 2
Tokyo 2
Trambileno 2
Alonte 1
Americana 1
Basiano 1
Beauvais 1
Berlin 1
Bethany 1
Bolzano 1
Briec 1
Castegnero 1
Cavalese 1
Central 1
Chiba 1
Davao City 1
Eraclea 1
Frankfurt am Main 1
Fremont 1
Genk 1
Hamburg 1
Hanoi 1
Kitzingen 1
Kiyosu 1
Koersel 1
Kyoto 1
Las Vegas 1
Leuven 1
Malmo 1
Marcon 1
Melbourne 1
Moscow 1
Naples 1
North Bergen 1
Nuremberg 1
Paese 1
Ponte di Piave 1
Prescot 1
Shanghai 1
Tehran 1
Tresana 1
Wandsworth 1
West Henrietta 1
Wong Tai Sin 1
Zossen 1
Totale 559
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 101
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 100
Bridging the Gap: Automated Analysis of Sancus 92
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 65
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 62
When Obfuscations Preserve Cryptographic Constant-Time 52
Automated Learning and Verification of Embedded Security Architectures 46
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 32
Control-flow flattening preserves the constant-time policy 29
A brief tour of formally secure compilation 22
Using standard typing algorithms incrementally 20
Towards effective preservation of robust safety properties 19
A semantics for disciplined concurrency in COP 19
Mechanical incrementalization of typing algorithms 18
Robust Declassification by Incremental Typing 16
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 14
Totale 707
Categoria #
all - tutte 3.884
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 3.884


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/2025108 11 20 38 26 13 0 0 0 0 0 0 0
Totale 707