IRIS
Patrignani, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 961
AS - Asia 642
EU - Europa 387
SA - Sud America 195
AF - Africa 23
OC - Oceania 1
Totale 2.209
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 935
SG - Singapore 235
BR - Brasile 163
CN - Cina 121
VN - Vietnam 111
IT - Italia 91
RU - Federazione Russa 88
HK - Hong Kong 45
GB - Regno Unito 41
KR - Corea 38
FR - Francia 35
LV - Lettonia 33
SE - Svezia 33
AR - Argentina 16
ID - Indonesia 15
IN - India 15
FI - Finlandia 14
IQ - Iraq 14
DE - Germania 13
MX - Messico 11
CA - Canada 10
BD - Bangladesh 9
TR - Turchia 8
NL - Olanda 7
PK - Pakistan 7
AT - Austria 6
ES - Italia 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
EG - Egitto 2
IE - Irlanda 2
KZ - Kazakistan 2
NP - Nepal 2
OM - Oman 2
PH - Filippine 2
SA - Arabia Saudita 2
TN - Tunisia 2
TW - Taiwan 2
UZ - Uzbekistan 2
AL - Albania 1
AU - Australia 1
BG - Bulgaria 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
IL - Israele 1
JO - Giordania 1
LT - Lituania 1
MY - Malesia 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SV - El Salvador 1
TH - Thailandia 1
Totale 2.209
Salva come PNG Salva come JPEG
Città #
Singapore 139
Ashburn 137
San Jose 89
Dallas 72
Columbus 58
Princeton 50
Trento 41
Moscow 39
Seoul 38
Hong Kong 37
Los Angeles 34
Santa Clara 34
Riga 33
Beijing 31
Ho Chi Minh City 31
Hanoi 29
Chandler 28
The Dalles 28
Lauterbourg 27
New York 24
Washington 19
Chicago 18
São Paulo 18
Council Bluffs 16
Buffalo 15
Salt Lake City 14
Fairfield 13
Jakarta 13
Como 10
Houston 10
Redondo Beach 10
Helsinki 9
London 9
San Diego 8
Cambridge 7
Da Nang 7
Haiphong 7
Tampa 7
Hefei 6
Kilburn 6
Addis Ababa 5
Biên Hòa 5
Boardman 5
Milan 5
Orem 5
Ribeirão Preto 5
Rio de Janeiro 5
Rome 5
Warsaw 5
Wilmington 5
Xi'an 5
Amsterdam 4
Baghdad 4
Chaozhou 4
Dhaka 4
Elk Grove Village 4
Miami 4
Nuremberg 4
Poplar 4
Stockholm 4
Ann Arbor 3
Atlanta 3
Basra 3
Brooklyn 3
Curitiba 3
Erbil 3
Frankfurt am Main 3
Guangzhou 3
Hải Dương 3
Juiz de Fora 3
Lahore 3
Mexico City 3
Montreal 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
Cleveland 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
Jaú 2
Johannesburg 2
Lajeado 2
Totale 1.412
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Speculative Execution Combinations 125
Computationally Bounded Robust Compilation and Universally Composable Security 99
Secure Compilation and Hyperproperty Preservation 94
Exorcising Spectres with Secure Compilers 88
Universal Composability Is Robust Compilation 87
Parametricity versus the universal type 83
Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks 79
On the Semantic Expressiveness of Iso- and Equi-Recursive Types 79
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code 77
Modular Information Flow Through Ownership 76
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle 74
Formal Approaches to Secure Compilation: {A} Survey of Fully Abstract Compilation and Related Work 73
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation 73
Two Parametricities Versus Three Universal Types 68
Robustly Safe Compilation, an Efficient Form of Secure Compilation 68
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation 67
Type-directed scheduling of streaming accelerators 67
Modular, Fully-abstract Compilation by Approximate Back-translation 65
Trace-Relating Compiler Correctness and Secure Compilation 64
On the semantic expressiveness of recursive types 64
Fully-abstract compilation by approximate back-translation 63
Fully abstract trace semantics for protected module architectures 61
Ownership Types for the Join Calculus 59
A Secure Compiler for ML Modules 58
Fully abstract trace semantics for low-level isolation mechanisms 58
Secure Compilation of Object-Oriented Components to Protected Module Architectures 55
A High-Level Model for an Assembly Language Attacker by Means of Reflection 55
Implementing a secure abstract machine 54
Operational semantics for secure interoperation 53
Robust Safety for Move 52
On Modular and Fully-Abstract Compilation 51
Robustly Safe Compilation 46
Secure Compilation to Protected Module Architectures 45
Robust Constant-Time Cryptography 14
Totale 2.294
Salva come PNG Salva come JPEG
Categoria #
all - tutte 16.357
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 16.357
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.257 124 32 205 246 94 115 221 16 95 109 0 0
Totale 2.294