IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.436
EU - Europa 8.469
AS - Asia 2.848
SA - Sud America 599
Continente sconosciuto - Info sul continente non disponibili 304
AF - Africa 72
OC - Oceania 22
Totale 21.750
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.190
RU - Federazione Russa 5.957
IT - Italia 899
CN - Cina 852
SG - Singapore 774
BR - Brasile 484
SE - Svezia 253
VN - Vietnam 250
HK - Hong Kong 241
GB - Regno Unito 234
DE - Germania 202
CA - Canada 185
UA - Ucraina 175
IE - Irlanda 174
FR - Francia 169
TR - Turchia 162
IN - India 133
BD - Bangladesh 93
IL - Israele 93
BG - Bulgaria 78
KR - Corea 55
NL - Olanda 52
AR - Argentina 42
BE - Belgio 35
IQ - Iraq 35
MX - Messico 35
ES - Italia 33
FI - Finlandia 32
AT - Austria 30
JP - Giappone 29
PL - Polonia 28
RS - Serbia 22
AU - Australia 19
CO - Colombia 19
EC - Ecuador 19
SA - Arabia Saudita 18
DK - Danimarca 16
ID - Indonesia 15
ZA - Sudafrica 15
EU - Europa 14
HU - Ungheria 13
KE - Kenya 13
LT - Lituania 12
PK - Pakistan 11
MA - Marocco 10
MY - Malesia 10
PH - Filippine 10
RO - Romania 9
UZ - Uzbekistan 9
NP - Nepal 8
VE - Venezuela 8
CH - Svizzera 7
ET - Etiopia 7
GR - Grecia 7
PE - Perù 7
PT - Portogallo 7
CL - Cile 6
IS - Islanda 6
JO - Giordania 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
IR - Iran 5
PY - Paraguay 5
AL - Albania 4
AZ - Azerbaigian 4
CR - Costa Rica 4
KZ - Kazakistan 4
NO - Norvegia 4
PA - Panama 4
TH - Thailandia 4
UY - Uruguay 4
BO - Bolivia 3
EG - Egitto 3
JM - Giamaica 3
LB - Libano 3
LU - Lussemburgo 3
NI - Nicaragua 3
OM - Oman 3
PR - Porto Rico 3
PS - Palestinian Territory 3
SI - Slovenia 3
UG - Uganda 3
AO - Angola 2
CY - Cipro 2
DO - Repubblica Dominicana 2
HN - Honduras 2
KW - Kuwait 2
LV - Lettonia 2
NG - Nigeria 2
NZ - Nuova Zelanda 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
Totale 21.441
Salva come PNG Salva come JPEG
Città #
Council Bluffs 2.431
Moscow 1.647
Ashburn 1.284
San Jose 638
Dallas 521
Chandler 465
Singapore 411
Beijing 380
Jacksonville 352
Hefei 252
Boardman 239
San Mateo 234
Hong Kong 175
Dublin 169
Columbus 148
Los Angeles 147
New York 130
Milan 116
São Paulo 96
Dong Ket 93
Chicago 90
Tel Aviv 89
Wilmington 84
Staranzano 82
Rome 79
Kocaeli 78
Lauterbourg 78
Sofia 77
Shanghai 73
Santa Clara 72
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
Istanbul 63
London 60
Atlanta 55
Seoul 51
Ho Chi Minh City 50
Orem 50
Houston 47
Ottawa 46
Hanoi 44
Munich 43
Ogden 42
Florence 41
Bologna 39
Phoenix 39
The Dalles 39
Chennai 30
Denver 29
Toronto 28
Montreal 27
Stockholm 25
Ancaster 24
Brussels 24
Genoa 24
Tokyo 24
Warsaw 24
Brooklyn 23
Pisa 23
Amsterdam 22
Woodbridge 22
Barnet 21
Helsinki 21
Rio de Janeiro 19
Seattle 19
Mexico City 17
Belgrade 16
Frankfurt am Main 16
Vienna 16
Mumbai 15
Nuremberg 15
Poplar 15
Boston 14
Naaldwijk 14
Düsseldorf 13
Manchester 13
Redwood City 13
Turin 13
Baghdad 12
Buffalo 12
Fairfield 12
Nairobi 12
Quito 12
San Francisco 12
Verona 12
Budapest 11
Naples 11
Pesaro 11
Belo Horizonte 10
Charlotte 10
Johannesburg 10
Paris 10
Secaucus 10
Dhaka 9
Haiphong 9
Sydney 9
Turku 9
Valencia 9
Totale 12.533
Salva come PNG Salva come JPEG
Nome #
28th International Conference on Principles of Distributed Systems 451
Developing security metrics for space systems: A study considering the NIST Cybersecurity Framework 2.0 and the NIS2 420
Securing Interruptible Enclaved Execution on Small Microprocessors 348
A brief tour of formally secure compilation 334
A type language for message passing component-based systems 323
A context-oriented extension of F# 322
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 311
A Two-Phase Static Analysis for Reliable Adaptation 311
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 307
An Abstract Interpretation Framework for Type and Effect Systems 303
MUAC: Access control language for mutual benefits 303
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 301
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 301
A Step Towards Checking Security in IoT 294
Here you can't: context-aware security 291
A Policy Framework for Regulating External Calls in Smart Contracts 289
Checking the Expressivity of Firewall Languages 289
Can my Firewall System Enforce this Policy? 289
A Two-Component Language for COP 283
A theory of transaction parallelism in blockchains 282
A semantics for disciplined concurrency in COP 281
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 279
Where Do Your IoT Ingredients Come From? 278
FWS: Analyzing, maintaining and transcompiling firewalls 278
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 278
From firewalls to functions and back 277
Control-flow flattening preserves the constant-time policy 268
Are all firewall systems equally powerful? 267
Systems Security Modeling and Analysis at IMT Lucca 265
Private-Yet-Verifiable Contact Tracing 265
Safe adaptation through implicit effect coercion 263
Formalising Security in Ubiquitous and Cloud Scenarios 260
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 259
Linguistic Mechanisms for Context-Aware Security 258
Last Mile’s Resources 256
Context-aware security: Linguistic mechanisms and static analysis 252
Security in Pervasive Applications: A Survey 250
Typing context-dependent behavioural variations 250
Types for Coordinating Secure Behavioural Variations 247
Using standard typing algorithms incrementally 247
Formally verifying security protocols built on watermarking and jamming 246
Securing IoT communications: at what cost? 246
A Netting Protocol for Liquidity-saving Automated Market Makers 244
IFCIL: An Information Flow Configuration Language for SELinux 243
Firewall Management With FireWall Synthesizer 243
Event-driven adaptation in COP 242
The cost of securing IoT communications 240
A Minimal Core Calculus for Solidity Contracts 238
From Natural Projection to Partial Model Checking and Back 238
Experimenting with a Context-Aware Language 233
Typing Context-Dependent Behavioural Variation 230
A type language for distributed reactive components governed by communication protocols 229
Specifying and Verifying Information Flow Control in SELinux Configurations 227
Measuring security in IoT communications 226
Towards effective preservation of robust safety properties 224
Tool Supported Analysis of IoT 224
A True Concurrent Model of Smart Contracts Executions 221
Language-Independent Synthesis of Firewall Policies 220
Tracking sensitive and untrustworthy data in IoT 216
Transcompiling firewalls 215
Framework, Tools and Good Practices for Cybersecurity Curricula 215
Robust Declassification by Incremental Typing 214
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 213
A Logic for Policy Based Resource Exchanges in Multiagent Systems 210
Revealing the trajectories of KLAIM tuples, statically 210
Software security: The language approach 209
Programming in a context-aware language 208
Tracing where IoT data are collected and aggregated 207
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 207
Resilience of Hybrid Casper under varying values of parameters 207
Tracking data trajectories in IoT 201
Analysing the Provenance of IoT Data 200
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 200
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 199
Mechanical incrementalization of typing algorithms 197
Explainable Ponzi Schemes Detection on Ethereum 195
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 191
Security Metrics at Work on the Things in IoT Systems 189
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 188
Modelling and analysing IoT systems 179
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 170
Risk Estimation in IoT Systems 161
Welcome back: a systematic literature review of smart contract reentrancy and countermeasures 152
Checking information flow in cloud-based IoT access control policies 148
Detecting memory errors in rust programs including unsafe foreign code 132
ParserHunter: identify parsing functions in binary code 117
Differential Verification of Information Flow in SEAndroid Policies 98
Policies for Fair Exchanges of Resources 73
When obfuscations preserve constant-time 70
WalkthroughCyber: teaching cyber-awareness in Montessori middle schools 67
Netting-based liquidity-saving automated market makers 60
A unified framework and comparative study of decentralized finance derivatives protocols 51
Assessing the attack surface of space organizations: A data-driven analysis 51
Identifying Parser Functions in Binary Executables with WebParserHunter 44
Differential verification of information flow in SEAndroid policies 21
Proof-carrying payloads: end-to-end authorization for Pub/Sub messaging 12
Natural Projection as Partial Model Checking 9
Totale 21.750
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.086
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 82.086
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022598 0 0 0 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/20272.759 834 548 575 802 0 0 0 0 0 0 0 0
Totale 21.750