IRIS
Patrignani, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.080
AS - Asia 661
EU - Europa 433
SA - Sud America 195
Continente sconosciuto - Info sul continente non disponibili 85
AF - Africa 23
OC - Oceania 1
Totale 2.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.045
SG - Singapore 239
BR - Brasile 163
IT - Italia 134
CN - Cina 123
VN - Vietnam 111
RU - Federazione Russa 88
HK - Hong Kong 46
GB - Regno Unito 41
KR - Corea 38
FR - Francia 35
LV - Lettonia 33
SE - Svezia 33
BD - Bangladesh 19
AR - Argentina 16
ID - Indonesia 15
IN - India 15
CA - Canada 14
FI - Finlandia 14
IQ - Iraq 14
DE - Germania 13
MX - Messico 12
TR - Turchia 8
ES - Italia 7
NL - Olanda 7
PK - Pakistan 7
AT - Austria 6
DZ - Algeria 5
EC - Ecuador 5
ET - Etiopia 5
JP - Giappone 5
PL - Polonia 5
ZA - Sudafrica 5
CO - Colombia 4
MA - Marocco 4
UA - Ucraina 4
CH - Svizzera 3
CL - Cile 3
HN - Honduras 3
PE - Perù 3
AE - Emirati Arabi Uniti 2
CR - Costa Rica 2
CZ - Repubblica Ceca 2
EG - Egitto 2
IE - Irlanda 2
KZ - Kazakistan 2
NP - Nepal 2
OM - Oman 2
PH - Filippine 2
SA - Arabia Saudita 2
SV - El Salvador 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
AL - Albania 1
AM - Armenia 1
AU - Australia 1
BG - Bulgaria 1
DK - Danimarca 1
HT - Haiti 1
IL - Israele 1
JM - Giamaica 1
JO - Giordania 1
LT - Lituania 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TH - Thailandia 1
Totale 2.393
Salva come PNG Salva come JPEG
Città #
Ashburn 161
Singapore 142
San Jose 97
Dallas 73
Columbus 66
Princeton 50
Trento 41
Santa Clara 40
Moscow 39
Hong Kong 38
Seoul 38
Los Angeles 34
Riga 33
Beijing 32
Ho Chi Minh City 31
New York 31
Hanoi 29
The Dalles 29
Chandler 28
Lauterbourg 27
Council Bluffs 21
Washington 19
Chicago 18
São Paulo 18
Buffalo 16
Salt Lake City 14
Fairfield 13
Jakarta 13
Como 10
Houston 10
Milan 10
Redondo Beach 10
Helsinki 9
London 9
Rome 9
San Diego 8
Boardman 7
Cambridge 7
Da Nang 7
Haiphong 7
Tampa 7
Hefei 6
Kilburn 6
Addis Ababa 5
Biên Hòa 5
Miami 5
Miano 5
Orem 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
Mexico City 4
Montreal 4
Nuremberg 4
Poplar 4
Ridgefield 4
Stockholm 4
Ann Arbor 3
Atlanta 3
Basra 3
Brooklyn 3
Cleveland 3
Curitiba 3
Erbil 3
Frankfurt am Main 3
Guangzhou 3
Hải Dương 3
Juiz de Fora 3
Lahore 3
Las Vegas 3
New Bedfont 3
Santiago 3
Seattle 3
Shanghai 3
Treviso 3
Turku 3
Verona 3
Zurich 3
Belo Horizonte 2
Bogotá 2
Boston 2
Brasília 2
Cairo 2
Casablanca 2
Charlotte 2
Curvelo 2
Dalian 2
Dublin 2
Florianópolis 2
Goiânia 2
Guadalajara 2
Guaíba 2
Indore 2
Totale 1.500
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Speculative Execution Combinations 131
Computationally Bounded Robust Compilation and Universally Composable Security 109
Secure Compilation and Hyperproperty Preservation 97
Exorcising Spectres with Secure Compilers 93
Universal Composability Is Robust Compilation 92
On the semantic expressiveness of recursive types 88
Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks 85
On the Semantic Expressiveness of Iso- and Equi-Recursive Types 85
Parametricity versus the universal type 84
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 82
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 80
Modular Information Flow Through Ownership 80
Fully-abstract compilation by approximate back-translation 77
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 77
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 76
Two Parametricities Versus Three Universal Types 74
Modular, Fully-abstract Compilation by Approximate Back-translation 73
Robustly Safe Compilation, an Efficient Form of Secure Compilation 71
Type-directed scheduling of streaming accelerators 71
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 70
Trace-Relating Compiler Correctness and Secure Compilation 67
Fully abstract trace semantics for protected module architectures 64
Ownership Types for the Join Calculus 62
On Modular and Fully-Abstract Compilation 60
A Secure Compiler for ML Modules 60
Fully abstract trace semantics for low-level isolation mechanisms 60
A High-Level Model for an Assembly Language Attacker by Means of Reflection 59
Implementing a secure abstract machine 56
Operational semantics for secure interoperation 56
Secure Compilation of Object-Oriented Components to Protected Module Architectures 55
Robust Safety for Move 54
Robustly Safe Compilation 53
Secure Compilation to Protected Module Architectures 49
Robust Constant-Time Cryptography 28
Totale 2.478
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.199
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 18.199
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/202757 35 22 0 0 0 0 0 0 0 0 0 0
Totale 2.478