IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.830
NA - Nord America 4.663
AS - Asia 2.200
SA - Sud America 498
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 11
Totale 15.257
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 5.951
US - Stati Uniti d'America 4.543
CN - Cina 755
SG - Singapore 646
IT - Italia 539
BR - Brasile 437
SE - Svezia 249
HK - Hong Kong 183
DE - Germania 181
GB - Regno Unito 176
UA - Ucraina 174
IE - Irlanda 170
TR - Turchia 151
VN - Vietnam 140
CA - Canada 88
IL - Israele 82
BG - Bulgaria 76
FR - Francia 75
IN - India 74
KR - Corea 52
NL - Olanda 34
BE - Belgio 32
FI - Finlandia 28
AT - Austria 27
MX - Messico 26
PL - Polonia 23
AR - Argentina 22
ES - Italia 22
RS - Serbia 21
BD - Bangladesh 20
EC - Ecuador 18
IQ - Iraq 17
JP - Giappone 15
EU - Europa 14
ZA - Sudafrica 12
KE - Kenya 10
AU - Australia 9
HU - Ungheria 8
ID - Indonesia 8
LT - Lituania 8
CO - Colombia 7
PK - Pakistan 7
SA - Arabia Saudita 7
DK - Danimarca 6
RO - Romania 6
CH - Svizzera 5
GR - Grecia 5
IR - Iran 5
PE - Perù 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
VE - Venezuela 1
Totale 15.257
Salva come PNG Salva come JPEG
Città #
Moscow 1.647
Ashburn 905
Dallas 507
Chandler 465
Singapore 358
Jacksonville 351
Beijing 334
Hefei 252
San Mateo 234
Boardman 231
Dublin 168
Hong Kong 123
Los Angeles 101
Milan 98
Dong Ket 93
New York 91
São Paulo 89
Wilmington 84
Tel Aviv 80
Kocaeli 78
Sofia 76
Council Bluffs 75
Shanghai 69
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
Istanbul 61
Rome 57
London 55
Seoul 50
Ottawa 44
Ogden 42
Houston 38
Munich 38
Atlanta 36
The Dalles 35
Chicago 30
Columbus 30
Florence 26
Pisa 23
Brussels 22
Santa Clara 22
Stockholm 22
Warsaw 21
Woodbridge 21
Helsinki 19
Seattle 19
Ho Chi Minh City 18
Belgrade 16
Rio de Janeiro 16
Vienna 16
Brooklyn 15
Denver 14
Naaldwijk 14
Tokyo 14
Chennai 13
Düsseldorf 13
Genoa 13
Mexico City 13
Nuremberg 13
Redwood City 13
Toronto 13
Fairfield 12
Hanoi 12
Poplar 12
Quito 12
Boston 11
Montreal 11
Pesaro 11
Amsterdam 10
Belo Horizonte 10
Bologna 10
Manchester 10
Frankfurt am Main 9
Johannesburg 9
Nairobi 9
Turku 9
Assago 8
Bolzaneto 8
Budapest 8
Livorno 8
Lucca 8
Orem 8
Brasília 7
Lavagna 7
Nanjing 7
San Francisco 7
Aachen 6
Ankara 6
Curitiba 6
Goiânia 6
Lauterbourg 6
Leinì 6
Miami 6
Mumbai 6
Philadelphia 6
Phoenix 6
Salvador 6
San Jose 6
Totale 8.002
Salva come PNG Salva come JPEG
Nome #
28th International Conference on Principles of Distributed Systems 383
Securing Interruptible Enclaved Execution on Small Microprocessors 295
A brief tour of formally secure compilation 273
A type language for message passing component-based systems 273
A context-oriented extension of F# 266
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 248
MUAC: Access control language for mutual benefits 247
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 245
A Two-Phase Static Analysis for Reliable Adaptation 245
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 244
An Abstract Interpretation Framework for Type and Effect Systems 243
Here you can't: context-aware security 240
Checking the Expressivity of Firewall Languages 232
A Step Towards Checking Security in IoT 231
Where Do Your IoT Ingredients Come From? 230
A Two-Component Language for COP 228
A semantics for disciplined concurrency in COP 227
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 226
A theory of transaction parallelism in blockchains 226
From firewalls to functions and back 223
Safe adaptation through implicit effect coercion 213
Security in Pervasive Applications: A Survey 212
Can my Firewall System Enforce this Policy? 212
Control-flow flattening preserves the constant-time policy 210
FWS: Analyzing, maintaining and transcompiling firewalls 210
Private-Yet-Verifiable Contact Tracing 209
Formalising Security in Ubiquitous and Cloud Scenarios 208
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 203
Are all firewall systems equally powerful? 202
Types for Coordinating Secure Behavioural Variations 201
Firewall Management With FireWall Synthesizer 198
From Natural Projection to Partial Model Checking and Back 198
Linguistic Mechanisms for Context-Aware Security 197
Context-aware security: Linguistic mechanisms and static analysis 196
Typing context-dependent behavioural variations 195
Event-driven adaptation in COP 194
Securing IoT communications: at what cost? 193
Using standard typing algorithms incrementally 192
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 190
Last Mile’s Resources 187
Typing Context-Dependent Behavioural Variation 187
A Minimal Core Calculus for Solidity Contracts 185
Systems Security Modeling and Analysis at IMT Lucca 182
Formally verifying security protocols built on watermarking and jamming 180
IFCIL: An Information Flow Configuration Language for SELinux 179
The cost of securing IoT communications 179
A type language for distributed reactive components governed by communication protocols 178
A Policy Framework for Regulating External Calls in Smart Contracts 177
Measuring security in IoT communications 174
A True Concurrent Model of Smart Contracts Executions 172
Towards effective preservation of robust safety properties 169
Experimenting with a Context-Aware Language 169
Robust Declassification by Incremental Typing 167
Language-Independent Synthesis of Firewall Policies 166
A Netting Protocol for Liquidity-saving Automated Market Makers 165
Programming in a context-aware language 163
Transcompiling firewalls 163
Tracking sensitive and untrustworthy data in IoT 163
Tool Supported Analysis of IoT 161
Framework, Tools and Good Practices for Cybersecurity Curricula 161
Software security: The language approach 158
Analysing the Provenance of IoT Data 158
Tracking data trajectories in IoT 156
A Logic for Policy Based Resource Exchanges in Multiagent Systems 155
Tracing where IoT data are collected and aggregated 155
Revealing the trajectories of KLAIM tuples, statically 154
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 153
Resilience of Hybrid Casper under varying values of parameters 153
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 149
Mechanical incrementalization of typing algorithms 149
Specifying and Verifying Information Flow Control in SELinux Configurations 142
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 138
Security Metrics at Work on the Things in IoT Systems 137
Explainable Ponzi Schemes Detection on Ethereum 134
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 133
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 133
Modelling and analysing IoT systems 132
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 125
Risk Estimation in IoT Systems 109
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 107
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 98
Welcome back: a systematic literature review of smart contract reentrancy and countermeasures 40
Natural Projection as Partial Model Checking 9
Totale 15.462
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.740
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 61.740
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021722 0 0 0 0 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.566 298 417 1.833 2.836 182 0 0 0 0 0 0 0
Totale 15.462