CINECA IRIS Institutional Research Information System

BODEI, CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.142
EU - Europa 2.492
AS - Asia 882
AF - Africa 122
SA - Sud America 27
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 3
Totale 9.682
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.970
IT - Italia 987
SE - Svezia 460
CN - Cina 459
BG - Bulgaria 273
DE - Germania 240
CA - Canada 170
TR - Turchia 161
VN - Vietnam 130
RU - Federazione Russa 106
GB - Regno Unito 92
FI - Finlandia 85
UA - Ucraina 81
NG - Nigeria 57
FR - Francia 52
SG - Singapore 40
SN - Senegal 30
HK - Hong Kong 29
CH - Svizzera 27
CI - Costa d'Avorio 27
BE - Belgio 18
BR - Brasile 15
IN - India 15
KR - Corea 14
AU - Australia 11
PT - Portogallo 11
IR - Iran 9
GR - Grecia 8
NL - Olanda 8
RO - Romania 8
NO - Norvegia 7
ES - Italia 6
AT - Austria 5
CO - Colombia 5
DK - Danimarca 5
IE - Irlanda 5
MY - Malesia 5
EG - Egitto 4
JP - Giappone 4
PK - Pakistan 4
SA - Arabia Saudita 4
AR - Argentina 3
EU - Europa 3
JO - Giordania 3
NZ - Nuova Zelanda 3
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
HR - Croazia 2
BA - Bosnia-Erzegovina 1
BY - Bielorussia 1
CL - Cile 1
DO - Repubblica Dominicana 1
IQ - Iraq 1
LK - Sri Lanka 1
MA - Marocco 1
MX - Messico 1
PE - Perù 1
PL - Polonia 1
SI - Slovenia 1
SL - Sierra Leone 1
TN - Tunisia 1
TW - Taiwan 1
ZW - Zimbabwe 1
Totale 9.682
Salva come PNG Salva come JPEG
Città #
Woodbridge 991
Fairfield 719
Ann Arbor 663
Houston 463
Chandler 433
Ashburn 379
Seattle 321
Wilmington 296
Sofia 273
Cambridge 254
Serra 189
Beijing 176
Ottawa 161
New York 148
Milan 147
Izmir 126
Princeton 123
Florence 115
Lawrence 101
Medford 86
Jacksonville 84
Des Moines 83
Nanjing 75
Lagos 57
Düsseldorf 51
Dearborn 49
Redwood City 41
San Diego 39
Rome 38
Nanchang 33
Boulder 32
Bremen 32
Dakar 30
Kunming 28
Abidjan 27
Bern 27
Dong Ket 26
Kocaeli 26
Hong Kong 25
Boardman 23
Jüchen 19
Shenyang 18
Brussels 17
Pisa 17
Guangzhou 16
Jiaxing 15
Marseille 15
Trento 15
Vigonovo 14
Nettuno 13
Washington 13
Hebei 12
London 12
Los Angeles 12
Changsha 11
Frankfurt am Main 11
Auburn Hills 10
Dallas 10
Grafing 10
Karlsruhe 10
Norwalk 10
Ogden 9
Phoenix 9
Tianjin 9
Falls Church 8
Hangzhou 8
Hefei 8
Jinan 8
Livorno 8
Singapore 7
Torino 7
Verona 7
Mountain View 6
Turin 6
Busto Arsizio 5
Chengdu 5
Gif-sur-yvette 5
Hanoi 5
Indiana 5
Istanbul 5
Kilburn 5
Prato 5
Shanghai 5
São Paulo 5
Tappahannock 5
Amsterdam 4
Bologna 4
Brisbane 4
Cairo 4
Cascina 4
Chicago 4
Copenhagen 4
Costa Mesa 4
Dublin 4
Feltre 4
Lisbon 4
Ningbo 4
Parma 4
Piombino 4
Portoferraio 4
Totale 7.485
Salva come PNG Salva come JPEG
Nome #
A Formal Analysis for Capturing Replay Attacks in Cryptographic Protocols 198
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. 169
Tracking sensitive and untrustworthy data in IoT 154
A Global Occurrence Counting Analysis for Brane Calculi 152
Firewall Management With FireWall Synthesizer 148
True Concurrency via Abstract Interpretation 144
Causal static analysis for Brane Calculi 139
A static analysis for Brane Calculi providing global occurrence counting information 135
A Static Analysis for Beta-Binders 135
Natural Projection as Partial Model Checking 133
Formalising Security in Ubiquitous and Cloud Scenarios 132
On Evaluating the Performance of Security Protocols 132
Detecting and Preventing Type Flaws: a Control Flow Analysis with tags 130
Measuring security in IoT communications 130
A Taxonomy of Causality-Based Biological Properties 124
Tool Supported Analysis of IoT 122
Sustainable precision agriculture from a process algebraic perspective: a smart vineyard 122
L'informatica: non è un paese per donne. 122
A Control Flow Analysis for Beta-binders with and without Static Compartments 121
Open Multiparty Interaction 121
Linguistic Mechanisms for Context-Aware Security 119
Constructing specific SOS semantics for concurrency via abstract interpretation 118
A flat process calculus for nested membrane interactions 118
Static Analysis for Secrecy and Non-interference in Networks of Processes 117
Detecting and preventing type flaws at static time 117
Authentication via Localized Names 117
An Analysis for Causal Properties of Membrane Interactions 117
Mobile Processes with a distributed Environment 116
Checking global usage of resources handled with local policies 115
Automatic Validation of Protocol Narration 114
The cost of securing IoT communications 114
A Toolkit Supporting Formal Reasoning about Causality in Metabolic Networks 113
Authentication Primitives for Secure Protocol Specifications 112
Where Do Your IoT Ingredients Come From? 112
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols 111
Safe ambients: control flow analysis and security 109
Last Mile’s Resources 109
Static evidences for attack reconstruction 108
Transcompiling Firewalls 108
Checking Security Policies through an Enhanced Control Flow Analysis 108
Authentication Primitives for Protocol Specifications 108
Static Analysis of Processes for No Read-Up and No Write-Down 105
Static detection of logic flaws in service-oriented applications 105
Primitives for Authentication in Process Algebras 104
From Natural Projection to Partial Model Checking and Back 104
A G-Local pi-calculus 103
Control Flow Analysis of Generalised Boolean Networks 102
Knitting for Fun: A Recursive Sweater 101
A Step Towards Checking Security in IoT 101
Experimenting with a Context-Aware Language 101
A formal approach to open multiparty interactions 101
Algoritmi ricorsivi da lavorare ai ferri 100
Context-aware security: Linguistic mechanisms and static analysis 100
A control flow analysis for safe and boxed ambients 98
FWS: Analyzing, maintaining and transcompiling firewalls 98
Brane Calculi Systems: A Static Preview of their Possible Behaviour 96
An Enhanced CFA for Security Policies 96
Security in Pervasive Applications: A Survey 96
Static Validation of Security Protocols 96
A Quantitative Study of Two Attacks 96
Revealing the trajectories of KLAIM tuples, statically 96
Analysing the Provenance of IoT Data 96
Control Flow Analysis for the pi-calculus 94
Control Flow Analysis for Brane Calculi 94
On Formal Descriptions for Knitting Recursive Patterns 92
Predicting global usages of resources endowed with local policies 92
La danza dei bit 91
Language-Independent Synthesis of Firewall Policies 91
On Deducing Causality in Metabolic Networks 88
Security Metrics at Work on the Things in IoT Systems 87
Tracking data trajectories in IoT 87
null 86
Safer in the Clouds 84
Techniques for Security Checking: Non Interference vs Control Flow Analysis 81
Choreography Rehearsal 81
Authentication Primitives for Refining Protocol Specifications 80
Static Analysis Techniques for Session-Oriented Calculi 79
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes 78
Performance Evaluation of Security Protocols Specified in LySa 77
Detecting Replay Attacks by Freshness Annotations 76
Some Concurrency Models in a Categorical Framework 75
Securing IoT communications: at what cost? 71
Security Analysis for Mobile Ambients 66
1839: la prima Riunione degli Scienziati Italiani Atti della giornata di studi tenuta a 180 anni di distanza 65
Control Flow Analysis for Mobile Safe Ambients 64
null 61
Names of the Pi-Calculus Agents Handled Locally 60
Programming Languages with Applications to Biology and Security. Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. 60
Security Analysis using Flow Logics 49
Here you can't: context-aware security. 49
Statically Detecting Message Confusions in a Multi-Protocol Setting 48
Pixel e quadretti: iniziative per le scuole primarie e secondarie. 47
null 47
The link-calculus for open multiparty interactions 46
L'informatica nella didattica dell'informatica. La danza dei bit: dai fogli a quadretti al palcoscenico. 44
Pianeta Galileo 2013 44
Control Flow Analysis Can Find New Flaws Too 41
Static Analysis for the Pi-Calculus with Applications to Security 40
Il bivio di Alan 38
Hello world! L'informatica dall'aritmometro allo smartphone 38
Totale 9.829
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.062
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 23.062
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019686 0 0 0 0 0 0 0 0 0 242 223 221
2019/20201.962 236 152 110 144 181 210 233 156 189 105 113 133
2020/20211.061 74 90 54 38 109 50 47 98 127 138 60 176
2021/20221.391 32 134 76 104 218 172 42 99 35 35 88 356
2022/20231.442 154 116 92 146 201 198 4 105 232 16 163 15
2023/2024784 98 84 102 61 143 192 33 36 22 13 0 0
Totale 9.966