IRIS
GALLETTA, LETTERIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1647
EU - Europa 1073
AS - Asia 460
SA - Sud America 58
Continente sconosciuto - Info sul continente non disponibili 15
AF - Africa 4
OC - Oceania 4
Totale 3261
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1600
IT - Italia 281
CN - Cina 230
SE - Svezia 224
UA - Ucraina 171
DE - Germania 103
VN - Vietnam 93
TR - Turchia 79
BG - Bulgaria 76
GB - Regno Unito 72
BR - Brasile 57
CA - Canada 47
IN - India 41
FR - Francia 33
BE - Belgio 24
NL - Olanda 21
EU - Europa 14
RS - Serbia 13
AT - Austria 9
HU - Ungheria 8
RU - Federazione Russa 6
IR - Iran 5
AU - Australia 4
DK - Danimarca 4
FI - Finlandia 4
IE - Irlanda 4
GR - Grecia 3
MY - Malesia 3
NO - Norvegia 3
RO - Romania 3
SI - Slovenia 3
CH - Svizzera 2
ES - Italia 2
ET - Etiopia 2
KR - Corea 2
SG - Singapore 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
CZ - Repubblica Ceca 1
EG - Egitto 1
ID - Indonesia 1
IS - Islanda 1
JP - Giappone 1
KZ - Kazakistan 1
PE - Perù 1
PT - Portogallo 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
ZA - Sudafrica 1
Totale 3261
Salva come PNG Salva come JPEG
Città #
Chandler 446
Jacksonville 350
San Mateo 234
Beijing 191
Dong Ket 93
Wilmington 83
Kocaeli 78
Sofia 76
Ann Arbor 67
Andover 66
Lawrence 65
Princeton 65
São Paulo 54
Boardman 43
Rome 42
Ottawa 38
Hanover 29
Houston 28
Woodbridge 21
Atlanta 20
Pisa 19
Brussels 18
Florence 18
Naaldwijk 14
Redwood City 13
Fairfield 12
Belgrade 10
Vienna 9
Bolzaneto 8
Budapest 8
Livorno 8
Hefei 6
Leinì 6
Lucca 6
Aachen 5
Ashburn 5
Civitavecchia 5
Jinan 5
Milan 5
Nanjing 5
Philadelphia 5
Redmond 5
Siena 5
Torino 5
Almere Stad 4
Gunzenhausen 4
Montréal 4
Padova 4
Poli 4
Prezzo 4
Shanghai 4
Cambridge 3
Capannori 3
Castelletto 3
Genoa 3
Guangzhou 3
Helsinki 3
Henderson 3
Højbjerg 3
London 3
Massa 3
Norwalk 3
Potomac 3
Serra 3
Trivandrum 3
Washington 3
Zhengzhou 3
Arezzo 2
Bologna 2
Borgo San Lorenzo 2
Caserta 2
Dearborn 2
Dublin 2
Düsseldorf 2
El Segundo 2
Enskede-Arsta-Vantoer 2
Fars 2
Flensburg 2
Friedberg 2
Goiânia 2
Kunming 2
Leuven 2
Little Rock 2
Lund 2
Lárissa 2
Marano Di Napoli 2
Maribor 2
Munich 2
Oslo 2
Regensburg 2
Saint Petersburg 2
Scherpenheuvel 2
Seattle 2
Singapore 2
Sorano 2
Stockholm 2
Toronto 2
Vaureal 2
Viareggio 2
Villenouvelle 2
Totale 2436
Salva come PNG Salva come JPEG
Nome #
A brief tour of formally secure compilation 114
A context-oriented extension of F# 93
VeriOSS: Using the Blockchain to Foster Bug Bounty Programs 90
Sustainable precision agriculture from a process algebraic perspective: A smart vineyard 89
Firewall Management With FireWall Synthesizer 79
From Natural Projection to Partial Model Checking and Back 78
A Reconstruction of a Types-and-Effects Analysis by Abstract Interpretation 69
Experimenting with a Context-Aware Language 66
A type language for message passing component-based systems 66
Control-flow flattening preserves the constant-time policy 65
Private-Yet-Verifiable Contact Tracing 65
An Abstract Interpretation Framework for Type and Effect Systems 64
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language 64
A Two-Component Language for COP 62
A semantics for disciplined concurrency in COP 62
A Two-Component Language for Adaptation: Design, Semantics, and Program Analysis 61
Context-aware security: Linguistic mechanisms and static analysis 61
Formalising Security in Ubiquitous and Cloud Scenarios 60
Here you can't: context-aware security 58
A Step Towards Checking Security in IoT 58
Security in Pervasive Applications: A Survey 58
Event-driven adaptation in COP 57
Language-Independent Synthesis of Firewall Policies 57
Safe adaptation through implicit effect coercion 57
Measuring security in IoT communications 57
Using standard typing algorithms incrementally 57
MUAC: Access control language for mutual benefits 57
Last Mile’s Resources 56
A Two-Phase Static Analysis for Reliable Adaptation 55
Where Do Your IoT Ingredients Come From? 55
Are all firewall systems equally powerful? 55
Typing context-dependent behavioural variations 54
From firewalls to functions and back 53
Tracking sensitive and untrustworthy data in IoT 53
Tracking data trajectories in IoT 51
Securing IoT communications: at what cost? 50
Checking the Expressivity of Firewall Languages 50
Linguistic Mechanisms for Context-Aware Security 49
Programming in a context-aware language 49
The cost of securing IoT communications 48
Tool Supported Analysis of IoT 48
Analysing the Provenance of IoT Data 47
Revealing the trajectories of KLAIM tuples, statically 47
Robust Declassification by Incremental Typing 46
Framework, Tools and Good Practices for Cybersecurity Curricula 46
Typing Context-Dependent Behavioural Variation 45
Types for Coordinating Secure Behavioural Variations 44
Tracing where IoT data are collected and aggregated 43
Transcompiling firewalls 43
FWS: Analyzing, maintaining and transcompiling firewalls 39
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors 38
A True Concurrent Model of Smart Contracts Executions 37
A Minimal Core Calculus for Solidity Contracts 35
Software security: The language approach 33
Towards effective preservation of robust safety properties 32
IT-Covid19-IT: la risposta della comunità informatica italiana alla pandemia 32
Can my Firewall System Enforce this Policy? 31
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays 30
Security Metrics at Work on the Things in IoT Systems 28
Mechanical incrementalization of typing algorithms 28
Verifying a Blockchain-Based Remote Debugging Protocol for Bug Bounty 27
Modelling and analysing IoT systems 25
Securing Interruptible Enclaved Execution on Small Microprocessors 20
Covid19/IT the digital side of Covid19: A picture from Italy with clustering and taxonomy 18
A theory of transaction parallelism in blockchains 16
Natural Projection as Partial Model Checking 9
Resilience of Hybrid Casper under varying values of parameters 8
IFCIL: An Information Flow Configuration Language for SELinux 7
Totale 3404
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10854
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 10854
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/20185 0000 00 00 0320
2018/2019170 913112 4238 260 2603
2019/2020716 7128716 6538 5632 201726664
2020/2021945 98266138 1748 719 13918454200
2021/2022816 15046418 6123 18093 272512447
2022/2023752 1747631166 116148 410 0000
Totale 3404