IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.648
EU - Europa 1.719
AS - Asia 873
SA - Sud America 72
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 12
OC - Oceania 9
Totale 5.348
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.598
IT - Italia 389
RU - Federazione Russa 329
CN - Cina 244
SE - Svezia 225
SG - Singapore 221
UA - Ucraina 171
IE - Irlanda 167
TR - Turchia 137
GB - Regno Unito 103
DE - Germania 102
VN - Vietnam 93
BG - Bulgaria 76
HK - Hong Kong 62
BR - Brasile 59
KR - Corea 52
CA - Canada 49
IN - India 42
FR - Francia 34
BE - Belgio 26
NL - Olanda 21
RS - Serbia 17
AT - Austria 14
EU - Europa 14
EC - Ecuador 10
FI - Finlandia 9
AU - Australia 8
HU - Ungheria 8
KE - Kenya 6
DK - Danimarca 5
IR - Iran 5
GR - Grecia 4
MY - Malesia 4
CH - Svizzera 3
ES - Italia 3
NO - Norvegia 3
RO - Romania 3
SI - Slovenia 3
AO - Angola 2
ET - Etiopia 2
ID - Indonesia 2
IQ - Iraq 2
JP - Giappone 2
PE - Perù 2
PH - Filippine 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
AR - Argentina 1
BD - Bangladesh 1
CZ - Repubblica Ceca 1
EG - Egitto 1
IS - Islanda 1
KZ - Kazakistan 1
NZ - Nuova Zelanda 1
PA - Panama 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 5.348
Salva come PNG Salva come JPEG
Città #
Chandler 465
Jacksonville 350
San Mateo 234
Boardman 231
Beijing 191
Dublin 165
Singapore 135
Dong Ket 93
Wilmington 84
Kocaeli 78
Sofia 76
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
New York 62
Istanbul 58
Milan 58
Moscow 55
São Paulo 54
Los Angeles 51
Seoul 50
Rome 47
Ogden 42
Ottawa 38
Ashburn 36
London 33
Houston 28
Council Bluffs 26
Chicago 24
Florence 22
Woodbridge 21
Atlanta 20
Pisa 20
Brussels 16
Dallas 16
Seattle 16
Naaldwijk 14
Belgrade 13
Redwood City 13
Fairfield 12
Quito 10
Vienna 10
Genoa 9
Hefei 9
Santa Clara 9
Bolzaneto 8
Budapest 8
Helsinki 8
Livorno 8
Nanjing 7
Aachen 6
Leinì 6
Lucca 6
Nairobi 6
Civitavecchia 5
Jinan 5
Leuven 5
Philadelphia 5
Redmond 5
Siena 5
Torino 5
Verona 5
Almere Stad 4
Gunzenhausen 4
Las Vegas 4
Montréal 4
Munich 4
Padova 4
Poli 4
Prezzo 4
Shanghai 4
Tappahannock 4
Albignasego 3
Bologna 3
Cambridge 3
Capannori 3
Casole d'Elsa 3
Castelletto 3
Clifton 3
Guangzhou 3
Hanover 3
Henderson 3
Højbjerg 3
Massa 3
Norwalk 3
Potomac 3
Serra 3
Trivandrum 3
Washington 3
Zhengzhou 3
Arezzo 2
Avezzano 2
Berdsk 2
Bonn 2
Borgo San Lorenzo 2
Bresso 2
Caserta 2
Colorado Springs 2
Dearborn 2
Totale 3.472
Salva come PNG Salva come JPEG
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 202
A brief tour of formally secure compilation 139
A context-oriented extension of F# 122
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 122
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 117
Control-flow flattening preserves the constant-time policy 116
MUAC: Access control language for mutual benefits 112
A type language for message passing component-based systems 111
From Natural Projection to Partial Model Checking and Back 105
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 103
A theory of transaction parallelism in blockchains 102
Firewall Management With FireWall Synthesizer 101
Private-Yet-Verifiable Contact Tracing 101
Here you can't: context-aware security 98
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 94
An Abstract Interpretation Framework for Type and Effect Systems 93
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 93
A Two-Component Language for COP 92
A semantics for disciplined concurrency in COP 92
Security in Pervasive Applications: A Survey 89
A Step Towards Checking Security in IoT 88
Where Do Your IoT Ingredients Come From? 87
Context-aware security: Linguistic mechanisms and static analysis 86
Formalising Security in Ubiquitous and Cloud Scenarios 85
A Two-Phase Static Analysis for Reliable Adaptation 84
Safe adaptation through implicit effect coercion 84
Experimenting with a Context-Aware Language 83
From firewalls to functions and back 81
Using standard typing algorithms incrementally 81
Typing context-dependent behavioural variations 80
Are all firewall systems equally powerful? 80
FWS: Analyzing, maintaining and transcompiling firewalls 80
Checking the Expressivity of Firewall Languages 79
Types for Coordinating Secure Behavioural Variations 77
Event-driven adaptation in COP 76
Securing IoT communications: at what cost? 75
Measuring security in IoT communications 74
The cost of securing IoT communications 73
Last Mile’s Resources 73
Linguistic Mechanisms for Context-Aware Security 73
Analysing the Provenance of IoT Data 73
Language-Independent Synthesis of Firewall Policies 72
Tracking sensitive and untrustworthy data in IoT 72
Framework, Tools and Good Practices for Cybersecurity Curricula 71
Typing Context-Dependent Behavioural Variation 68
Robust Declassification by Incremental Typing 68
Tool Supported Analysis of IoT 67
Transcompiling firewalls 66
Revealing the trajectories of KLAIM tuples, statically 66
Can my Firewall System Enforce this Policy? 66
A Minimal Core Calculus for Solidity Contracts 65
Programming in a context-aware language 64
Towards effective preservation of robust safety properties 63
Tracking data trajectories in IoT 63
A True Concurrent Model of Smart Contracts Executions 62
Tracing where IoT data are collected and aggregated 61
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 59
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 58
Software security: The language approach 56
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 55
Formally verifying security protocols built on watermarking and jamming 53
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 53
Mechanical incrementalization of typing algorithms 49
Security Metrics at Work on the Things in IoT Systems 47
Modelling and analysing IoT systems 45
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 36
IFCIL: An Information Flow Configuration Language for SELinux 33
Resilience of Hybrid Casper under varying values of parameters 32
A type language for distributed reactive components governed by communication protocols 19
Risk Estimation in IoT Systems 19
Systems Security Modeling and Analysis at IMT Lucca 13
Natural Projection as Partial Model Checking 9
Explainable Ponzi Schemes Detection on Ethereum 7
Totale 5.513
Salva come PNG Salva come JPEG
Categoria #
all - tutte 30.862
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 30.862
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020594 0 0 0 0 65 38 56 32 201 72 66 64
2020/2021945 98 26 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/2025713 66 113 135 356 43 0 0 0 0 0 0 0
Totale 5.513