BUSI, Matteo
 Distribuzione geografica
Continente #
EU - Europa 367
NA - Nord America 124
AS - Asia 113
SA - Sud America 6
OC - Oceania 1
Totale 611
Nazione #
IE - Irlanda 163
IT - Italia 135
US - Stati Uniti d'America 124
HK - Hong Kong 40
SG - Singapore 29
CN - Cina 27
DE - Germania 17
GB - Regno Unito 11
BE - Belgio 10
FR - Francia 8
FI - Finlandia 5
NL - Olanda 5
SE - Svezia 5
CH - Svizzera 4
JP - Giappone 4
VN - Vietnam 4
BR - Brasile 3
CL - Cile 3
ID - Indonesia 3
PK - Pakistan 3
PT - Portogallo 2
AU - Australia 1
BD - Bangladesh 1
IR - Iran 1
LT - Lituania 1
PH - Filippine 1
RU - Federazione Russa 1
Totale 611
Città #
Dublin 163
New York 41
Hong Kong 35
Venice 25
Verona 23
Brescia 13
Parma 13
Singapore 12
Winnetka 11
Beijing 9
Seattle 9
Los Angeles 8
Stuttgart 7
Milan 6
Pesaro 5
Dongguan 4
Stockholm 4
Treviso 4
Udine 4
Vicopisano 4
Boardman 3
Castelnuovo del Garda 3
Helsinki 3
Jakarta 3
London 3
Mestre 3
Multan 3
Purmerend 3
Santiago 3
Turin 3
Vũng Tàu 3
Acton 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
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
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 509
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 98
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 96
Bridging the Gap: Automated Analysis of Sancus 79
A Recipe for Cost-Effective Secure IoT: the SAFE PLACE Project Case Study 59
Don't Get Stranded: Secure and Dynamic Key Management Policies with Strand Spaces 55
When Obfuscations Preserve Cryptographic Constant-Time 49
Automated Learning and Verification of Embedded Security Architectures 38
$\pi_{\mathbf{RA}}$: A $\pi\text{-calculus}$ for Verifying Protocols that Use Remote Attestation 28
Control-flow flattening preserves the constant-time policy 25
A brief tour of formally secure compilation 17
Using standard typing algorithms incrementally 17
Towards effective preservation of robust safety properties 16
A semantics for disciplined concurrency in COP 15
Mechanical incrementalization of typing algorithms 14
Robust Declassification by Incremental Typing 13
Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly 11
Totale 630
Categoria #
all - tutte 3.179
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.179


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/202531 11 20 0 0 0 0 0 0 0 0 0 0
Totale 630