IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.861
NA - Nord America 4.852
AS - Asia 2.251
SA - Sud America 509
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 11
Totale 15.540
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 5.954
US - Stati Uniti d'America 4.727
CN - Cina 760
SG - Singapore 654
IT - Italia 548
BR - Brasile 444
SE - Svezia 251
HK - Hong Kong 186
GB - Regno Unito 183
DE - Germania 181
UA - Ucraina 174
IE - Irlanda 170
VN - Vietnam 155
TR - Turchia 153
CA - Canada 91
IL - Israele 82
IN - India 81
BG - Bulgaria 76
FR - Francia 76
KR - Corea 52
NL - Olanda 36
BE - Belgio 32
FI - Finlandia 28
MX - Messico 28
AT - Austria 27
PL - Polonia 27
ES - Italia 25
AR - Argentina 23
BD - Bangladesh 21
IQ - Iraq 21
RS - Serbia 21
EC - Ecuador 18
JP - Giappone 17
EU - Europa 14
ZA - Sudafrica 12
KE - Kenya 10
AU - Australia 9
CO - Colombia 9
ID - Indonesia 9
HU - Ungheria 8
LT - Lituania 8
PK - Pakistan 7
SA - Arabia Saudita 7
DK - Danimarca 6
RO - Romania 6
CH - Svizzera 5
GR - Grecia 5
IR - Iran 5
NP - Nepal 5
PE - Perù 5
UZ - Uzbekistan 5
KZ - Kazakistan 4
MA - Marocco 4
MY - Malesia 4
NO - Norvegia 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
JO - Giordania 3
SI - Slovenia 3
UY - Uruguay 3
AO - Angola 2
BO - Bolivia 2
CY - Cipro 2
DO - Repubblica Dominicana 2
EG - Egitto 2
ET - Etiopia 2
LB - Libano 2
PA - Panama 2
PH - Filippine 2
PY - Paraguay 2
TH - Thailandia 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
AM - Armenia 1
BF - Burkina Faso 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
TG - Togo 1
TL - Timor Orientale 1
TM - Turkmenistan 1
TN - Tunisia 1
Totale 15.539
Salva come PNG Salva come JPEG
Città #
Moscow 1.647
Ashburn 987
Dallas 508
Chandler 465
Singapore 366
Jacksonville 351
Beijing 334
Hefei 252
San Mateo 234
Boardman 232
Dublin 168
Hong Kong 126
Los Angeles 108
New York 102
Milan 98
Dong Ket 93
São Paulo 92
Wilmington 84
Tel Aviv 80
Kocaeli 78
Council Bluffs 77
Sofia 76
Shanghai 69
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
Istanbul 61
Rome 59
London 57
Seoul 50
Ottawa 44
Houston 42
Ogden 42
Munich 38
Atlanta 37
The Dalles 35
Chicago 30
Columbus 30
Florence 26
Orem 25
Santa Clara 24
Stockholm 24
Warsaw 24
Pisa 23
Brussels 22
Ho Chi Minh City 22
Woodbridge 21
Denver 20
Helsinki 19
Seattle 19
Chennai 18
Belgrade 16
Brooklyn 16
Rio de Janeiro 16
Tokyo 16
Vienna 16
Mexico City 15
Poplar 15
Boston 14
Hanoi 14
Naaldwijk 14
Toronto 14
Düsseldorf 13
Genoa 13
Montreal 13
Nuremberg 13
Redwood City 13
Fairfield 12
Quito 12
Amsterdam 11
Manchester 11
Pesaro 11
Belo Horizonte 10
Bologna 10
Frankfurt am Main 9
Johannesburg 9
Nairobi 9
San Jose 9
Turku 9
Ankara 8
Assago 8
Bolzaneto 8
Budapest 8
Livorno 8
Lucca 8
Brasília 7
Lavagna 7
Mumbai 7
Nanjing 7
San Francisco 7
Aachen 6
Baghdad 6
Charlotte 6
Curitiba 6
Goiânia 6
Lauterbourg 6
Leinì 6
Miami 6
Philadelphia 6
Totale 8.192
Salva come PNG Salva come JPEG
Nome #
28th International Conference on Principles of Distributed Systems 390
Securing Interruptible Enclaved Execution on Small Microprocessors 296
A brief tour of formally secure compilation 276
A type language for message passing component-based systems 275
A context-oriented extension of F# 270
MUAC: Access control language for mutual benefits 252
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 251
An Abstract Interpretation Framework for Type and Effect Systems 248
A Two-Phase Static Analysis for Reliable Adaptation 248
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 248
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 247
Here you can't: context-aware security 245
Checking the Expressivity of Firewall Languages 237
A Step Towards Checking Security in IoT 236
Where Do Your IoT Ingredients Come From? 233
A Two-Component Language for COP 230
A semantics for disciplined concurrency in COP 230
A theory of transaction parallelism in blockchains 230
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 229
From firewalls to functions and back 227
Safe adaptation through implicit effect coercion 216
FWS: Analyzing, maintaining and transcompiling firewalls 216
Can my Firewall System Enforce this Policy? 216
Security in Pervasive Applications: A Survey 215
Private-Yet-Verifiable Contact Tracing 212
Control-flow flattening preserves the constant-time policy 211
Formalising Security in Ubiquitous and Cloud Scenarios 209
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 207
Are all firewall systems equally powerful? 205
Types for Coordinating Secure Behavioural Variations 203
Firewall Management With FireWall Synthesizer 201
From Natural Projection to Partial Model Checking and Back 200
Linguistic Mechanisms for Context-Aware Security 198
Securing IoT communications: at what cost? 197
Context-aware security: Linguistic mechanisms and static analysis 197
Event-driven adaptation in COP 196
Typing context-dependent behavioural variations 196
Using standard typing algorithms incrementally 196
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 196
Systems Security Modeling and Analysis at IMT Lucca 193
Last Mile’s Resources 189
Typing Context-Dependent Behavioural Variation 188
A Minimal Core Calculus for Solidity Contracts 188
IFCIL: An Information Flow Configuration Language for SELinux 185
A Policy Framework for Regulating External Calls in Smart Contracts 183
The cost of securing IoT communications 183
A type language for distributed reactive components governed by communication protocols 182
Formally verifying security protocols built on watermarking and jamming 182
Measuring security in IoT communications 178
A True Concurrent Model of Smart Contracts Executions 176
Towards effective preservation of robust safety properties 174
A Netting Protocol for Liquidity-saving Automated Market Makers 172
Experimenting with a Context-Aware Language 171
Language-Independent Synthesis of Firewall Policies 169
Robust Declassification by Incremental Typing 168
Tracking sensitive and untrustworthy data in IoT 167
Transcompiling firewalls 166
Framework, Tools and Good Practices for Cybersecurity Curricula 166
Programming in a context-aware language 165
Tool Supported Analysis of IoT 162
Software security: The language approach 160
Analysing the Provenance of IoT Data 159
A Logic for Policy Based Resource Exchanges in Multiagent Systems 157
Tracing where IoT data are collected and aggregated 157
Tracking data trajectories in IoT 157
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 156
Revealing the trajectories of KLAIM tuples, statically 156
Resilience of Hybrid Casper under varying values of parameters 156
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 154
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 152
Mechanical incrementalization of typing algorithms 150
Specifying and Verifying Information Flow Control in SELinux Configurations 147
Explainable Ponzi Schemes Detection on Ethereum 141
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 139
Security Metrics at Work on the Things in IoT Systems 138
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 135
Modelling and analysing IoT systems 133
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 128
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 111
Risk Estimation in IoT Systems 111
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 99
Welcome back: a systematic literature review of smart contract reentrancy and countermeasures 48
Natural Projection as Partial Model Checking 9
Totale 15.745
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.067
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 63.067
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021705 0 0 0 0 0 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.849 298 417 1.833 2.836 262 203 0 0 0 0 0 0
Totale 15.745