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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021760 0 0 0 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/20265.051 298 417 1.833 2.503 0 0 0 0 0 0 0 0
Totale 14.947