IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.160
EU - Europa 3.065
AS - Asia 1.202
SA - Sud America 206
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 9
Totale 7.677
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.091
RU - Federazione Russa 1.495
IT - Italia 497
SG - Singapore 342
CN - Cina 317
SE - Svezia 228
BR - Brasile 181
HK - Hong Kong 172
UA - Ucraina 172
IE - Irlanda 170
TR - Turchia 139
DE - Germania 120
GB - Regno Unito 120
VN - Vietnam 93
BG - Bulgaria 76
CA - Canada 64
KR - Corea 52
IN - India 43
FR - Francia 34
BE - Belgio 32
NL - Olanda 24
AT - Austria 23
RS - Serbia 19
EU - Europa 14
EC - Ecuador 11
AR - Argentina 9
FI - Finlandia 9
AU - Australia 8
HU - Ungheria 8
IQ - Iraq 8
KE - Kenya 7
DK - Danimarca 6
GR - Grecia 5
IR - Iran 5
LT - Lituania 5
CH - Svizzera 4
MY - Malesia 4
NO - Norvegia 4
AZ - Azerbaigian 3
BD - Bangladesh 3
ES - Italia 3
ID - Indonesia 3
RO - Romania 3
SI - Slovenia 3
AO - Angola 2
EG - Egitto 2
ET - Etiopia 2
JP - Giappone 2
KZ - Kazakistan 2
MA - Marocco 2
MX - Messico 2
PA - Panama 2
PE - Perù 2
PH - Filippine 2
PK - Pakistan 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
BO - Bolivia 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GA - Gabon 1
HR - Croazia 1
IS - Islanda 1
JO - Giordania 1
KG - Kirghizistan 1
LK - Sri Lanka 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
TM - Turkmenistan 1
ZA - Sudafrica 1
Totale 7.677
Salva come PNG Salva come JPEG
Città #
Chandler 465
Ashburn 417
Jacksonville 350
San Mateo 234
Boardman 231
Beijing 191
Dublin 168
Singapore 164
Moscow 132
Hong Kong 112
Dong Ket 93
Milan 93
Wilmington 84
Kocaeli 78
Sofia 76
Council Bluffs 70
Shanghai 69
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
New York 62
São Paulo 62
Istanbul 58
Los Angeles 58
Rome 54
Seoul 50
Ottawa 44
London 43
Ogden 42
Houston 28
Florence 26
Chicago 25
Brussels 22
Pisa 21
Woodbridge 21
Atlanta 20
Dallas 17
Seattle 16
Belgrade 15
Naaldwijk 14
Redwood City 13
Vienna 13
Fairfield 12
Genoa 12
Quito 11
Toronto 11
Bologna 9
Hefei 9
Nuremberg 9
Santa Clara 9
Bolzaneto 8
Budapest 8
Helsinki 8
Livorno 8
Lavagna 7
Lucca 7
Nairobi 7
Nanjing 7
The Dalles 7
Aachen 6
Leinì 6
Rio de Janeiro 6
Verona 6
Villongo 6
Civitavecchia 5
Jinan 5
Leuven 5
Lund 5
Philadelphia 5
Redmond 5
Siena 5
Torino 5
Almere Stad 4
Gunzenhausen 4
Las Vegas 4
Montréal 4
Munich 4
Naples 4
Padova 4
Poli 4
Prezzo 4
Serra 4
Tappahannock 4
Albignasego 3
Baku 3
Cambridge 3
Capannori 3
Casole d'Elsa 3
Castelletto 3
Clifton 3
Düsseldorf 3
Frankfurt am Main 3
Goiânia 3
Guangzhou 3
Guarulhos 3
Hanover 3
Henderson 3
Højbjerg 3
Massa 3
Totale 4.325
Salva come PNG Salva come JPEG
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 212
A context-oriented extension of F# 170
Here you can't: context-aware security 162
A type language for message passing component-based systems 160
A brief tour of formally secure compilation 159
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 149
MUAC: Access control language for mutual benefits 148
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 144
An Abstract Interpretation Framework for Type and Effect Systems 139
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 139
A Two-Component Language for COP 135
A Two-Phase Static Analysis for Reliable Adaptation 133
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 133
Where Do Your IoT Ingredients Come From? 132
From firewalls to functions and back 132
Checking the Expressivity of Firewall Languages 131
Control-flow flattening preserves the constant-time policy 131
Formalising Security in Ubiquitous and Cloud Scenarios 130
Security in Pervasive Applications: A Survey 130
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 130
Safe adaptation through implicit effect coercion 128
A semantics for disciplined concurrency in COP 126
Typing context-dependent behavioural variations 123
A Step Towards Checking Security in IoT 120
Securing IoT communications: at what cost? 119
From Natural Projection to Partial Model Checking and Back 119
A theory of transaction parallelism in blockchains 119
Linguistic Mechanisms for Context-Aware Security 118
Context-aware security: Linguistic mechanisms and static analysis 118
Are all firewall systems equally powerful? 118
Types for Coordinating Secure Behavioural Variations 117
Private-Yet-Verifiable Contact Tracing 117
FWS: Analyzing, maintaining and transcompiling firewalls 117
Typing Context-Dependent Behavioural Variation 112
Can my Firewall System Enforce this Policy? 112
Firewall Management With FireWall Synthesizer 110
The cost of securing IoT communications 109
Event-driven adaptation in COP 107
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 106
Using standard typing algorithms incrementally 105
Last Mile’s Resources 93
Experimenting with a Context-Aware Language 92
Transcompiling firewalls 88
Language-Independent Synthesis of Firewall Policies 86
Measuring security in IoT communications 86
Analysing the Provenance of IoT Data 84
Framework, Tools and Good Practices for Cybersecurity Curricula 84
Programming in a context-aware language 83
Tracking sensitive and untrustworthy data in IoT 82
A Minimal Core Calculus for Solidity Contracts 81
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 81
Tool Supported Analysis of IoT 80
Robust Declassification by Incremental Typing 79
Revealing the trajectories of KLAIM tuples, statically 79
Tracking data trajectories in IoT 76
IFCIL: An Information Flow Configuration Language for SELinux 75
null 75
Tracing where IoT data are collected and aggregated 74
Towards effective preservation of robust safety properties 73
A True Concurrent Model of Smart Contracts Executions 73
Resilience of Hybrid Casper under varying values of parameters 69
Systems Security Modeling and Analysis at IMT Lucca 67
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 67
Mechanical incrementalization of typing algorithms 67
A Policy Framework for Regulating External Calls in Smart Contracts 66
A type language for distributed reactive components governed by communication protocols 65
Software security: The language approach 65
Security Metrics at Work on the Things in IoT Systems 63
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 63
Modelling and analysing IoT systems 57
A Logic for Policy Based Resource Exchanges in Multiagent Systems 56
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 52
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 51
A Netting Protocol for Liquidity-saving Automated Market Makers 50
Specifying and Verifying Information Flow Control in SELinux Configurations 44
28th International Conference on Principles of Distributed Systems 33
Risk Estimation in IoT Systems 31
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 30
Explainable Ponzi Schemes Detection on Ethereum 23
Natural Projection as Partial Model Checking 9
Totale 7.871
Salva come PNG Salva come JPEG
Categoria #
all - tutte 38.121
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 38.121
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020202 0 0 0 0 0 0 0 0 0 72 66 64
2020/2021945 98 26 61 38 17 48 71 9 139 184 54 200
2021/2022816 150 4 64 18 61 23 180 93 27 25 124 47
2022/20231.267 174 76 31 166 116 148 13 86 190 58 190 19
2023/2024881 81 64 87 56 85 34 93 17 70 121 70 103
2024/20253.071 66 113 135 356 90 557 1.015 265 473 1 0 0
Totale 7.871