IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

BRAGHIN, CHIARA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.038
AS - Asia 2.374
NA - Nord America 2.312
SA - Sud America 214
AF - Africa 69
OC - Oceania 15
Totale 8.022
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.259
IT - Italia 1.104
CN - Cina 676
SG - Singapore 667
GB - Regno Unito 655
DE - Germania 274
HK - Hong Kong 248
SE - Svezia 210
RU - Federazione Russa 191
IN - India 189
VN - Vietnam 177
BR - Brasile 153
FR - Francia 122
KR - Corea 116
TR - Turchia 110
NL - Olanda 106
UA - Ucraina 64
BD - Bangladesh 63
IE - Irlanda 59
DK - Danimarca 55
FI - Finlandia 47
EU - Europa 36
CH - Svizzera 34
CA - Canada 29
CI - Costa d'Avorio 22
CO - Colombia 19
ES - Italia 19
PL - Polonia 19
JP - Giappone 18
AR - Argentina 17
BE - Belgio 15
ID - Indonesia 14
MX - Messico 14
GR - Grecia 13
IL - Israele 12
AU - Australia 10
PH - Filippine 10
PK - Pakistan 10
ZA - Sudafrica 10
IQ - Iraq 9
BG - Bulgaria 8
IR - Iran 8
SA - Arabia Saudita 7
UZ - Uzbekistan 7
HR - Croazia 6
MA - Marocco 6
NO - Norvegia 6
SC - Seychelles 6
DZ - Algeria 5
EC - Ecuador 5
HU - Ungheria 5
NP - Nepal 5
TW - Taiwan 5
VE - Venezuela 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AZ - Azerbaigian 4
LT - Lituania 4
LU - Lussemburgo 4
NZ - Nuova Zelanda 4
PY - Paraguay 4
BO - Bolivia 3
CL - Cile 3
KE - Kenya 3
LY - Libia 3
PE - Perù 3
RO - Romania 3
AT - Austria 2
BW - Botswana 2
CU - Cuba 2
EG - Egitto 2
JO - Giordania 2
KG - Kirghizistan 2
MY - Malesia 2
OM - Oman 2
PT - Portogallo 2
TH - Thailandia 2
TN - Tunisia 2
TT - Trinidad e Tobago 2
TZ - Tanzania 2
UY - Uruguay 2
BH - Bahrain 1
BS - Bahamas 1
CD - Congo 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EE - Estonia 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
JM - Giamaica 1
LB - Libano 1
LI - Liechtenstein 1
LS - Lesotho 1
LV - Lettonia 1
ME - Montenegro 1
MT - Malta 1
PR - Porto Rico 1
PS - Palestinian Territory 1
QA - Qatar 1
Totale 8.052
Salva come PNG Salva come JPEG
Città #
Southend 569
Milan 419
Singapore 395
Hong Kong 212
Ashburn 185
San Jose 155
Santa Clara 152
Chandler 145
Beijing 133
Wilmington 102
Dallas 98
Princeton 86
Los Angeles 85
Seattle 72
Council Bluffs 70
Istanbul 59
Seoul 59
Ann Arbor 58
Dublin 53
Hefei 53
Bengaluru 52
Houston 51
Ho Chi Minh City 49
Buffalo 48
Jacksonville 45
Lauterbourg 40
Munich 40
Guangzhou 39
Hanoi 38
Dearborn 35
New York 35
Chicago 33
Mountain View 33
Redmond 33
Rome 31
Nanjing 30
Moscow 29
Medford 26
Boardman 25
Phoenix 25
Serra 24
Jinan 23
Abidjan 22
Bergamo 22
Andover 21
Berlin 20
Somerville 20
Turin 20
Brindisi 19
Columbus 19
Sakarya 19
Shanghai 19
Bogotá 18
Naaldwijk 18
Des Moines 17
Falls Church 17
Recco 17
Redwood City 17
Frankfurt am Main 16
São Paulo 16
Tianjin 16
Zhengzhou 15
Fairfield 14
Helsinki 14
Salt Lake City 14
The Dalles 14
Warsaw 14
Brussels 13
Woodbridge 13
Zurich 13
Hamburg 12
Hebei 12
Naples 12
Palermo 12
Da Nang 11
Nuremberg 11
Eitensheim 10
Toronto 10
Bologna 9
Bühl 9
Denver 9
Elk Grove Village 9
Hangzhou 9
Lecce 9
London 9
Rho 9
Tokyo 9
Amsterdam 8
Athens 8
Belo Horizonte 8
Calcio 8
Cinisello Balsamo 8
Dong Ket 8
Jakarta 8
Lissone 8
Orem 8
Wuhan 8
Cangzhou 7
Chennai 7
Kiez 7
Totale 4.693
Salva come PNG Salva come JPEG
Nome #
A Model Driven Approach for Cyber Security Scenarios Deployment 394
Dynamic and Scalable Enforcement of Access Control Policies for Big Data 389
Towards the Monitoring and Evaluation of Trainees’ Activities in Cyber Ranges 314
Designing smart-contract based auctions 300
Towards Blockchain-Based E-Voting Systems 297
Are mHealth Apps Secure? : A Case Study 278
Privacy on the Internet 256
Is Pokémon GO Watching You? A Survey on the Privacy-Awareness of Location-Based Apps’ Users 216
Balancing Protection and Quality in Big Data Analytics Pipelines 215
Using semantic lifting for improving process mining : a data loss prevention system case study 210
Online Privacy 208
The THREAT-ARREST Cyber Range Platform 208
Automated verification of security policies in mobile code 207
A model-based approach for vulnerability analysis of IoT security protocols: The Z-Wave case study 202
An exact approach for solving the balanced minimum evolution problem 202
Knowledge and business intelligence technologies in cross-enterprise environments for italian advanced mechanical industry 199
Modeling and verification of mobile systems 188
Formal proof of a vulnerability in Z-wave IoT protocol 187
The binary perfect phylogeny with persistent characters 185
Role-based access control for a distributed calculus 183
Maximizing data quality while ensuring data protection in service-based data pipelines 182
Towards Trust-preserving Continuous Co-evolution of Digital Twins 170
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts 164
Net privacy 163
Information flow security in boundary ambients 160
Information leakage detection in boundary ambients 154
A model checking-based approach for security policy verification of mobile systems 153
Online Privacy 152
A distributed calculus for role-based access control 151
Defining the total cost of ownership for the transition to open source systems 144
Towards ASM-Based Automated Formal Verification of Security Protocols 144
Nesting analysis of mobile ambients 143
Behind BANANA : design and implementation of a tool for nesting analysis of mobile ambients 132
Complexity of nesting analysis in mobile ambients 132
Analisi dei costi di proprietà di prodotti software nella transizione a sistemi open source 131
Boundary inference for enforcing security policies in mobile ambients 130
Control flow analysis of mobile ambients with security boundaries 129
Modeling and verification of smart contracts with Abstract State Machines 127
Security boundaries in mobile ambients 125
A Modeling and Verification Framework for Ethereum Smart Contracts 121
BANANA : a tool for boundary ambients nesting analysis 120
Checking integrity via CoPS and Banana : the E-commerce case study 116
Kant: A Domain-Specific Language for Modeling Security Protocols 113
Engineering of Trust Analysis-Driven Digital Twins for a Medical Device 100
AvaDrive: A Blockchain Based Framework for Efficient Vehicle to Grid Management 99
AProVer Front-End Modelling Language for Designing Security Protocols 38
BlockHealth: a Blockchain based Framework for Secure and Efficient Healthcare Data Management 30
Using Symbolic Model Execution to Detect Vulnerabilities of Smart Contracts 16
Totale 8.377
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.024
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.024
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021153 0 0 0 0 0 0 0 0 0 0 94 59
2021/2022646 33 36 39 41 60 62 71 37 45 37 63 122
2022/2023688 95 62 59 53 75 121 15 56 84 17 30 21
2023/2024394 25 32 16 14 44 44 33 24 11 33 43 75
2024/20251.410 39 82 69 90 183 43 72 138 82 178 140 294
2025/20262.693 207 203 271 225 273 190 348 204 238 306 228 0
Totale 8.377