IRIS
Patrignani, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.050
AS - Asia 654
EU - Europa 416
SA - Sud America 195
AF - Africa 23
OC - Oceania 1
Totale 2.339
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.019
SG - Singapore 236
BR - Brasile 163
CN - Cina 122
IT - Italia 118
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 18
AR - Argentina 16
ID - Indonesia 15
IN - India 15
FI - Finlandia 14
IQ - Iraq 14
DE - Germania 13
CA - Canada 12
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
PL - Polonia 5
ZA - Sudafrica 5
CO - Colombia 4
JP - Giappone 4
MA - Marocco 4
UA - Ucraina 4
CH - Svizzera 3
CL - Cile 3
HN - Honduras 3
PE - Perù 3
AE - Emirati Arabi Uniti 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
AU - Australia 1
BG - Bulgaria 1
CR - Costa Rica 1
HT - Haiti 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
TH - Thailandia 1
Totale 2.339
Salva come PNG Salva come JPEG
Città #
Ashburn 158
Singapore 139
San Jose 97
Dallas 73
Columbus 58
Princeton 50
Trento 41
Moscow 39
Hong Kong 38
Seoul 38
Santa Clara 36
Los Angeles 34
Riga 33
Beijing 32
Ho Chi Minh City 31
New York 31
Hanoi 29
Chandler 28
The Dalles 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
Redondo Beach 10
Helsinki 9
London 9
Milan 9
San Diego 8
Cambridge 7
Da Nang 7
Haiphong 7
Rome 7
Tampa 7
Boardman 6
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
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
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
Istanbul 2
Jaraguá do Sul 2
Totale 1.474
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Speculative Execution Combinations 130
Computationally Bounded Robust Compilation and Universally Composable Security 104
Secure Compilation and Hyperproperty Preservation 96
Exorcising Spectres with Secure Compilers 93
Universal Composability Is Robust Compilation 88
On the semantic expressiveness of recursive types 85
Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks 84
Parametricity versus the universal type 83
On the Semantic Expressiveness of Iso- and Equi-Recursive Types 82
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 81
Modular Information Flow Through Ownership 79
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 78
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 77
Fully-abstract compilation by approximate back-translation 76
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 75
Two Parametricities Versus Three Universal Types 72
Robustly Safe Compilation, an Efficient Form of Secure Compilation 70
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 70
Modular, Fully-abstract Compilation by Approximate Back-translation 69
Type-directed scheduling of streaming accelerators 69
Trace-Relating Compiler Correctness and Secure Compilation 65
Fully abstract trace semantics for protected module architectures 64
Ownership Types for the Join Calculus 61
A Secure Compiler for ML Modules 60
Fully abstract trace semantics for low-level isolation mechanisms 59
A High-Level Model for an Assembly Language Attacker by Means of Reflection 58
Implementing a secure abstract machine 56
Secure Compilation of Object-Oriented Components to Protected Module Architectures 55
On Modular and Fully-Abstract Compilation 55
Operational semantics for secure interoperation 55
Robust Safety for Move 52
Robustly Safe Compilation 49
Secure Compilation to Protected Module Architectures 47
Robust Constant-Time Cryptography 27
Totale 2.424
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.476
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 17.476
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/20273 3 0 0 0 0 0 0 0 0 0 0 0
Totale 2.424