IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 8.180
NA - Nord America 6.257
AS - Asia 2.776
SA - Sud America 595
AF - Africa 70
OC - Oceania 17
Continente sconosciuto - Info sul continente non disponibili 15
Totale 17.910
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.097
RU - Federazione Russa 5.956
CN - Cina 842
SG - Singapore 761
IT - Italia 667
BR - Brasile 482
SE - Svezia 253
VN - Vietnam 248
HK - Hong Kong 233
GB - Regno Unito 231
DE - Germania 192
UA - Ucraina 175
IE - Irlanda 171
TR - Turchia 161
FR - Francia 159
IN - India 124
CA - Canada 111
IL - Israele 85
BD - Bangladesh 83
BG - Bulgaria 77
KR - Corea 55
NL - Olanda 47
AR - Argentina 42
IQ - Iraq 35
MX - Messico 35
BE - Belgio 33
ES - Italia 32
FI - Finlandia 32
AT - Austria 30
PL - Polonia 28
JP - Giappone 22
RS - Serbia 21
EC - Ecuador 19
CO - Colombia 18
SA - Arabia Saudita 18
DK - Danimarca 16
AU - Australia 15
ID - Indonesia 15
ZA - Sudafrica 15
EU - Europa 14
KE - Kenya 12
PK - Pakistan 11
MA - Marocco 10
MY - Malesia 10
HU - Ungheria 9
RO - Romania 9
LT - Lituania 8
PH - Filippine 8
UZ - Uzbekistan 8
VE - Venezuela 8
ET - Etiopia 7
GR - Grecia 7
NP - Nepal 7
CL - Cile 6
JO - Giordania 6
PE - Perù 6
TN - Tunisia 6
AE - Emirati Arabi Uniti 5
CH - Svizzera 5
IR - Iran 5
PY - Paraguay 5
AZ - Azerbaigian 4
KZ - Kazakistan 4
NO - Norvegia 4
PA - Panama 4
PT - Portogallo 4
TH - Thailandia 4
UY - Uruguay 4
AL - Albania 3
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
JM - Giamaica 2
KW - Kuwait 2
NG - Nigeria 2
SN - Senegal 2
SR - Suriname 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
BB - Barbados 1
BF - Burkina Faso 1
CG - Congo 1
CI - Costa d'Avorio 1
CM - Camerun 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
GA - Gabon 1
GE - Georgia 1
GP - Guadalupe 1
HR - Croazia 1
IS - Islanda 1
Totale 17.895
Salva come PNG Salva come JPEG
Città #
Moscow 1.647
Ashburn 1.177
San Jose 537
Dallas 510
Council Bluffs 485
Chandler 465
Singapore 401
Beijing 375
Jacksonville 352
Hefei 252
San Mateo 234
Boardman 232
Hong Kong 170
Dublin 169
Los Angeles 124
New York 118
Milan 104
São Paulo 96
Dong Ket 93
Wilmington 84
Tel Aviv 83
Kocaeli 78
Lauterbourg 78
Sofia 76
Rome 72
Shanghai 71
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
Istanbul 63
Chicago 59
London 58
Seoul 51
Orem 49
Ho Chi Minh City 48
Santa Clara 47
Ottawa 45
Hanoi 44
Houston 44
Atlanta 42
Ogden 42
Munich 39
Florence 37
The Dalles 35
Columbus 32
Chennai 30
Denver 25
Stockholm 25
Warsaw 24
Pisa 23
Brussels 22
Genoa 22
Barnet 21
Helsinki 21
Toronto 21
Woodbridge 21
Amsterdam 20
Montreal 19
Rio de Janeiro 19
Seattle 19
Tokyo 19
Brooklyn 17
Mexico City 17
Belgrade 16
Vienna 16
Nuremberg 15
Poplar 15
Boston 14
Mumbai 14
Naaldwijk 14
Bologna 13
Düsseldorf 13
Frankfurt am Main 13
Manchester 13
Redwood City 13
Baghdad 12
Fairfield 12
Quito 12
Nairobi 11
Pesaro 11
Belo Horizonte 10
Johannesburg 10
Secaucus 10
Turin 10
Dhaka 9
Haiphong 9
Turku 9
Valencia 9
Verona 9
Ankara 8
Assago 8
Bolzaneto 8
Brasília 8
Budapest 8
Charlotte 8
Livorno 8
Lucca 8
Nanjing 8
Naples 8
Totale 9.858
Salva come PNG Salva come JPEG
Nome #
28th International Conference on Principles of Distributed Systems 416
Securing Interruptible Enclaved Execution on Small Microprocessors 318
A brief tour of formally secure compilation 295
A type language for message passing component-based systems 293
A context-oriented extension of F# 292
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 278
An Abstract Interpretation Framework for Type and Effect Systems 273
MUAC: Access control language for mutual benefits 273
A Two-Phase Static Analysis for Reliable Adaptation 271
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 271
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 269
Here you can't: context-aware security 264
Checking the Expressivity of Firewall Languages 261
A Step Towards Checking Security in IoT 258
Can my Firewall System Enforce this Policy? 257
A semantics for disciplined concurrency in COP 253
A Two-Component Language for COP 252
A theory of transaction parallelism in blockchains 252
Where Do Your IoT Ingredients Come From? 249
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 249
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 249
From firewalls to functions and back 247
FWS: Analyzing, maintaining and transcompiling firewalls 242
Control-flow flattening preserves the constant-time policy 240
Private-Yet-Verifiable Contact Tracing 239
A Policy Framework for Regulating External Calls in Smart Contracts 237
Securing SATCOM user segment: A study on cybersecurity challenges in view of IRIS2 236
Safe adaptation through implicit effect coercion 236
Formalising Security in Ubiquitous and Cloud Scenarios 234
Are all firewall systems equally powerful? 234
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 231
Security in Pervasive Applications: A Survey 227
Systems Security Modeling and Analysis at IMT Lucca 226
Linguistic Mechanisms for Context-Aware Security 223
Using standard typing algorithms incrementally 223
Securing IoT communications: at what cost? 222
Types for Coordinating Secure Behavioural Variations 222
Typing context-dependent behavioural variations 221
Last Mile’s Resources 220
Firewall Management With FireWall Synthesizer 218
Event-driven adaptation in COP 217
Context-aware security: Linguistic mechanisms and static analysis 216
Formally verifying security protocols built on watermarking and jamming 214
From Natural Projection to Partial Model Checking and Back 214
The cost of securing IoT communications 213
IFCIL: An Information Flow Configuration Language for SELinux 210
A Minimal Core Calculus for Solidity Contracts 207
Typing Context-Dependent Behavioural Variation 205
A type language for distributed reactive components governed by communication protocols 200
A Netting Protocol for Liquidity-saving Automated Market Makers 199
Experimenting with a Context-Aware Language 199
Measuring security in IoT communications 199
Specifying and Verifying Information Flow Control in SELinux Configurations 196
Towards effective preservation of robust safety properties 195
A True Concurrent Model of Smart Contracts Executions 195
Framework, Tools and Good Practices for Cybersecurity Curricula 192
Robust Declassification by Incremental Typing 190
Tracking sensitive and untrustworthy data in IoT 190
Language-Independent Synthesis of Firewall Policies 189
Tool Supported Analysis of IoT 189
Transcompiling firewalls 185
Revealing the trajectories of KLAIM tuples, statically 184
Programming in a context-aware language 183
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 181
Software security: The language approach 181
A Logic for Policy Based Resource Exchanges in Multiagent Systems 178
Tracing where IoT data are collected and aggregated 178
Resilience of Hybrid Casper under varying values of parameters 178
Analysing the Provenance of IoT Data 175
Space cybersecurity governance: assessing policies and frameworks in view of the future European space legislation 174
Tracking data trajectories in IoT 173
Mechanical incrementalization of typing algorithms 172
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 169
Explainable Ponzi Schemes Detection on Ethereum 165
Security Metrics at Work on the Things in IoT Systems 163
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 163
Modelling and analysing IoT systems 156
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 153
A Comparison of Hosting Techniques for Online Cybersecurity Competitions 152
X-SPIDE: an eXplainable machine learning pipeline for detecting smart Ponzi contracts in ethereum 133
Risk Estimation in IoT Systems 132
Checking Information Flow in Cloud-based IoT Access Control Policies 81
ParserHunter: identify parsing functions in binary code 70
Welcome back: a systematic literature review of smart contract reentrancy and countermeasures 69
Differential Verification of Information Flow in SEAndroid Policies 61
Detecting memory errors in rust programs including unsafe foreign code 41
Policies for Fair Exchanges of Resources 31
When obfuscations preserve constant-time 28
WalkthroughCyber: teaching cyber-awareness in Montessori middle schools 27
Netting-based liquidity-saving automated market makers 25
Natural Projection as Partial Model Checking 9
Assessing the attack surface of space organizations: A data-driven analysis 4
Developing security metrics for space systems: A study considering the NIST Cybersecurity Framework 2.0 and the NIS2 4
Totale 18.178
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.155
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 70.155
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021200 0 0 0 0 0 0 0 0 0 0 0 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/20268.282 298 417 1.833 2.836 262 230 744 209 364 399 610 80
Totale 18.178