GALLETTA, LETTERIO
 Distribuzione geografica
Continente #
NA - Nord America 4.116
EU - Europa 4.021
AS - Asia 1.848
SA - Sud America 453
AF - Africa 36
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 10
Totale 10.499
Nazione #
US - Stati Uniti d'America 4.019
RU - Federazione Russa 2.260
CN - Cina 592
SG - Singapore 530
IT - Italia 519
BR - Brasile 406
SE - Svezia 240
HK - Hong Kong 178
UA - Ucraina 174
DE - Germania 173
IE - Irlanda 170
GB - Regno Unito 152
TR - Turchia 148
VN - Vietnam 114
IL - Israele 80
CA - Canada 79
BG - Bulgaria 76
FR - Francia 64
IN - India 58
KR - Corea 52
BE - Belgio 32
AT - Austria 27
NL - Olanda 26
RS - Serbia 21
AR - Argentina 20
FI - Finlandia 20
IQ - Iraq 17
BD - Bangladesh 15
MX - Messico 15
EU - Europa 14
EC - Ecuador 12
KE - Kenya 10
ES - Italia 9
PL - Polonia 9
ZA - Sudafrica 9
AU - Australia 8
HU - Ungheria 8
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
JP - Giappone 5
RO - Romania 5
CO - Colombia 4
KZ - Kazakistan 4
MA - Marocco 4
MY - Malesia 4
NO - Norvegia 4
NP - Nepal 4
PE - Perù 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
SI - Slovenia 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AO - Angola 2
EG - Egitto 2
ET - Etiopia 2
JO - Giordania 2
LB - Libano 2
PA - Panama 2
PH - Filippine 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
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GA - Gabon 1
HR - Croazia 1
IS - Islanda 1
KG - Kirghizistan 1
KW - Kuwait 1
LK - Sri Lanka 1
LV - Lettonia 1
NG - Nigeria 1
NR - Nauru 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
PY - Paraguay 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SR - Suriname 1
TH - Thailandia 1
TM - Turkmenistan 1
TN - Tunisia 1
Totale 10.499
Città #
Ashburn 837
Moscow 526
Chandler 465
Jacksonville 351
Singapore 351
Beijing 304
Dallas 271
San Mateo 234
Boardman 231
Hefei 171
Dublin 168
Hong Kong 118
Milan 94
Dong Ket 93
Wilmington 84
Tel Aviv 80
São Paulo 79
Kocaeli 78
Sofia 76
Los Angeles 74
Council Bluffs 71
Shanghai 69
New York 68
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
Columbus 30
Houston 30
Atlanta 28
Chicago 28
Florence 26
Brussels 22
Pisa 21
Woodbridge 21
Santa Clara 17
Seattle 17
Belgrade 16
Rio de Janeiro 16
Vienna 16
Naaldwijk 14
Düsseldorf 13
Genoa 13
Nuremberg 13
Redwood City 13
Stockholm 13
Toronto 13
Brooklyn 12
Fairfield 12
Helsinki 11
Quito 11
Belo Horizonte 10
Bologna 9
Boston 9
Ho Chi Minh City 9
Nairobi 9
Turku 9
Assago 8
Bolzaneto 8
Budapest 8
Livorno 8
Lucca 8
Warsaw 8
Brasília 7
Johannesburg 7
Lavagna 7
Mexico City 7
Nanjing 7
Aachen 6
Curitiba 6
Frankfurt am Main 6
Goiânia 6
Lauterbourg 6
Leinì 6
Philadelphia 6
San Jose 6
Verona 6
Villongo 6
Baghdad 5
Civitavecchia 5
Hanoi 5
Jinan 5
Leuven 5
Lund 5
Manchester 5
Redmond 5
Salvador 5
San Francisco 5
Serra 5
Siena 5
Torino 5
Almere Stad 4
Totale 6.225
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 246
A context-oriented extension of F# 204
A type language for message passing component-based systems 201
A brief tour of formally secure compilation 200
Here you can't: context-aware security 192
MUAC: Access control language for mutual benefits 183
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 180
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 178
An Abstract Interpretation Framework for Type and Effect Systems 175
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 172
Where Do Your IoT Ingredients Come From? 170
Checking the Expressivity of Firewall Languages 170
A Two-Component Language for COP 169
Safe adaptation through implicit effect coercion 167
A Two-Phase Static Analysis for Reliable Adaptation 165
From firewalls to functions and back 165
A semantics for disciplined concurrency in COP 165
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 165
28th International Conference on Principles of Distributed Systems 164
Security in Pervasive Applications: A Survey 163
Control-flow flattening preserves the constant-time policy 161
Formalising Security in Ubiquitous and Cloud Scenarios 160
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 158
Typing context-dependent behavioural variations 156
Private-Yet-Verifiable Contact Tracing 156
A theory of transaction parallelism in blockchains 156
A Step Towards Checking Security in IoT 155
From Natural Projection to Partial Model Checking and Back 154
Securing IoT communications: at what cost? 153
Linguistic Mechanisms for Context-Aware Security 152
Are all firewall systems equally powerful? 148
Can my Firewall System Enforce this Policy? 148
Context-aware security: Linguistic mechanisms and static analysis 147
FWS: Analyzing, maintaining and transcompiling firewalls 147
Types for Coordinating Secure Behavioural Variations 146
Using standard typing algorithms incrementally 144
Typing Context-Dependent Behavioural Variation 143
Firewall Management With FireWall Synthesizer 142
Event-driven adaptation in COP 137
The cost of securing IoT communications 136
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 136
Last Mile’s Resources 130
Experimenting with a Context-Aware Language 126
Measuring security in IoT communications 126
Robust Declassification by Incremental Typing 122
Language-Independent Synthesis of Firewall Policies 120
Transcompiling firewalls 120
IFCIL: An Information Flow Configuration Language for SELinux 119
A Minimal Core Calculus for Solidity Contracts 119
Analysing the Provenance of IoT Data 117
Framework, Tools and Good Practices for Cybersecurity Curricula 116
Programming in a context-aware language 115
Systems Security Modeling and Analysis at IMT Lucca 113
Towards effective preservation of robust safety properties 111
Tracking data trajectories in IoT 110
Tool Supported Analysis of IoT 110
Revealing the trajectories of KLAIM tuples, statically 110
Tracking sensitive and untrustworthy data in IoT 109
Formally verifying security protocols built on watermarking and jamming 106
A Policy Framework for Regulating External Calls in Smart Contracts 105
A type language for distributed reactive components governed by communication protocols 105
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 105
A True Concurrent Model of Smart Contracts Executions 105
Tracing where IoT data are collected and aggregated 104
Software security: The language approach 104
Resilience of Hybrid Casper under varying values of parameters 100
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 98
A Netting Protocol for Liquidity-saving Automated Market Makers 97
Mechanical incrementalization of typing algorithms 94
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 93
Security Metrics at Work on the Things in IoT Systems 92
A Logic for Policy Based Resource Exchanges in Multiagent Systems 86
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 86
Modelling and analysing IoT systems 85
Specifying and Verifying Information Flow Control in SELinux Configurations 78
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 78
Explainable Ponzi Schemes Detection on Ethereum 68
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 67
Risk Estimation in IoT Systems 60
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 32
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 22
Natural Projection as Partial Model Checking 9
Totale 10.701
Categoria #
all - tutte 52.355
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 52.355


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021821 0 0 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/20255.096 66 113 135 356 90 557 1.015 265 473 568 1.110 348
2025/2026805 298 417 90 0 0 0 0 0 0 0 0 0
Totale 10.701