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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202064 0 0 0 0 0 0 0 0 0 0 0 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/20254.751 66 113 135 356 90 557 1.015 265 473 568 1.110 3
Totale 9.551