IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.972
NA - Nord America 3.737
AS - Asia 1.625
SA - Sud America 384
AF - Africa 31
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 9
Totale 9.773
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.650
RU - Federazione Russa 2.257
IT - Italia 515
SG - Singapore 506
CN - Cina 444
BR - Brasile 346
SE - Svezia 235
HK - Hong Kong 178
UA - Ucraina 174
IE - Irlanda 170
DE - Germania 169
TR - Turchia 146
GB - Regno Unito 140
VN - Vietnam 104
IL - Israele 80
BG - Bulgaria 76
CA - Canada 73
FR - Francia 62
KR - Corea 52
IN - India 49
BE - Belgio 32
NL - Olanda 25
AT - Austria 23
RS - Serbia 20
FI - Finlandia 19
AR - Argentina 18
EU - Europa 14
EC - Ecuador 12
IQ - Iraq 12
MX - Messico 11
BD - Bangladesh 10
KE - Kenya 10
AU - Australia 8
HU - Ungheria 8
DK - Danimarca 6
LT - Lituania 6
ZA - Sudafrica 6
GR - Grecia 5
IR - Iran 5
PK - Pakistan 5
RO - Romania 5
CH - Svizzera 4
ES - Italia 4
MA - Marocco 4
MY - Malesia 4
NO - Norvegia 4
PL - Polonia 4
SA - Arabia Saudita 4
AZ - Azerbaigian 3
ID - Indonesia 3
JP - Giappone 3
KZ - Kazakistan 3
SI - Slovenia 3
AO - Angola 2
CO - Colombia 2
EG - Egitto 2
ET - Etiopia 2
JO - Giordania 2
PA - Panama 2
PE - Perù 2
PH - Filippine 2
UY - Uruguay 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
BO - Bolivia 1
CI - Costa d'Avorio 1
CL - Cile 1
CR - Costa Rica 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GA - Gabon 1
HR - Croazia 1
IS - Islanda 1
KG - Kirghizistan 1
KW - Kuwait 1
LK - Sri Lanka 1
NG - Nigeria 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
TH - Thailandia 1
TM - Turkmenistan 1
Totale 9.773
Salva come PNG Salva come JPEG
Città #
Ashburn 822
Moscow 526
Chandler 465
Jacksonville 351
Singapore 327
Beijing 237
San Mateo 234
Boardman 231
Dublin 168
Hong Kong 118
Milan 94
Dong Ket 93
Hefei 90
Wilmington 84
Tel Aviv 80
Kocaeli 78
Sofia 76
Council Bluffs 71
São Paulo 71
Shanghai 69
Ann Arbor 67
Andover 66
Lawrence 65
Los Angeles 65
Princeton 65
New York 64
Istanbul 60
Rome 54
Seoul 50
London 47
Ottawa 44
Ogden 42
Munich 37
The Dalles 35
Columbus 30
Houston 30
Florence 26
Atlanta 25
Chicago 25
Brussels 22
Pisa 21
Woodbridge 21
Dallas 19
Seattle 17
Belgrade 16
Naaldwijk 14
Düsseldorf 13
Genoa 13
Redwood City 13
Vienna 13
Fairfield 12
Rio de Janeiro 12
Santa Clara 12
Toronto 12
Nuremberg 11
Quito 11
Helsinki 10
Belo Horizonte 9
Bologna 9
Nairobi 9
Turku 9
Assago 8
Bolzaneto 8
Brooklyn 8
Budapest 8
Livorno 8
Lucca 8
Stockholm 8
Lavagna 7
Nanjing 7
Aachen 6
Brasília 6
Frankfurt am Main 6
Goiânia 6
Lauterbourg 6
Leinì 6
Verona 6
Villongo 6
Civitavecchia 5
Jinan 5
Johannesburg 5
Leuven 5
Lund 5
Mexico City 5
Philadelphia 5
Redmond 5
Salvador 5
Serra 5
Siena 5
Torino 5
Almere Stad 4
Baghdad 4
Curitiba 4
Gunzenhausen 4
Ho Chi Minh City 4
Las Vegas 4
Montreal 4
Montréal 4
Naples 4
Padova 4
Totale 5.698
Salva come PNG Salva come JPEG
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 241
A context-oriented extension of F# 196
A type language for message passing component-based systems 190
A brief tour of formally secure compilation 189
Here you can't: context-aware security 185
MUAC: Access control language for mutual benefits 176
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 175
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 170
An Abstract Interpretation Framework for Type and Effect Systems 167
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 164
Safe adaptation through implicit effect coercion 161
Where Do Your IoT Ingredients Come From? 159
From firewalls to functions and back 159
A Two-Component Language for COP 157
A semantics for disciplined concurrency in COP 157
Checking the Expressivity of Firewall Languages 157
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 156
A Two-Phase Static Analysis for Reliable Adaptation 155
Formalising Security in Ubiquitous and Cloud Scenarios 154
Security in Pervasive Applications: A Survey 154
Control-flow flattening preserves the constant-time policy 154
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 151
Typing context-dependent behavioural variations 150
A theory of transaction parallelism in blockchains 150
A Step Towards Checking Security in IoT 149
From Natural Projection to Partial Model Checking and Back 147
Private-Yet-Verifiable Contact Tracing 144
Securing IoT communications: at what cost? 143
Linguistic Mechanisms for Context-Aware Security 143
Context-aware security: Linguistic mechanisms and static analysis 143
FWS: Analyzing, maintaining and transcompiling firewalls 142
Types for Coordinating Secure Behavioural Variations 141
Are all firewall systems equally powerful? 141
Can my Firewall System Enforce this Policy? 141
Typing Context-Dependent Behavioural Variation 135
Firewall Management With FireWall Synthesizer 135
Using standard typing algorithms incrementally 135
The cost of securing IoT communications 132
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 131
Event-driven adaptation in COP 130
Last Mile’s Resources 119
Measuring security in IoT communications 118
Experimenting with a Context-Aware Language 115
Robust Declassification by Incremental Typing 114
Transcompiling firewalls 114
Language-Independent Synthesis of Firewall Policies 112
A Minimal Core Calculus for Solidity Contracts 112
Analysing the Provenance of IoT Data 111
Framework, Tools and Good Practices for Cybersecurity Curricula 109
IFCIL: An Information Flow Configuration Language for SELinux 108
Programming in a context-aware language 106
Revealing the trajectories of KLAIM tuples, statically 104
Towards effective preservation of robust safety properties 103
Systems Security Modeling and Analysis at IMT Lucca 103
Tool Supported Analysis of IoT 103
Tracking sensitive and untrustworthy data in IoT 103
Formally verifying security protocols built on watermarking and jamming 102
Tracking data trajectories in IoT 101
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 101
A True Concurrent Model of Smart Contracts Executions 98
Tracing where IoT data are collected and aggregated 96
Software security: The language approach 96
A type language for distributed reactive components governed by communication protocols 95
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 94
A Policy Framework for Regulating External Calls in Smart Contracts 93
Resilience of Hybrid Casper under varying values of parameters 93
Mechanical incrementalization of typing algorithms 90
Security Metrics at Work on the Things in IoT Systems 87
A Netting Protocol for Liquidity-saving Automated Market Makers 86
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 86
Modelling and analysing IoT systems 81
A Logic for Policy Based Resource Exchanges in Multiagent Systems 80
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 76
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 72
Specifying and Verifying Information Flow Control in SELinux Configurations 71
28th International Conference on Principles of Distributed Systems 60
Explainable Ponzi Schemes Detection on Ethereum 58
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 57
Risk Estimation in IoT Systems 52
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 15
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 13
Natural Projection as Partial Model Checking 9
Totale 9.975
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.219
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 49.219
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20255.096 66 113 135 356 90 557 1.015 265 473 568 1.110 348
2025/202679 79 0 0 0 0 0 0 0 0 0 0 0
Totale 9.975