IRIS
Patrignani, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.469
AS - Asia 669
EU - Europa 494
SA - Sud America 205
Continente sconosciuto - Info sul continente non disponibili 86
AF - Africa 24
OC - Oceania 1
Totale 2.948
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.409
SG - Singapore 241
IT - Italia 188
BR - Brasile 168
CN - Cina 124
VN - Vietnam 111
RU - Federazione Russa 88
GB - Regno Unito 46
HK - Hong Kong 46
KR - Corea 38
FR - Francia 35
LV - Lettonia 33
SE - Svezia 33
CA - Canada 31
BD - Bangladesh 19
AR - Argentina 16
ID - Indonesia 16
IN - India 16
FI - Finlandia 14
IQ - Iraq 14
MX - Messico 14
DE - Germania 13
TR - Turchia 9
PK - Pakistan 8
ES - Italia 7
NL - Olanda 7
AT - Austria 6
CO - Colombia 6
EC - Ecuador 6
DZ - Algeria 5
ET - Etiopia 5
JP - Giappone 5
PL - Polonia 5
ZA - Sudafrica 5
CL - Cile 4
MA - Marocco 4
UA - Ucraina 4
CH - Svizzera 3
CR - Costa Rica 3
HN - Honduras 3
PE - Perù 3
PH - Filippine 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
CZ - Repubblica Ceca 2
EG - Egitto 2
GD - Grenada 2
IE - Irlanda 2
JM - Giamaica 2
KZ - Kazakistan 2
NP - Nepal 2
OM - Oman 2
SA - Arabia Saudita 2
SV - El Salvador 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
AM - Armenia 1
AU - Australia 1
BG - Bulgaria 1
CW - ???statistics.table.value.countryCode.CW??? 1
DK - Danimarca 1
EE - Estonia 1
GT - Guatemala 1
HT - Haiti 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
MU - Mauritius 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
VE - Venezuela 1
Totale 2.863
Salva come PNG Salva come JPEG
Città #
Ashburn 209
Singapore 144
San Jose 137
Dallas 73
Columbus 67
Council Bluffs 63
Princeton 50
Santa Clara 48
Trento 41
Moscow 39
Hong Kong 38
Seoul 38
Los Angeles 36
New York 36
Staranzano 34
Riga 33
Beijing 32
Ho Chi Minh City 31
Hanoi 29
The Dalles 29
Chandler 28
Lauterbourg 27
Milan 21
Washington 19
Chicago 18
São Paulo 18
Buffalo 17
Salt Lake City 14
Fairfield 13
Jakarta 13
Stone Mountain 13
Houston 12
Como 10
Phoenix 10
Redondo Beach 10
Rome 10
Helsinki 9
London 9
San Diego 9
Miami 8
Tampa 8
Atlanta 7
Boardman 7
Cambridge 7
Da Nang 7
Haiphong 7
Montreal 7
Hefei 6
Kilburn 6
Orem 6
Addis Ababa 5
Biên Hòa 5
Mexico City 5
Miano 5
Ribeirão Preto 5
Rio de Janeiro 5
Warsaw 5
Wilmington 5
Xi'an 5
Amsterdam 4
Baghdad 4
Chaozhou 4
Dhaka 4
Elk Grove Village 4
Las Vegas 4
Nuremberg 4
Philadelphia 4
Poplar 4
Ridgefield 4
Santiago 4
Seattle 4
Secaucus 4
Stockholm 4
Ann Arbor 3
Bari 3
Basra 3
Brasília 3
Brooklyn 3
Charlotte 3
Cleveland 3
Curitiba 3
Erbil 3
Frankfurt am Main 3
Guangzhou 3
Hải Dương 3
Istanbul 3
Juiz de Fora 3
Lahore 3
Lancaster 3
New Bedfont 3
Newark 3
Shanghai 3
Treviso 3
Turku 3
Vancouver 3
Verona 3
Zurich 3
Belo Horizonte 2
Bogotá 2
Bologna 2
Totale 1.742
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Speculative Execution Combinations 152
Computationally Bounded Robust Compilation and Universally Composable Security 133
Secure Compilation and Hyperproperty Preservation 113
Universal Composability Is Robust Compilation 110
Exorcising Spectres with Secure Compilers 108
Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks 103
On the semantic expressiveness of recursive types 102
On the Semantic Expressiveness of Iso- and Equi-Recursive Types 101
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 97
Parametricity versus the universal type 94
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 92
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 91
Modular Information Flow Through Ownership 91
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 90
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 90
Fully-abstract compilation by approximate back-translation 87
Robustly Safe Compilation, an Efficient Form of Secure Compilation 85
Two Parametricities Versus Three Universal Types 82
Type-directed scheduling of streaming accelerators 82
Modular, Fully-abstract Compilation by Approximate Back-translation 81
Trace-Relating Compiler Correctness and Secure Compilation 77
Fully abstract trace semantics for protected module architectures 76
Secure Compilation of Object-Oriented Components to Protected Module Architectures 75
Ownership Types for the Join Calculus 74
Robust Safety for Move 73
A High-Level Model for an Assembly Language Attacker by Means of Reflection 72
On Modular and Fully-Abstract Compilation 71
A Secure Compiler for ML Modules 71
Operational semantics for secure interoperation 69
Fully abstract trace semantics for low-level isolation mechanisms 67
Implementing a secure abstract machine 66
Secure Compilation to Protected Module Architectures 65
Robustly Safe Compilation 64
Robust Constant-Time Cryptography 44
Totale 2.948
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.786
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 19.786
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022159 0 0 0 0 0 0 0 0 61 30 24 44
2022/2023171 26 6 0 3 7 21 5 19 23 1 21 39
2023/2024228 13 14 28 11 37 66 11 4 3 5 8 28
2024/2025479 1 5 4 117 13 52 27 15 47 108 37 53
2025/20261.384 124 32 205 246 94 115 221 16 95 125 61 50
2026/2027527 35 109 195 188 0 0 0 0 0 0 0 0
Totale 2.948