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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020716 7 12 87 16 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/202560 60 0 0 0 0 0 0 0 0 0 0 0
Totale 4.860