IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.385
EU - Europa 1.349
AS - Asia 594
SA - Sud America 69
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 9
AF - Africa 6
Totale 4.427
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.335
IT - Italia 359
CN - Cina 234
SE - Svezia 225
UA - Ucraina 171
IE - Irlanda 167
GB - Regno Unito 101
DE - Germania 93
VN - Vietnam 93
TR - Turchia 79
BG - Bulgaria 76
HK - Hong Kong 62
BR - Brasile 57
KR - Corea 52
CA - Canada 49
IN - India 41
FR - Francia 33
BE - Belgio 26
NL - Olanda 21
RS - Serbia 17
SG - Singapore 15
EU - Europa 14
EC - Ecuador 10
AT - Austria 9
AU - Australia 8
HU - Ungheria 8
RU - Federazione Russa 8
FI - Finlandia 7
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.427
Salva come PNG Salva come JPEG
Città #
Chandler 465
Jacksonville 350
San Mateo 234
Beijing 191
Dublin 165
Dong Ket 93
Wilmington 84
Kocaeli 78
Sofia 76
Boardman 68
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
New York 61
São Paulo 54
Seoul 50
Rome 46
Ogden 42
Milan 38
Ottawa 38
Ashburn 35
London 32
Houston 28
Council Bluffs 25
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
Nanjing 7
Aachen 6
Helsinki 6
Leinì 6
Los Angeles 6
Lucca 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
Guangzhou 3
Hanover 3
Henderson 3
Højbjerg 3
Massa 3
Norwalk 3
Potomac 3
Seattle 3
Serra 3
Singapore 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
Friedberg 2
Goiânia 2
Hong Kong 2
Totale 2.951
Salva come PNG Salva come JPEG
Nome #
Securing Interruptible Enclaved Execution on Small Microprocessors 191
A brief tour of formally secure compilation 129
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 111
A context-oriented extension of F# 108
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 104
Control-flow flattening preserves the constant-time policy 101
MUAC: Access control language for mutual benefits 93
Firewall Management With FireWall Synthesizer 90
A theory of transaction parallelism in blockchains 89
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 88
From Natural Projection to Partial Model Checking and Back 88
A type language for message passing component-based systems 87
Private-Yet-Verifiable Contact Tracing 83
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 80
An Abstract Interpretation Framework for Type and Effect Systems 77
A Two-Component Language for COP 77
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 76
A semantics for disciplined concurrency in COP 76
A Step Towards Checking Security in IoT 75
Context-aware security: Linguistic mechanisms and static analysis 75
Experimenting with a Context-Aware Language 74
Security in Pervasive Applications: A Survey 74
Formalising Security in Ubiquitous and Cloud Scenarios 73
Safe adaptation through implicit effect coercion 73
Here you can't: context-aware security 72
A Two-Phase Static Analysis for Reliable Adaptation 71
From firewalls to functions and back 71
Where Do Your IoT Ingredients Come From? 70
Event-driven adaptation in COP 67
Using standard typing algorithms incrementally 67
Are all firewall systems equally powerful? 67
Typing context-dependent behavioural variations 66
Measuring security in IoT communications 65
Checking the Expressivity of Firewall Languages 65
Last Mile’s Resources 64
Securing IoT communications: at what cost? 64
The cost of securing IoT communications 63
Linguistic Mechanisms for Context-Aware Security 62
Language-Independent Synthesis of Firewall Policies 62
Analysing the Provenance of IoT Data 61
Framework, Tools and Good Practices for Cybersecurity Curricula 60
Types for Coordinating Secure Behavioural Variations 59
Tracking sensitive and untrustworthy data in IoT 59
Revealing the trajectories of KLAIM tuples, statically 58
Typing Context-Dependent Behavioural Variation 57
Transcompiling firewalls 56
Programming in a context-aware language 55
Tracking data trajectories in IoT 55
Robust Declassification by Incremental Typing 55
FWS: Analyzing, maintaining and transcompiling firewalls 55
Tool Supported Analysis of IoT 54
Can my Firewall System Enforce this Policy? 54
Towards effective preservation of robust safety properties 52
Tracing where IoT data are collected and aggregated 50
A Minimal Core Calculus for Solidity Contracts 50
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 49
A True Concurrent Model of Smart Contracts Executions 47
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 46
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 45
Software security: The language approach 43
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 40
Formally verifying security protocols built on watermarking and jamming 38
Mechanical incrementalization of typing algorithms 37
Modelling and analysing IoT systems 36
Security Metrics at Work on the Things in IoT Systems 32
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 27
Resilience of Hybrid Casper under varying values of parameters 24
IFCIL: An Information Flow Configuration Language for SELinux 16
Risk Estimation in IoT Systems 9
Natural Projection as Partial Model Checking 9
A type language for distributed reactive components governed by communication protocols 6
Totale 4.582
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.711
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 22.711
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20199 0 0 0 0 0 0 0 0 0 6 0 3
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/2024663 81 64 87 56 85 34 93 17 70 76 0 0
Totale 4.582