IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.271
NA - Nord America 7.996
AS - Asia 2.812
SA - Sud America 597
Continente sconosciuto - Info sul continente non disponibili 288
AF - Africa 72
OC - Oceania 21
Totale 20.057
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.791
RU - Federazione Russa 5.957
CN - Cina 850
SG - Singapore 768
IT - Italia 735
BR - Brasile 484
SE - Svezia 253
VN - Vietnam 250
HK - Hong Kong 237
GB - Regno Unito 234
DE - Germania 195
UA - Ucraina 175
IE - Irlanda 171
FR - Francia 164
TR - Turchia 161
CA - Canada 151
IN - India 125
BD - Bangladesh 93
IL - Israele 86
BG - Bulgaria 77
KR - Corea 55
NL - Olanda 49
AR - Argentina 42
BE - Belgio 35
IQ - Iraq 35
MX - Messico 35
ES - Italia 33
FI - Finlandia 32
AT - Austria 30
PL - Polonia 28
JP - Giappone 22
RS - Serbia 22
AU - Australia 19
EC - Ecuador 19
CO - Colombia 18
SA - Arabia Saudita 18
DK - Danimarca 16
ID - Indonesia 15
ZA - Sudafrica 15
EU - Europa 14
KE - Kenya 13
HU - Ungheria 11
PK - Pakistan 11
MA - Marocco 10
MY - Malesia 10
PH - Filippine 9
RO - Romania 9
UZ - Uzbekistan 9
LT - Lituania 8
NP - Nepal 8
VE - Venezuela 8
ET - Etiopia 7
GR - Grecia 7
CL - Cile 6
JO - Giordania 6
PE - Perù 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
IR - Iran 5
PT - Portogallo 5
PY - Paraguay 5
AL - Albania 4
AZ - Azerbaigian 4
KZ - Kazakistan 4
NO - Norvegia 4
PA - Panama 4
TH - Thailandia 4
UY - Uruguay 4
BO - Bolivia 3
EG - Egitto 3
LB - Libano 3
LU - Lussemburgo 3
OM - Oman 3
PS - Palestinian Territory 3
SI - Slovenia 3
UG - Uganda 3
AO - Angola 2
CR - Costa Rica 2
CY - Cipro 2
DO - Repubblica Dominicana 2
HN - Honduras 2
JM - Giamaica 2
KW - Kuwait 2
LV - Lettonia 2
NG - Nigeria 2
PR - Porto Rico 2
SN - Senegal 2
SR - Suriname 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
BB - Barbados 1
BF - Burkina Faso 1
BZ - Belize 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GA - Gabon 1
Totale 19.765
Salva come PNG Salva come JPEG
Città #
Moscow 1.647
Council Bluffs 1.585
Ashburn 1.196
San Jose 541
Dallas 515
Chandler 465
Singapore 406
Beijing 379
Jacksonville 352
Hefei 252
San Mateo 234
Boardman 233
Hong Kong 174
Dublin 169
Columbus 148
Los Angeles 128
New York 120
Milan 108
São Paulo 96
Dong Ket 93
Wilmington 84
Tel Aviv 83
Kocaeli 78
Lauterbourg 78
Rome 76
Sofia 76
Shanghai 73
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
Santa Clara 65
Istanbul 63
Chicago 62
London 59
Atlanta 52
Seoul 51
Ho Chi Minh City 50
Orem 49
Houston 47
Ottawa 46
Hanoi 44
Ogden 42
Munich 41
Florence 38
The Dalles 38
Chennai 30
Denver 27
Bologna 26
Stockholm 25
Toronto 25
Ancaster 24
Brussels 24
Warsaw 24
Genoa 23
Pisa 23
Woodbridge 22
Barnet 21
Helsinki 21
Montreal 21
Amsterdam 20
Brooklyn 20
Rio de Janeiro 19
Seattle 19
Tokyo 19
Mexico City 17
Belgrade 16
Vienna 16
Mumbai 15
Nuremberg 15
Poplar 15
Boston 14
Naaldwijk 14
Düsseldorf 13
Frankfurt am Main 13
Manchester 13
Redwood City 13
Baghdad 12
Fairfield 12
Nairobi 12
Quito 12
Verona 12
Pesaro 11
Turin 11
Belo Horizonte 10
Johannesburg 10
San Francisco 10
Secaucus 10
Budapest 9
Charlotte 9
Dhaka 9
Haiphong 9
Naples 9
Sydney 9
Turku 9
Valencia 9
Ankara 8
Assago 8
Bolzaneto 8
Brasília 8
Totale 11.232
Salva come PNG Salva come JPEG
Nome #
28th International Conference on Principles of Distributed Systems 435
Developing security metrics for space systems: A study considering the NIST Cybersecurity Framework 2.0 and the NIS2 392
Securing Interruptible Enclaved Execution on Small Microprocessors 333
A brief tour of formally secure compilation 310
A context-oriented extension of F# 306
A type language for message passing component-based systems 304
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 290
An Abstract Interpretation Framework for Type and Effect Systems 286
A Two-Phase Static Analysis for Reliable Adaptation 285
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 285
MUAC: Access control language for mutual benefits 285
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 284
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 277
Here you can't: context-aware security 277
A Step Towards Checking Security in IoT 272
Checking the Expressivity of Firewall Languages 271
Can my Firewall System Enforce this Policy? 269
A Two-Component Language for COP 267
A theory of transaction parallelism in blockchains 265
A semantics for disciplined concurrency in COP 264
Where Do Your IoT Ingredients Come From? 263
From firewalls to functions and back 263
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 263
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 262
A Policy Framework for Regulating External Calls in Smart Contracts 258
FWS: Analyzing, maintaining and transcompiling firewalls 257
Control-flow flattening preserves the constant-time policy 255
Private-Yet-Verifiable Contact Tracing 253
Are all firewall systems equally powerful? 251
Safe adaptation through implicit effect coercion 250
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 247
Formalising Security in Ubiquitous and Cloud Scenarios 246
Systems Security Modeling and Analysis at IMT Lucca 244
Security in Pervasive Applications: A Survey 238
Linguistic Mechanisms for Context-Aware Security 237
Typing context-dependent behavioural variations 236
Using standard typing algorithms incrementally 236
Last Mile’s Resources 235
Securing IoT communications: at what cost? 234
Types for Coordinating Secure Behavioural Variations 234
Formally verifying security protocols built on watermarking and jamming 231
Firewall Management With FireWall Synthesizer 231
Event-driven adaptation in COP 230
Context-aware security: Linguistic mechanisms and static analysis 230
IFCIL: An Information Flow Configuration Language for SELinux 228
The cost of securing IoT communications 227
From Natural Projection to Partial Model Checking and Back 225
A Minimal Core Calculus for Solidity Contracts 219
Typing Context-Dependent Behavioural Variation 218
A Netting Protocol for Liquidity-saving Automated Market Makers 215
A type language for distributed reactive components governed by communication protocols 213
Specifying and Verifying Information Flow Control in SELinux Configurations 213
Experimenting with a Context-Aware Language 213
Measuring security in IoT communications 213
Towards effective preservation of robust safety properties 210
A True Concurrent Model of Smart Contracts Executions 207
Framework, Tools and Good Practices for Cybersecurity Curricula 205
Language-Independent Synthesis of Firewall Policies 204
Tool Supported Analysis of IoT 203
Tracking sensitive and untrustworthy data in IoT 203
Transcompiling firewalls 202
Robust Declassification by Incremental Typing 201
Revealing the trajectories of KLAIM tuples, statically 198
Programming in a context-aware language 197
Resilience of Hybrid Casper under varying values of parameters 197
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 195
Software security: The language approach 195
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 193
Tracing where IoT data are collected and aggregated 193
A Logic for Policy Based Resource Exchanges in Multiagent Systems 192
Tracking data trajectories in IoT 187
Analysing the Provenance of IoT Data 187
Mechanical incrementalization of typing algorithms 186
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 184
Explainable Ponzi Schemes Detection on Ethereum 180
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 178
Security Metrics at Work on the Things in IoT Systems 175
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 168
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 167
Modelling and analysing IoT systems 166
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 156
Risk Estimation in IoT Systems 146
Welcome back: a systematic literature review of smart contract reentrancy and countermeasures 117
Checking Information Flow in Cloud-based IoT Access Control Policies 113
Detecting memory errors in rust programs including unsafe foreign code 97
ParserHunter: identify parsing functions in binary code 93
Differential Verification of Information Flow in SEAndroid Policies 81
Policies for Fair Exchanges of Resources 56
When obfuscations preserve constant-time 47
Netting-based liquidity-saving automated market makers 47
WalkthroughCyber: teaching cyber-awareness in Montessori middle schools 41
Assessing the attack surface of space organizations: A data-driven analysis 32
A unified framework and comparative study of decentralized finance derivatives protocols 24
Natural Projection as Partial Model Checking 9
Totale 20.057
Salva come PNG Salva come JPEG
Categoria #
all - tutte 75.855
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 75.855
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022666 0 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/20269.095 298 417 1.833 2.836 262 230 744 209 364 399 610 893
2026/20271.066 834 232 0 0 0 0 0 0 0 0 0 0
Totale 20.057